Sökning: onr:"swepub:oai:DiVA.org:mdh-35337" >
Automatic Test Gene...
Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL
-
- Marinescu, Raluca (författare)
- Mälardalens högskola,Inbyggda system
-
- Enoiu, Eduard Paul (författare)
- Mälardalens högskola,Inbyggda system
-
- Seceleanu, Cristina, 1968- (författare)
- Mälardalens högskola,Inbyggda system
-
visa fler...
-
- Sundmark, Daniel (författare)
- Mälardalens högskola,Inbyggda system
-
visa färre...
-
(creator_code:org_t)
- 2017
- 2017
- Engelska.
-
Ingår i: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. - 9781509066766 ; , s. 69-76
- Relaterad länk:
-
https://mdh.diva-por... (primary) (Raw object)
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Testing using architectural design models is intended to determine if the realized system meets its specification, and works as a whole in terms of computational components and their interactions. The growing complexity of embedded systems requires new techniques that are able to support testing of extra-functional requirements, like energy usage of components and systems, which is very necessary in order to obtain valid implementations. In this paper, we show how architectural models described in the EAST-ADL architectural language can also be used for testing the energy consumption of embedded systems, after transforming them into networks of formal models called priced timed automata. Assuming an EAST-ADL model annotated with energy consumption information, we show how to automatically generate energy-aware test cases based on statistical model checking (SMC) of the resulting network of priced timed automata. We automate the generation of executable test cases with UPPAAL SMC, using a test strategy based on several random simulation runs of the system. By seeding the original formal model with a set of energy-consumption related faults, we are able to carry out fault detection analysis. We apply this technique on a Brake-by-Wire system from the automotive domain, and evaluate it in terms of efficiency and model fault detection.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas