Validating automotive control software using instrumentation-based verification

ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2009, Pages 15-25

  Ray, Arnab ^a   Morschhaeuser, Iris ^a   Ackermann, Chris ^a   Cleaveland, Rance ^b   Shelton, Charles ^c   Martin, Chris ^c  

^a Fraunhofer USA Inc   (United States)

^b University of Maryland   (United States)

^c Robert Bosch Corporate Research   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED VERIFICATION; AUTOMOTIVE CONTROL; AUTOMOTIVE LIGHTING; DESIGN MODELS; INDUSTRIAL SETTINGS; MODEL-BASED DESIGN; REQUIREMENTS SPECIFICATIONS; VERIFICATION TECHNIQUES; WORK-FLOWS;

AUTOMATION; INSTRUMENTS; VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 77952189087     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2009.98     Document Type: Conference Paper

References (9)

1. Clarke, E., Grumberg, O., Peled, D. Model Checking. The MIT Press, 2000.
2. Loveland, D W. (1978). Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science Volume6. North-Holland Publishing.
3. Cleaveland. R, Scott S and Sims. S, An Instrumentation-Based Approach to Controller Model Validation. Model-Driven Development of Reliable Automotive Services Springer, 2008.
4. Ackermann C., Ray A., Cleaveland R., Heit J., Shelton C., Martin C.. Model-Based Design Verification: A Monitor Based Approach. Society of Automotive Engineers (SAE) World Congress 2008, Detroit, USA.
5. Caspi P., Mazuet P, Salem R and Weber D., Formal design of distributed control systems with Lustre, Proc. Safecomp 1999, pp. 396-409, Springer-Verlag.
6. Caspi P., Pilaud D, Halbwachs N, Plaice J.A, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.178-188, January 21-23, 1987.
7. Homburg, C., Kiffmeier, U., and Kösters, L. 2001. Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating System. In Proceedings of the IFIP Wg10.3/Wg10.4/Wg10.5 international Workshop on Distributed and Parallel Embedded Systems: Architecture and Design of Distributed Embedded Systems (October 18-19, 2000).
8. Reactive Systems. http://www.reactivesystems.com.
9. Takahashi, J. and Kakuda, Y. 2002. Extended Model-Based Testing toward High Code Coverage Rate. Proceedings of the 7th international Conference on Software Quality (June 09 - 13, 2002). J. Kontio and R. Conradi, Eds. Lecture Notes In Computer Science, vol.2349. Springer-Verlag, London, pp. 310-320.