Automated mode coverage analysis for cyber-physical systems using hybrid automata

Johan Eddeland, Javier Gil Cepeda, Rick Fransen, Sajed Miremadi, Martin Fabian, Knut Åkesson

Research output: Contribution to journalConference articleAcademicpeer-review

Abstract

Testing of cyber-physical systems (CPSs) is a complex task, mainly due to the presence of continuous dynamics. In industry, CPSs are typically safety-critical and their complexity is rapidly increasing. Thus, it is important to know how well the tests perform. One common approach to ensuring test quality is to use coverage criteria, for example the well-known MC/DC. However, most of the used coverage criteria in industry depend on code structure to find errors in the system and may fail to capture the complete dynamical behaviour. Two coverage definitions are presented that can be used to ensure that all the continuous dynamics in the system have been explored. It is shown that the MC/DC criterion is not always rigorous enough to test all the system behaviour. Finally, the proposed coverage criteria are applied to automatically assess the test quality for a plant model used at Volvo Car Corporation.

Original languageEnglish
Pages (from-to)9260-9265
Number of pages6
JournalIFAC-PapersOnLine
Volume50
Issue number1
DOIs
Publication statusPublished - 1 Jul 2017
Event20th World Congress of the International Federation of Automatic Control (IFAC 2017 World Congress) - Toulouse, France
Duration: 9 Jul 201714 Jul 2017
Conference number: 20
https://www.ifac2017.org/

Keywords

  • Continuous dynamics
  • Cyber-physical systems
  • Hybrid automata
  • Plant models
  • Test coverage

Fingerprint

Dive into the research topics of 'Automated mode coverage analysis for cyber-physical systems using hybrid automata'. Together they form a unique fingerprint.

Cite this