Filters








988 Hits in 4.5 sec

Classification and Coverage-Based Falsification for Embedded Control Systems [chapter]

Arvind Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin
2017 Lecture Notes in Computer Science  
This falsification algorithm combines global and local search methods and uses a classification technique based on support vector machines to identify regions of the search space on which to focus effort  ...  While coverage metrics are often used to measure the exhaustiveness of this kind of testing approach for software systems, existing falsification approaches for CPS designs do not consider coverage for  ...  The model contains a representation of an internal combustion engine and an embedded software controller for the air-to-fuel ratio within the engine (see [11] for more details).  ... 
doi:10.1007/978-3-319-63387-9_24 fatcat:oudb7ggvtzd6zlg7cmojlxqdsq

Survey on Scenario-based Safety Assessment of Automated Vehicles

Stefan Riedmaier, Thomas Ponn, Dieter Ludwig, Bernhard Schick, Frank Diermeyer
2020 IEEE Access  
Therefore, this paper develops a novel taxonomy for the scenario-based approach, and classifies all literature sources.  ...  This question has puzzled the automotive industry and society for years.  ...  [26] presented a comprehensive overview of simulation-based approaches for assessing embedded control systems, and especially cyberphysical systems.  ... 
doi:10.1109/access.2020.2993730 fatcat:my2ctbfh3zhzrfga3empln6aum

A Survey of Algorithms for Black-Box Safety Validation [article]

Anthony Corso, Robert J. Moss, Mark Koren, Ritchie Lee, Mykel J. Kochenderfer
2020 arXiv   pre-print
Autonomous and semi-autonomous systems for safety-critical applications require rigorous testing before deployment.  ...  Safety validation tasks include finding disturbances to the system that cause it to fail (falsification), finding the most-likely failure, and estimating the probability that the system fails.  ...  Zhao et al. (2003) applied a genetic algorithm to generate test cases for embedded control systems.  ... 
arXiv:2005.02979v2 fatcat:f3xch54ncncb5osveeaw3q4zva

Specification of Conditions for Error Diagnostics

Christof Efkemann, Tobias Hartmann
2008 Electronical Notes in Theoretical Computer Science  
while executing tests of embedded systems.  ...  This paper describes the basic concepts of error diagnostics and an associated rule system whose application helps to identify potential hardware/software locations of errors which caused a failure observed  ...  Based on the fault models commonly used in semiconductor fault diagnostics [1] [6] we applied these models and methods and provide a complete strategy for locating faults in distributed embedded systems  ... 
doi:10.1016/j.entcs.2008.06.044 fatcat:qemo2e26ave4hlcjtz6txwom44

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components [article]

Cumhur Erkan Tuncali, Georgios Fainekos, Danil Prokhorov, Hisahiro Ito, James Kapinski
2019 arXiv   pre-print
We present STL requirements for an autonomous vehicle system, which capture both component-level and system-level behaviors.  ...  One of the key features of our tool is the support for machine learning (ML) components in the system design, such as deep neural networks.  ...  Here, we apply that approach on model M 1 for 3 different requirements, R1, R2 and R4. In model M 1 , we focus on the camera sensor and DNN-based object detection and classification algorithm.  ... 
arXiv:1908.01094v1 fatcat:b65tzewderajrkeiukezvlbiga

Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence [article]

Eric M.S.P. Veith, Lars Fischer, Martin Tröschel, Astrid Nieße
2019 arXiv   pre-print
This paper compares traditional approaches in the domain of CPS modelling and analysis with the AI researcher perspective to exploring unknown complex systems.  ...  Principles of modern cyber-physical system (CPS) analysis are based on analytical methods that depend on whether safety or liveness requirements are considered.  ...  Acknowledgements The authors would like to thank Sebastian Lehnhoff for his counsel, strategic advice and support of the ARL project, and Eckard Böde for reviewing initial drafts of this paper, providing  ... 
arXiv:1908.11779v1 fatcat:5yyiiu6ejneudecv3e6sguytx4

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications [chapter]

Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković, Sriram Sankaranarayanan
2018 Lecture Notes in Computer Science  
The term Cyber-Physical Systems (CPS) typically refers to engineered, physical and biological systems monitored and/or controlled by an embedded computational core.  ...  and SCADA (Supervisory Control and Data Acquisition) systems for controlling complex large-scale systems such as airports, railways or industrial plants.  ...  Bartocci and D.  ... 
doi:10.1007/978-3-319-75632-5_5 fatcat:2m52qvfax5cn3fgyhcl3piy2ui

Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362)

Martin Fränzle, James Kapinski, Pavithra Prabhakhar, Marc Herbstritt
2017 Dagstuhl Reports  
This seminar brought together researchers from both academia and industry working in hybrid control systems, mechatronics, formal methods, and real-time embedded systems.  ...  Electronically controlled systems have become pervasive in modern society and are increasingly being used to control safety-critical applications, such as medical devices and transportation systems.  ...  Even though such notions of robustness may be useful for system design, they are not necessarily useful for the automatic test generation and falsification problems for dynamic safety.  ... 
doi:10.4230/dagrep.6.9.29 dblp:journals/dagstuhl-reports/FranzleKP16 fatcat:uiivaekedzdqdpmn2shsecrpve

