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

fYear

2007

fDate

20-26 May 2007

Firstpage

3

Lastpage

3

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SEAS.2007.5

Filename

4228590