Production Code Generation for Safety-Critical Systems The MathWorks, Incorporated

Format:

Conference/Event

Author/Creator:

Erkkinen, Tom, author.

Conference Name:

SAE 2004 World Congress & Exhibition (2004-03-08 : Detroit, Michigan, United States)

Language:

English

Physical Description:

1 online resource

Place of Publication:

Warrendale, PA SAE International 2004

Summary:

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

Notes:

Vendor supplied data

Publisher Number:

2004-01-1780

Access Restriction:

Restricted for use by site license