Title :
From Requirements to Statistical Testing of Embedded Systems
Author :
Bauer, Thomas ; Beletski, Taras ; Böhr, Frank ; Eschbach, Robert ; Landmann, Dennis ; Poore, Jesse
Author_Institution :
Fraunhofer IESE, Berlin
Abstract :
This paper presents the results of a research project where the combination of techniques of sequence-based requirements specification and model- based statistical testing has been applied to a real mirror control unit of a car door for reliability estimations. A complete chain from a requirements document to a statistical test report with a very high degree of automation is demonstrated. A practical solution for reliability analysis of embedded systems in a realistic industrial setup is proposed.
Keywords :
automotive components; embedded systems; formal specification; mechanical engineering computing; mirrors; statistical testing; embedded systems; model-based statistical testing; reliability analysis; reliability estimations; sequence-based requirements specification; Actuators; Automatic testing; Automation; Automotive engineering; Embedded system; Mirrors; Power system modeling; Power system reliability; Statistical analysis; System testing;
Conference_Titel :
Software Engineering for Automotive Systems, 2007. ICSE Workshops SEAS '07. Fourth International Workshop on
Conference_Location :
Minneapolis, MN
Print_ISBN :
0-7695-2968-2
DOI :
10.1109/SEAS.2007.5
