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

Podrobná bibliografie

Vydáno v:	2009 IEEE/ACM International Conference on Automated Software Engineering s. 15 - 25
Hlavní autoři:	Ray, A., Morschhaeuser, I., Ackermann, C., Cleaveland, R., Shelton, C., Martin, C.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.11.2009
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!