Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

From requirements to statistical testing of embedded systems

 
: Bauer, Thomas; Böhr, Frank; Landmann, Dennis; Beletski, Taras; Eschbach, Robert; Poore, Jesse H.

Institute of Electrical and Electronics Engineers -IEEE-:
Fourth International Workshop on Software Engineering for Automotive Systems, SEAS 2007. Proceedings : 20-26 May 2007, Minneapolis
Los Alamitos: IEEE Computer Society, 2007
ISBN: 0-7695-2968-2
7 pp.
International Workshop on Software Engineering for Automotive Systems (SEAS) <4, 2007, Minneapolis/Minn.>
International Conference on Software Engineering (ICSE) <29, 2007, Minneapolis/Minn.>
English
Conference Paper
Fraunhofer IESE ()
testing; embedded system; statistical testing; formal method; Hardware in the Loop (HiL); sequence-based specification (SBS)

Abstract
This paper presents the results of a research project where the combination of techniques of sequence-based requirements specification and modelbased 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.

: http://publica.fraunhofer.de/documents/N-66995.html