Validating Automotive Control Software Using Instrumentation-Based Verification

TitleValidating Automotive Control Software Using Instrumentation-Based Verification
Publication TypeConference Papers
Year of Publication2009
AuthorsRay A, Morschhaeuser I, Ackermann C, Cleaveland R, Shelton C, Martin C
Conference NameAutomated Software Engineering, International Conference on
Date Published2009///
PublisherIEEE Computer Society
Conference LocationLos Alamitos, CA, USA

This paper discusses the results of an application of a formally based verification technique, called Instrumentation-Based Verification (IBV), to a production automotive lighting controller. The goal of the study is to assess, from both a tools as well as a methodological perspective, the performance of IBV in an industrial setting. The insights obtained as a result of the project include a refinement of a previously developed architecture for requirements specifications; observations about changes to model-based design workflows; insights into the role of requirements during development; and the capability of automated verification to detect inconsistencies among requirements as well as between requirements and design models.