Dependable Computing - EDCC 2020 Workshops: AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings

Some railway solutions are the results of technology push. The development of low cost computers and camerasmakes it possible to automate detection tasks in different industry domains. In this article, we develop the blocking points that arise for the adoption of A.I. technologies for functions involving safety. We remind the useful elements for a safety demonstration, and for the definition of tests or simulations which bring complements to this validation. We propose a paradigm shift for the demonstration of safety, in a framework where a formal demonstration is no longer possible, with twomethods “proven in use” and NABS (not absolute but sufficient).

[1]  J. Abella,et al.  Probabilistic Worst-Case Timing Analysis: Taxonomy and Comprehensive Survey , 2020 .

[2]  Ewen Denney,et al.  Formal Foundations for Hierarchical Safety Cases , 2015, 2015 IEEE 16th International Symposium on High Assurance Systems Engineering.

[3]  Gianfranco Ciardo,et al.  A Characterization of the Stochastic Process Underlying a Stochastic Petri Net , 1994, IEEE Trans. Software Eng..

[4]  Ehud Rivlin,et al.  Robust Real-Time Unusual Event Detection using Multiple Fixed-Location Monitors , 2008, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[5]  Jürgen Dingel,et al.  A survey of self-management in dynamic software architecture specifications , 2004, WOSS '04.

[6]  Sasikumar Punnekkat,et al.  System of Systems Hazard Analysis Using HAZOP and FTA for Advanced Quarry Production , 2019, 2019 4th International Conference on System Reliability and Safety (ICSRS).

[7]  Nicolai Petkov,et al.  Audio Surveillance of Roads: A System for Detecting Anomalous Sounds , 2016, IEEE Transactions on Intelligent Transportation Systems.

[8]  Ilias K. Savvas,et al.  Detection of Point Anomalies in Railway Intelligent Control System Using Fast Clustering Techniques , 2018, Advances in Intelligent Systems and Computing.

[9]  Yoshua Bengio,et al.  On the Properties of Neural Machine Translation: Encoder–Decoder Approaches , 2014, SSST@EMNLP.

[10]  Ali Farhadi,et al.  Unsupervised Deep Embedding for Clustering Analysis , 2015, ICML.

[11]  Sagar Behere,et al.  A functional architecture for autonomous driving , 2015, 2015 First International Workshop on Automotive Software Architecture (WASA).

[12]  Mathias Uslar,et al.  From Integration Profiles to Interoperability Testing for Smart Energy Systems at Connectathon Energy , 2018, Energies.

[13]  Oscar Morales Ponce,et al.  Cooperation with disagreement correction in the presence of communication failures , 2014, 17th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[14]  Martin A. Skoglund,et al.  The Quantitative Risk Norm - A Proposed Tailoring of HARA for ADS , 2020, 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).

[15]  N. L. Kazanskiy,et al.  Integrated design technology for computer vision systems in railway transportation , 2015, Pattern Recognition and Image Analysis.

[16]  William H. Sanders,et al.  Model-based evaluation: from dependability to security , 2004, IEEE Transactions on Dependable and Secure Computing.

[17]  Rolf Johansson,et al.  Functional Safety for Cooperative Systems , 2013 .

[18]  Jasminka Matevska.  Rekonfiguration komponentenbasierter Softwaresysteme zur Laufzeit , 2010 .

[19]  Steve Kelling,et al.  Fusing shallow and deep learning for bioacoustic bird species classification , 2017, 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

[20]  Paul Weston,et al.  Condition Monitoring of Railway Track using In-Service Trains , 2006 .

[21]  M. Heddebaut,et al.  Automatic radar target recognition of objects falling on railway tracks , 2012 .

[22]  Mario Trapp,et al.  B-space: dynamic management and assurance of open systems of systems , 2018, Journal of Internet Services and Applications.

[23]  Shimon Whiteson,et al.  Multi-Objective Decision Making , 2017, Synthesis Lectures on Artificial Intelligence and Machine Learning.

[24]  Paul Newman,et al.  1 year, 1000 km: The Oxford RobotCar dataset , 2017, Int. J. Robotics Res..

[25]  Fei Yang,et al.  ID localization and recognition for railway oil tank wagon in the industrial scene , 2016, 2016 12th World Congress on Intelligent Control and Automation (WCICA).

[26]  Andrey V. Chernov,et al.  Knowledge Representation Method for Intelligent Situation Awareness System Design , 2018 .

