Validating Automotive Control Software Using Instrumentation-Based Verification

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 performan...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:2009 IEEE/ACM International Conference on Automated Software Engineering s. 15 - 25
Hlavní autori: Ray, A., Morschhaeuser, I., Ackermann, C., Cleaveland, R., Shelton, C., Martin, C.
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 01.11.2009
Predmet:
Automatic control
Automotive engineering
Educational institutions
Instruments
Lighting control
Mathematical model
Monitoring
Production
Software engineering
USA Councils
ISBN:1424452597, 9781424452590
ISSN:1938-4300
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
ISBN:1424452597
9781424452590
ISSN:1938-4300
DOI:10.1109/ASE.2009.98