Sökning: id:"swepub:oai:research.chalmers.se:330fda91-83b9-434f-9843-6a3c4ef1a733" >
Automated Mode Cove...
Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata
-
- Eddeland, Johan, 1991 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Cepeda, Javier Gil (författare)
- Volvo Cars
-
- Fransen, Rick (författare)
- Technische Universiteit Eindhoven,Eindhoven University of Technology
-
visa fler...
-
- Miremadi, Sajed, 1983 (författare)
- Volvo Cars
-
- Fabian, Martin, 1960 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Åkesson, Knut, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa färre...
-
(creator_code:org_t)
- Elsevier BV, 2017
- 2017
- Engelska.
-
Ingår i: IFAC-PapersOnLine. - : Elsevier BV. - 2405-8963. ; 50:1, s. 9260-9265
- Relaterad länk:
-
https://doi.org/10.1...
-
visa fler...
-
https://doi.org/10.1...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering (hsv//eng)
Nyckelord
- Cyber-physical systems
- Test coverage
- Hybrid automata
- Continuous dynamics
- Plant models
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas
- Av författaren/redakt...
-
Eddeland, Johan, ...
-
Cepeda, Javier G ...
-
Fransen, Rick
-
Miremadi, Sajed, ...
-
Fabian, Martin, ...
-
Åkesson, Knut, 1 ...
- Om ämnet
-
- TEKNIK OCH TEKNOLOGIER
-
TEKNIK OCH TEKNO ...
-
och Elektroteknik oc ...
- Artiklar i publikationen
-
IFAC-PapersOnLin ...
- Av lärosätet
-
Chalmers tekniska högskola