[27]  I. Nourbakhsh,et al.  On the future of transportation in an era of automated and autonomous vehicles , 2019, Proceedings of the National Academy of Sciences.

[28]  Mark D. Plumbley,et al.  Computational Analysis of Sound Scenes and Events , 2017 .

[29]  Wendy Ivins,et al.  A multifaceted evaluation of the reference model of information assurance & security , 2016, Comput. Secur..

[30]  Robert Hanmer,et al.  Patterns for Fault Tolerant Software , 2007 .

[31]  Jie Lin,et al.  Smart Transportation Systems: Architecture, Enabling Technologies, and Open Issues , 2017 .

[32]  Panos M. Pardalos,et al.  Approximate dynamic programming: solving the curses of dimensionality , 2009, Optim. Methods Softw..

[33]  Brian J. Sauser,et al.  System of Systems - the meaning of of , 2006, 2006 IEEE/SMC International Conference on System of Systems Engineering.

[34]  Felix Redmill,et al.  Industrial Perspectives of Safety-critical Systems , 1998, Springer London.

[35]  R. Smith,et al.  An Overview of the Tesseract OCR Engine , 2007, Ninth International Conference on Document Analysis and Recognition (ICDAR 2007).

[36]  Michael Roth,et al.  Map-Supported Positioning Enables In-Service Condition Monitoring of Railway Tracks , 2018, 2018 21st International Conference on Information Fusion (FUSION).

[37]  Ghassan Al-Regib,et al.  Traffic Sign Detection Under Challenging Conditions: A Deeper Look into Performance Variations and Spectral Characteristics , 2019, IEEE Transactions on Intelligent Transportation Systems.

[38]  Gerardo Beruvides,et al.  Towards the Adoption of Cyber-Physical Systems of Systems Paradigm in Smart Manufacturing Environments , 2018, 2018 IEEE 16th International Conference on Industrial Informatics (INDIN).

[39]  Rita Cucchiara,et al.  Head Detection with Depth Images in the Wild , 2017, VISIGRAPP.

[40]  Liliana Cucu-Grosjean,et al.  Measurement-Based Probabilistic Timing Analysis for Multi-path Programs , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[41]  Xavier Serra,et al.  Freesound technical demo , 2013, ACM Multimedia.

[42]  Jakob Engblom,et al.  The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

[43]  Gang Luo,et al.  A Mobile Application for Keyword Search in Real-World Scenes , 2019, IEEE Journal of Translational Engineering in Health and Medicine.

[44]  Robert Milne,et al.  Strategies for Diagnosis , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[45]  Jürgen Schmidhuber,et al.  Long Short-Term Memory , 1997, Neural Computation.

[46]  Himanshu Agarwal,et al.  A comprehensive survey of Fault Tolerance techniques in Cloud Computing , 2015, 2015 International Conference on Computing and Network Communications (CoCoNet).

[47]  Jakob Abeßer,et al.  A Review of Deep Learning Based Methods for Acoustic Scene Classification , 2020, Applied Sciences.

[48]  K. L. Butler.  An expert system based framework for an incipient failure detection and predictive maintenance system , 1996, Proceedings of International Conference on Intelligent System Application to Power Systems.

[49]  L. Baxter,et al.  Strategies for Maintaining and Repairing Marital Relationships , 1987 .

[50]  Alessandro Fantechi,et al.  Connected or Autonomous Trains? , 2019, RSSRail.

[51]  Sabeur Aridhi,et al.  The uncertain cloud: State of the art and research challenges , 2018, Int. J. Approx. Reason..

[52]  Albin Zuccato,et al.  Holistic security management framework applied in electronic commerce , 2007, Comput. Secur..

[53]  Fouzi Harrou,et al.  Unsupervised obstacle detection in driving environments using deep-learning-based stereovision , 2018, Robotics Auton. Syst..

[54]  Clifton A. Ericson,et al.  Hazard Analysis Techniques for System Safety , 2005 .

[55]  D Desmarais,et al.  AEI/OCR SYSTEM VERIFICATION , 2003 .

[56]  Daniel J. Abadi,et al.  Consistency Tradeoffs in Modern Distributed Database System Design: CAP is Only Part of the Story , 2012, Computer.

[57]  Ching Y. Suen,et al.  Alignment of free layout color texts for character recognition , 2001, Proceedings of Sixth International Conference on Document Analysis and Recognition.