An Exploration of the Unintended Consequences of Performance-Based Financing in 6 Primary Healthcare Facilities in Burkina Faso

Anne-Marie Turcotte-Tremblay, Idriss Ali Gali Gali, Valéry Ridde
2020 International Journal of Health Policy and Management  
Performance-based financing (PBF) is promoted to improve the quality and quantity of healthcare services in low-income countries.  ...  Dissatisfaction also emerged in relation to the distribution of subsidies and the non-attribution of quality points for services delivered by certain staff considered "unqualified" in guidelines.  ...  Aloys Zongo, the district-level managers, and all participants for their generous contributions to this study.  ... 
doi:10.34172/ijhpm.2020.83 pmid:32610814 fatcat:tl4nloa6s5cwnpdii4ol5xncrq

Testing and verification of neural-network-based safety-critical control software: A systematic literature review [article]

Jin Zhang, Jingyue Li
2019 arXiv   pre-print
To reach our result, we filtered 83 primary papers published between 2001 and 2018, applied the thematic analysis approach for analyzing the data extracted from the selected papers, presented the classification  ...  Testing and Verification (T&V) of NN-based control software in safety-critical domains are gaining interest and attention from both software engineering and safety engineering researchers and practitioners  ...  This work is supported by the Safety, autonomy, remote control and operations of industrial transport systems (SAREPTA) project, which is financed by the Norwegian Research Council with Grant No. 267860  ... 
arXiv:1910.06715v1 fatcat:qtb2l4cnkrbuznr2ay7ojjsn4e

Verification for Machine Learning, Autonomy, and Neural Networks Survey [article]

Weiming Xiang and Patrick Musau and Ayana A. Wild and Diego Manzanas Lopez and Nathaniel Hamilton and Xiaodong Yang and Joel Rosenfeld and Taylor T. Johnson
2018 arXiv   pre-print
(LECs) that accomplish tasks from classification to control.  ...  This survey presents an overview of verification techniques for autonomous systems, with a focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents thereof.  ...  In [127] , the authors present a testing framework for test case generation and automatic falsification methods for cyber-physical systems called Sim-ATAV (Simulation-based Adversarial Testing of Autonomous  ... 
arXiv:1810.01989v1 fatcat:a5ax66lsxbho3fuxuh55ypnm6m

Testing and verification of neural-network-based safety-critical control software: A systematic literature review

Jin Zhang, Jingyue Li
2020 Information and Software Technology  
safety properties of NN-based control software, and improving the interpretability of NNs.  ...  the classification of approaches, and identified challenges.  ...  This work is supported by the Safety, autonomy, remote control and operations of industrial transport systems (SAREPTA) project, which is financed by the Norwegian Research Council with grant no. 267860  ... 
doi:10.1016/j.infsof.2020.106296 fatcat:3bamhnoqsjcmfkwg33jizjxype

A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM [article]

Long Zhang, Brice Morin, Philipp Haller, Benoit Baudry, Martin Monperrus
2019 arXiv   pre-print
It is essential for developers to understand and assess the resilience of their systems.  ...  Software systems contain resilience code to handle those failures and unexpected events happening in production.  ...  commercial system) and XWiki (a web-based wiki system).  ... 
arXiv:1805.05246v4 fatcat:5vojoq3u6rcb5p2dok526elt4q

IDENTIFICATION OF THE TYPE OF AGRICULTURE SUITED FOR APPLICATION OF WIRELESS SENSOR NETWORKS

Ahsan Abdullah, Ahmed Barnawi
2012 Russian Journal of Agricultural and Socio-Economic Sciences  
We identify the type of agriculture most suited for WSN in terms of applications.  ...  Therefore, for the humanity to survive agriculture has to become smart -one way is by integrating Wireless Sensor Networks (WSN) in agriculture.  ...  Based on the type of crops and area coverage there is a variety in nature of sensors.  ... 
doi:10.18551/rjoas.2012-12.02 fatcat:vlgsnsfzxncmbi3yiiicozhjdu

Formal Certification Methods for Automated Vehicle Safety Assessment [article]

Tong Zhao, Ekim Yurtsever, Joel Paulson, Giorgio Rizzoni
2022 arXiv   pre-print
We also propose a unified scenario coverage framework that can provide either a formal or sample-based estimate of safety verification for full AVs.  ...  A majority of approaches used in providing safety guarantees for AV motion control originate from formal methods, especially reachability analysis (RA), which relies on mathematical models for the dynamic  ...  Available: based approaches for verification of embedded control systems: An https://www.meti.go.jp/english/press  ... 
arXiv:2202.02818v2 fatcat:spgyrglbwjhshl2n43kyx722fa
« Previous Showing results 1 — 15 out of 988 results