Validating Automotive Control Software Using Instrumentation-Based Verification

Authors:
Arnab Ray;Iris Morschhaeuser;Chris Ackermann;Rance Cleaveland;Charles Shelton;Chris Martin
Affiliations:
-;-;-;-;-;-
Venue:
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Year:
2009

Citing 0
Cited 2

Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study

Journal of Control Science and Engineering - Special issue on Embedded-Model-Based Control
Analysis and testing of matlab simulink models: a systematic mapping study

Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation

Quantified Score

Hi-index	0.00

Visualization

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.