[58]  Benjamin BAASCH,et al.  Detecting singular track defects by time-frequency signal separation of axle-box acceleration data , 2019 .

[59]  Mathias Uslar,et al.  The Use Case and Smart Grid Architecture Model Approach , 2017 .

[60]  Laurent Lucat,et al.  Audio-video surveillance system for public transportation , 2010, 2010 2nd International Conference on Image Processing Theory, Tools and Applications.

[61]  Kyogu Lee,et al.  Rare Sound Event Detection Using 1D Convolutional Recurrent Neural Networks , 2017, DCASE.

[62]  Sasikumar Punnekkat,et al.  Using Safety Contracts to Verify Design Assumptions During Runtime , 2018, Ada-Europe.

[63]  Simone Calderara,et al.  Face-from-Depth for Head Pose Estimation on Depth Images , 2017, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[64]  Sebastian Burckhardt,et al.  Principles of Eventual Consistency , 2014, Found. Trends Program. Lang..

[65]  Flávio R. C. Sousa,et al.  Regression based performance modeling and provisioning for NoSQL cloud databases , 2018, Future Gener. Comput. Syst..

[66]  Rebecca T. Mercuri.  Uncommon criteria , 2002, CACM.

[67]  Vyacheslav S. Kharchenko,et al.  Exploring Uncertainty of Delays as a Factor in End-to-End Cloud Response Time , 2012, 2012 Ninth European Dependable Computing Conference.

[68]  Michael Felsberg,et al.  Detecting Rails and Obstacles Using a Train-Mounted Thermal Camera , 2015, SCIA.

[69]  Adam Silberstein,et al.  Benchmarking cloud serving systems with YCSB , 2010, SoCC '10.

[70]  Andrea Bondavalli,et al.  A Template-Based Methodology for the Specification and Automated Composition of Performability Models , 2020, IEEE Transactions on Reliability.

[71]  Donghua Zhou,et al.  Remaining useful life estimation - A review on the statistical data driven approaches , 2011, Eur. J. Oper. Res..

[72]  Peter Dayan,et al.  Q-learning , 1992, Machine Learning.

[73]  Ling Lin,et al.  Research on Vehicle License Plate Location Based on Neural Networks , 2006, First International Conference on Innovative Computing, Information and Control - Volume I (ICICIC'06).

[74]  Yong Chen,et al.  Research on Environment Perception and Obstacle Detection for Unmanned Vehicle Based on Machine Vision , 2020 .

[75]  Thaís Vasconcelos Batista,et al.  Managing Dynamic Reconfiguration in Component-Based Systems , 2005, EWSA.

[76]  E. Brewer,et al.  CAP twelve years later: How the "rules" have changed , 2012, Computer.

[77]  Wael Badawy,et al.  Automatic License Plate Recognition (ALPR): A State-of-the-Art Review , 2013, IEEE Transactions on Circuits and Systems for Video Technology.

[78]  A Harding.  Reliability, Maintenance and Logistic Support: A Life Cycle Approach , 2002, J. Oper. Res. Soc..

[79]  Ruiyu Liang,et al.  Speech Emotion Classification Using Attention-Based LSTM , 2019, IEEE/ACM Transactions on Audio, Speech, and Language Processing.

[80]  Muhammad Huzaifah,et al.  Comparison of Time-Frequency Representations for Environmental Sound Classification using Convolutional Neural Networks , 2017, ArXiv.

[81]  V. Mohanavel,et al.  Fundamentals and development of self-driving cars , 2020 .

[82]  Massimiliano Masi,et al.  Securing Mobile e-Health Environments by Design: A Holistic Architectural Approach , 2019, 2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob).

[83]  Ankit Shah,et al.  Sound Event Detection in Domestic Environments with Weakly Labeled Data and Soundscape Synthesis , 2019, DCASE.

[84]  Simone Calderara,et al.  Latent Space Autoregression for Novelty Detection , 2018, 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).

[85]  Mubarak Shah,et al.  Learning object motion patterns for anomaly detection and improved object detection , 2008, 2008 IEEE Conference on Computer Vision and Pattern Recognition.

[86]  Aleksandar Miltenović,et al.  INTELLIGENT MACHINE VISION BASED RAILWAY INFRASTRUCTURE INSPECTION AND MONITORING USING UAV , 2019 .

[87]  Alexander J. McNeil,et al.  Quantitative Risk Management: Concepts, Techniques and Tools Revised edition , 2015 .

