Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Automatic discovery of unspecified behaviors in automotive control software

: Shahbaz, Muzammil; Eschbach, Robert


Bottaci, L.:
Testing - practice and research techniques. 5th international conference, TAIC PART 2010 : Windsor, UK, September 3-5, 2010; proceedings
Berlin: Springer, 2010 (Lecture Notes in Computer Science 6303)
ISBN: 978-3-642-15584-0
ISBN: 3-642-15584-7
ISSN: 0302-9743
International Academic and Industrial Conference - Practice and Research Techniques (TAIC PART) <5, 2010, Windsor>
Fraunhofer IESE ()
reverse engineering; electronic control unit; validation; automotive control software; embedded software system; automotive industry; automotive application; VIERforES; model-based testing

Modern vehicular systems include Electronic Control Units (ECUs) equipped with software that implements vehicle functions. The composition and validation of ECUs is a complex task since they include propriety software in which functional details are often unspecified. These details also vary from one supplier to another which has a greater impact on the behavior of the entire composed system. This paper presents the application of model inference approach for automatic discovery of unspecified behaviors in an electronic door control unit supplied by our industrial partner. The final results can be used to address the problem of selecting quality components, validation and maintenance of component variants and their integration in embedded control systems.