This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Production Code Generation for Safety-Critical Systems
Technical Paper
2004-01-1780
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Software developed for safety-critical systems needs to be of high integrity. Special precautions and development steps are needed for high-integrity software that are not required for other software, although many would argue that they should be. Examples include language subsets, Verification and Validation (V&V), inspections, requirements traceability, documentation, and structural test coverage.
Production code generation supports these activities by providing a complete software engineering development environment using models to specify the software. The models can then be tested and stressed within boundaries of the modeling environment. The tests and results can then be reused and applied to the generated code. This paper describes high-integrity code development techniques and shows how they can be automated and applied at the model level, improving quality while shortening design cycles.
Recommended Content
Technical Paper | Building Blocks Approach for the Design of Automotive Real-Time Embedded Software |
Technical Paper | LIN Slave Node Position Detection via LIN Switch Method |
Technical Paper | Challenges in Managing ISO 26262 Software Development Projects |
Authors
Topic
Citation
Erkkinen, T., "Production Code Generation for Safety-Critical Systems," SAE Technical Paper 2004-01-1780, 2004, https://doi.org/10.4271/2004-01-1780.Also In
References
- www.mathworks.com
- www.ieee.org
- “Software considerations in airborne systems and equipment certification,” RTCA/DO-178B RTCA Inc. Dec. 1992
- Aldrich B. “Using model coverage analysis to improve the controls development process,” AIAA 2002
- www.reactive-systems.com
- www.t-vec.com
- www.rational.com
- www.misra.org
- Szpak P. Duesenberry J. Erkkinen T. “Configuring the Code Generator and Tailoring the Build Process for Embedded Targeting,” MATLAB Digest May 2003 www.mathworks.com