[88]  Fabrice Reclus,et al.  Geofencing for fleet & freight management , 2009, 2009 9th International Conference on Intelligent Transport Systems Telecommunications, (ITST).

[89]  Yanjindulam Dajsuren,et al.  Safety Analysis Method for Cooperative Driving Systems , 2019, 2019 IEEE International Conference on Software Architecture (ICSA).

[90]  Toby P. Breckon,et al.  GANomaly: Semi-Supervised Anomaly Detection via Adversarial Training , 2018, ACCV.

[91]  Rolf Dollevoet,et al.  Improvements in Axle Box Acceleration Measurements for the Detection of Light Squats in Railway Infrastructure , 2015, IEEE Transactions on Industrial Electronics.

[92]  Rachid Guerraoui,et al.  Trade-offs in Replicated Systems , 2016, IEEE Data Eng. Bull..

[93]  Nancy G. Leveson,et al.  Engineering a Safer World: Systems Thinking Applied to Safety , 2012 .

[94]  Jakob Axelsson,et al.  Safety in Vehicle Platooning: A Systematic Literature Review , 2017, IEEE Transactions on Intelligent Transportation Systems.

[95]  Bisheng Yang,et al.  Automated Extraction of 3-D Railway Tracks from Mobile Laser Scanning Point Clouds , 2014, IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing.

[96]  Giuseppe Massari,et al.  chronovise: Measurement-Based Probabilistic Timing Analysis framework , 2018, J. Open Source Softw..

[97]  Laurent Girin,et al.  Assessing the performances of different neural network architectures for the detection of screams and shouts in public transportation , 2019, Expert Syst. Appl..

[98]  G. Schwarz.  Estimating the Dimension of a Model , 1978 .

[99]  Biao Huang,et al.  System Identification , 2000, Control Theory for Physicists.

[100]  Kai Strunz,et al.  Wind and Solar Power Integration in Electricity Markets and Distribution Networks Through Service-Centric Virtual Power Plants , 2018, IEEE Transactions on Power Systems.

[101]  Simon Iwnicki,et al.  Handbook of railway vehicle dynamics , 2006 .

[102]  P. Mell,et al.  The NIST Definition of Cloud Computing , 2011 .

[103]  Eduardo Coutinho,et al.  Cooperative Learning and its Application to Emotion Recognition from Speech , 2015, IEEE/ACM Transactions on Audio, Speech, and Language Processing.

[104]  Buyue Qian,et al.  Improving rail network velocity: A machine learning approach to predictive maintenance , 2014 .

[105]  Dan M. Frangopol,et al.  Optimization of lifetime maintenance strategies for deteriorating structures considering probabilities of violating safety, condition, and cost thresholds , 2006 .

[106]  Eric Grandry,et al.  Cybersecurity Evaluation of Enterprise Architectures: The e-SENS Case , 2019, PoEM.

[107]  Guillem Bernat,et al.  WCET analysis of probabilistic hard real-time systems , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[108]  Mathias Uslar,et al.  A concept for engineering smart grid security requirements based on SGAM models , 2014, Computer Science - Research and Development.

[109]  Ella M. Atkins,et al.  Geofencing in immediate reaches airspace for unmanned aircraft system traffic management , 2018 .

[110]  E. Castillo.  Extreme value and related models with applications in engineering and science , 2005 .

[111]  William H. Sanders,et al.  The Mobius modeling tool , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[112]  Paul Magron,et al.  Unsupervised Adversarial Domain Adaptation Based on The Wasserstein Distance For Acoustic Scene Classification , 2019, 2019 IEEE Workshop on Applications of Signal Processing to Audio and Acoustics (WASPAA).

[113]  D. Rubin,et al.  Maximum likelihood from incomplete data via the EM - algorithm plus discussions on the paper , 1977 .

[114]  Annamaria Mesaros,et al.  Metrics for Polyphonic Sound Event Detection , 2016 .

[115]  Roberto Nappi.  Integrated Maintenance: analysis and perspective of innovation in railway sector , 2014, ArXiv.

[116]  Neil A. Ernst,et al.  Performance Evaluation of NoSQL Databases: A Case Study , 2015, PABS@ICPE.

[117]  Chi Guo,et al.  A Lane-Level LBS System for Vehicle Network with High-Precision BDS/GPS Positioning , 2015, Comput. Intell. Neurosci..

