This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Prototyping and Simulation as a Means of Software Verification
Technical Paper
2006-21-0047
Annotation ability available
Sector:
Event:
Convergence 2006
Language:
English
Abstract
This manuscript describes a method for verifying the correctness of embedded software systems modeled and implemented with rapid prototyping and automatic code generation tools. By reusing the prototyping system as a reference, an automated means of comparing the target implementation to the validated model functionality is derived. The comparison ensures that the integer code generated and compiled for a specific production target corresponds and behaves identically to the function model developed in a rapid-prototyping environment.
Recommended Content
Authors
Topic
Citation
Wolff, H. and Lefarth, U., "Prototyping and Simulation as a Means of Software Verification," SAE Technical Paper 2006-21-0047, 2006.Also In
References
- ETAS Competence Exchange Symposium 2004 Presentation of BOSCH-CC on parallel computation of models
- Realtimes Article 2002 Automated software verification
- AUTOSAR http:/www.autosar.org