Validating Automotive Control Software Using Instrumentation-Based Verification
Abstract
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.
BibTeX
@inproceedings{Ray-al:ASE09,
author = {Arnab Ray and
Iris Morschhaeuser and
Christopher Ackermann and
Rance Cleaveland and
Charles P. Shelton and
Chris Martin},
title = {Validating Automotive Control Software Using {Instrumentation-Based} Verification},
booktitle = {ASE},
pages = {15--25},
publisher = {{IEEE} Computer Society},
year = {2009},
}