This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Verifying Code Automatically Generated From an Executable Model
Technical Paper
2005-01-1665
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Currently in the automotive industry, most software source code is manually generated (i.e., hand written). This manually generated code is written to satisfy requirements that are generally specified or captured in an algorithm document. However, this process can be very error prone since errors can be introduced during the manual translation of the algorithm document to code. A better method would be to automatically generate code directly from the algorithm document. Therefore, the automotive industry is striving to model new and existing algorithms in an executable-modeling paradigm where code can be automatically generated. The advent of executable models together with automatic code generation should allow the translation of model to code to be error free, and this error-free status can be confirmed through testing. A three-stage process is presented to functionally verify the model, functionally verify the automatically-generated code, and structurally verify the code.
Recommended Content
Authors
Citation
Williams, C., Kropinski, M., Matthews, O., and Steele, M., "Verifying Code Automatically Generated From an Executable Model," SAE Technical Paper 2005-01-1665, 2005, https://doi.org/10.4271/2005-01-1665.Also In
Automotive Electronics on CD-ROM from the SAE 2005 World Congress
Number: SP-1980CD; Published: 2005-04-11
Number: SP-1980CD; Published: 2005-04-11
SAE 2005 Transactions Journal of Passenger Cars: Mechanical Systems
Number: V114-6; Published: 2006-02-01
Number: V114-6; Published: 2006-02-01
References
- Constance, D. et al. “Software Subsystem Behavioral Testing for Real-Time Embedded Controller Applications,” SAE Paper 2004-01-0264