Automatic Discovery of Unspecified Behaviors in Automotive Control Software

Muzammil Shahbaz,Robert Eschbach
DOI: https://doi.org/10.1007/978-3-642-15585-7_18
2010-01-01
Abstract: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.
What problem does this paper attempt to address?