[118]  R. Wilhelm,et al.  Predictability Considerations in the Design of Multi-Core Embedded Systems ∗ , 2010 .

[119]  Sang-Woong Lee,et al.  Multinational License Plate Recognition Using Generalized Character Sequence Detection , 2020, IEEE Access.

[120]  Carl Bergenhem,et al.  Beyond connected cars: A systems of systems perspective , 2020, Sci. Comput. Program..

[121]  Tim Kelly,et al.  The Who, Where, How, Why And When of Modular and Incremental Certification , 2007 .

[122]  Reino Virrankoski,et al.  IEC 61850 based smart grid security , 2015, 2015 IEEE International Conference on Industrial Technology (ICIT).

[123]  Alireza Ahmadyfard,et al.  An edge-based color-aided method for license plate detection , 2009, Image Vis. Comput..

[124]  Tim Kelly,et al.  The Goal Structuring Notation – A Safety Argument Notation , 2004 .

[125]  João Paulo,et al.  Resource Usage Prediction in Distributed Key-Value Datastores , 2016, DAIS.

[126]  Alexander Romanovsky,et al.  Time-Outing Internet Services , 2013, IEEE Security & Privacy.

[127]  Yong Shi,et al.  Efficient railway tracks detection and turnouts recognition method using HOG features , 2012, Neural Computing and Applications.

[128]  Nancy A. Lynch,et al.  Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services , 2002, SIGA.

[129]  Laurent Girin,et al.  Deep neural networks for automatic detection of screams and shouted speech in subway trains , 2016, 2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

[130]  Andrey V. Chernov,et al.  An Approach for Distributed Reasoning on Security Incidents in Critical Information Infrastructure with Intelligent Awareness Systems , 2019 .

[131]  Peng Sun,et al.  On Perception Safety Requirements and Multi Sensor Systems for Automated Driving Systems , 2020 .

[132]  Daming Lin,et al.  A review on machinery diagnostics and prognostics implementing condition-based maintenance , 2006 .

[133]  Robert F. Keefe,et al.  Hazards in Motion: Development of Mobile Geofences for Use in Logging Safety , 2017, Sensors.

[134]  Divesh Srivastava,et al.  Geofences in the sky: herding drones with blockchains and 5G , 2018, SIGSPATIAL/GIS.

[135]  Seok-Bum Ko,et al.  License plate segmentation and recognition system using deep learning and OpenVINO , 2020 .

[136]  Andreas Geiger,et al.  Computer Vision for Autonomous Vehicles: Problems, Datasets and State-of-the-Art , 2017, Found. Trends Comput. Graph. Vis..

[137]  Patrik Feth,et al.  A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems , 2017, SAFECOMP.

[138]  Iain Bate,et al.  Facilitating the Maintenance of Safety Cases , 2016 .

[139]  S. Fararooy,et al.  Condition-based maintenance of railway signalling equipment , 1995 .

[140]  William J. Knottenbelt,et al.  Benchmarking Replication in Cassandra and MongoDB NoSQL Datastores , 2016, DEXA.

[141]  Jörn Christoffer Groos,et al.  In-service railway track condition monitoring by analysis of axle box accelerations for small to mid-size infrastructure operators , 2017 .

[142]  Massimiliano Masi,et al.  Enabling Security-by-Design in Smart Grids: An Architecture-Based Approach , 2019, 2019 15th European Dependable Computing Conference (EDCC).

[143]  Geoffrey E. Hinton,et al.  Autoencoders, Minimum Description Length and Helmholtz Free Energy , 1993, NIPS.

[144]  Nils Boysen,et al.  Shunting yard operations: Theoretical aspects and applications , 2012, Eur. J. Oper. Res..

[145]  Kostas Magoutis,et al.  A Measurement-Based Approach to Performance Prediction in NoSQL Systems , 2017, 2017 IEEE 25th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS).

[146]  Sasikumar Punnekkat,et al.  Can STPA be used for a System-of-Systems? Experiences from an Automated Quarry Site , 2018, 2018 IEEE International Systems Engineering Symposium (ISSE).

[147]  Tuomas Virtanen,et al.  Sound event detection using spatial features and convolutional recurrent neural network , 2017, 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

[148]  Ronald A. Howard,et al.  Dynamic Programming and Markov Processes , 1960 .

[149]  Shane Legg,et al.  Human-level control through deep reinforcement learning , 2015, Nature.

[150]  Rolf Johansson,et al.  Towards an Operational Design Domain That Supports the Safety Argumentation of an Automated Driving System , 2020 .

