This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Production Code Generation for Safety-Critical Systems
ISSN: 0148-7191, e-ISSN: 2688-3627
Published March 08, 2004 by SAE International in United States
Annotation ability available
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.
|Technical Paper||Building Blocks Approach for the Design of Automotive Real-Time Embedded Software|
|Technical Paper||The Development of a Semi-Automated Radio Test System|
|Technical Paper||Welded Seam Inspection with High Energy X-Rays|
CitationErkkinen, T., "Production Code Generation for Safety-Critical Systems," SAE Technical Paper 2004-01-1780, 2004, https://doi.org/10.4271/2004-01-1780.
- “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
- 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