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

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

doi:10.1016/j.ifacol.2017.08.1296

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

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

Mechanical Engineering

Research output: Contribution to journal › Conference article › peer-review

4 Citations (Scopus)

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 language	English
Pages (from-to)	9260-9265
Number of pages	6
Journal	IFAC-PapersOnLine
Volume	50
Issue number	1
DOIs	https://doi.org/10.1016/j.ifacol.2017.08.1296
Publication status	Published - 1 Jul 2017
Event	20th World Congress of the International Federation of Automatic Control (IFAC 2017 World Congress) - Toulouse, France Duration: 9 Jul 2017 → 14 Jul 2017 Conference number: 20 https://www.ifac2017.org/

Funding

basebΞeeonntfhorofrloauffigfhlfofiyΞreeffiss,eai.rec.h,eMΞo(fsfeele-BDaiasesffNTeetosteintgaff(i.M(2B00T7)), auybtorfiΞla-DtiAcEtraflnosΞffiaetffiiointothaeHcyobrrreiΞspAonuΞtoinfglatHoAn(fHliAgh).tWhaitvhe h★asbeenthoroughffiyresearcheΞ(seeDiasNetoetaffi.(2007) flautoanyflunreaticatrachnsabffieffiatioflnoΞethseanΞcorreitsisposnhΞingown hHoAw thfligehntufhlbavere h★aTshbiseewnotrkhohraosubgeheffniyrpeesrfeoarrmcehdeΞw(itsheesuDpipaosrtNfertoometthaeffi.S(w2e0d0i7sh) aluatnoyfluantirceatcrhanabsfffifaietfiolnoΞtehseancoΞrritesipsosnhΞowinnghHoAwtfhlieghntufhlbaveer fioThisvernmweonrtkalhasAgencybeenfporerfIormednnovatiwithon Sysuppstemsort(VfromINNOtheVAS)wunderedish of floΞes can be autoflaticaffiffiy reΞuceΞ by using a reΞuc-★ This work has been performed with support from the Swedish olfafnlyoΞuensrecacnhabbeffieauftlofΞleastiacnaΞffiffiyitriesΞsuhcoewΞnbyhouwsitnhgeanurefΞlbuecr-fioTvherisnmweonrtkalhAasgebneceyn fpoerrfIonrnmoveadtiwonithSyssutpepmosrt(VfrIoNmNOthVeAS)wuenddisehr tion technique baseΞ on Satisfiabiffiity MoΞuffio Theories. fiovernmental Agency for Innovation Systems (VINNOVA) under oifofnloteΞcehsnciqanuebbeaasueΞtoofnlaStiactaifsfiffifyiarbeiΞffiiutyceMΞ obΞyuuffiosiTngheaorrieeΞsu. c-firoovjeercntmTeEnStaTlRAOgNen2c0y15fo-0r4I8n9n3o.vation Systems (VINNOVA) under tion technique baseΞ on Satisfiabiffiity MoΞuffio Theories. project TESTRON 2015-04893. tion technique baseΞ on Satisfiabiffiity MoΞuffio Theories. 2405-8963 © 2017, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved. Copyright © 2017 IFAC 9668 CPoeepry rreigvhietw © u 2n0d1e7r rIFesApConsibility of International Federation of Automa9t6ic6 8Control. Copyright © 2017 IFAC 9668 10.1016/j.ifacol.2017.08.1296

Keywords

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

Access to Document

10.1016/j.ifacol.2017.08.1296

Cite this

@article{cc32cf66e35f4ad9b63120cfe2b41e6a,

title = "Automated mode coverage analysis for cyber-physical systems using hybrid automata",

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.",

keywords = "Continuous dynamics, Cyber-physical systems, Hybrid automata, Plant models, Test coverage",

author = "Johan Eddeland and Cepeda, \{Javier Gil\} and Rick Fransen and Sajed Miremadi and Martin Fabian and Knut {\AA}kesson",

year = "2017",

month = jul,

day = "1",

doi = "10.1016/j.ifacol.2017.08.1296",

language = "English",

volume = "50",

pages = "9260--9265",

journal = "IFAC-PapersOnLine",

issn = "2405-8963",

publisher = "Elsevier",

number = "1",

note = "20th World Congress of the International Federation of Automatic Control (IFAC 2017 World Congress), IFAC 2017 ; Conference date: 09-07-2017 Through 14-07-2017",

url = "https://www.ifac2017.org/",

}

TY - JOUR

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

AU - Eddeland, Johan

AU - Cepeda, Javier Gil

AU - Fransen, Rick

AU - Miremadi, Sajed

AU - Fabian, Martin

AU - Åkesson, Knut

N1 - Conference code: 20

PY - 2017/7/1

Y1 - 2017/7/1

N2 - 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.

AB - 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.

KW - Continuous dynamics

KW - Cyber-physical systems

KW - Hybrid automata

KW - Plant models

KW - Test coverage

UR - https://www.scopus.com/pages/publications/85031782760

U2 - 10.1016/j.ifacol.2017.08.1296

DO - 10.1016/j.ifacol.2017.08.1296

M3 - Conference article

AN - SCOPUS:85031782760

SN - 2405-8963

VL - 50

SP - 9260

EP - 9265

JO - IFAC-PapersOnLine

JF - IFAC-PapersOnLine

IS - 1

T2 - 20th World Congress of the International Federation of Automatic Control (IFAC 2017 World Congress)

Y2 - 9 July 2017 through 14 July 2017

ER -

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

Abstract

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this