[151]  Archontis Politis,et al.  Sound Event Localization and Detection of Overlapping Sources Using Convolutional Recurrent Neural Networks , 2018, IEEE Journal of Selected Topics in Signal Processing.

[152]  Eric D. Knapp,et al.  Industrial Network Security: Securing Critical Infrastructure Networks for Smart Grid, SCADA, and Other Industrial Control Systems , 2011 .

[153]  Dhruv Batra,et al.  Joint Unsupervised Learning of Deep Representations and Image Clusters , 2016, 2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR).

[154]  Andrey V. Chernov,et al.  Mobile Smart Objects for Incidents Analysis in Railway Intelligent Control System , 2017 .

[155]  Robin E. Bloomfield,et al.  Building Blocks for Assurance Cases , 2014, 2014 IEEE International Symposium on Software Reliability Engineering Workshops.

[156]  Alberto L. Sangiovanni-Vincentelli,et al.  Contracts for System Design , 2018, Found. Trends Electron. Des. Autom..

[157]  Vyacheslav S. Kharchenko,et al.  The threat of uncertainty in service-oriented architecture , 2008, SERENE '08.

[158]  Stefan Jablonski,et al.  NoSQL evaluation: A use case oriented survey , 2011, 2011 International Conference on Cloud and Service Computing.

[159]  Salvatore Strano,et al.  Review on model-based methods for on-board condition monitoring in railway vehicle dynamics , 2019, Advances in Mechanical Engineering.

[160]  Valery Naranjo,et al.  Axlebox accelerations: Their acquisition and time–frequency characterisation for railway track monitoring purposes , 2016 .

[161]  Yingqian Zhang,et al.  Shunting Trains with Deep Reinforcement Learning , 2018, 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

[162]  Ewen Denney,et al.  Dynamic Safety Cases for Through-Life Safety Assurance , 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

[163]  Tuomas Virtanen,et al.  Sound Event Detection in Multichannel Audio Using Spatial and Harmonic Features , 2017, DCASE.

[164]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[165]  Jan Goyvaerts,et al.  Regular Expressions Cookbook , 2009 .

[166]  R. Bellman.  A Markovian Decision Process , 1957 .

[167]  Tara N. Sainath,et al.  Deep Learning for Audio Signal Processing , 2019, IEEE Journal of Selected Topics in Signal Processing.

[168]  Mohamed Sallak,et al.  A multi-criteria methodology to evaluate the optimal location of a multifunctional railway portal on the railway network , 2015, J. Rail Transp. Plan. Manag..

[169]  Thomas Brox,et al.  Striving for Simplicity: The All Convolutional Net , 2014, ICLR.

[170]  Kenneth Gavin,et al.  A New Methodology for Assessment of Railway Infrastructure Condition , 2016 .

[171]  Alan Fekete,et al.  Consistency Models for Replicated Data , 2010, Replication.

[172]  Jorge Bernardino,et al.  Testing Cloud Benchmark Scalability with Cassandra , 2014, 2014 IEEE World Congress on Services.

[173]  Ufuk Sanver,et al.  Identification of train wagon numbers , 2014, Proceedings of the 2014 IEEE NW Russia Young Researchers in Electrical and Electronic Engineering Conference.

[174]  Heikki Huttunen,et al.  Convolutional Recurrent Neural Networks for Polyphonic Sound Event Detection , 2017, IEEE/ACM Transactions on Audio, Speech, and Language Processing.

[175]  John McDermid,et al.  Towards a Framework for Safety Assurance of Autonomous Systems , 2019, AISafety@IJCAI.

[176]  Gaël Varoquaux,et al.  Scikit-learn: Machine Learning in Python , 2011, J. Mach. Learn. Res..

[177]  William H. Sanders,et al.  Stochastic Activity Networks: Formal Definitions and Concepts , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[178]  Hongwei Liu,et al.  A Review of the Autoencoder and Its Variants: A Comparative Perspective from Target Recognition in Synthetic-Aperture Radar Images , 2018, IEEE Geoscience and Remote Sensing Magazine.

[179]  Francois Capman,et al.  Embedded security system for multi-modal surveillance in a railway carriage , 2015, SPIE Security + Defence.

[180]  Ahmed Nait-Sidi-Moh,et al.  On the Use of Location-Based Services and Geofencing Concepts for Safety and Road Transport Efficiency , 2013 .