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.
Production Code Generation for Safety-Critical Systems
Sae Technical Papers
SAE 2004 World Congress & Exhibition ; 2004
2004-03-08
Aufsatz (Konferenz)
Englisch
Production code generation for safety-critical systems
Kraftfahrwesen | 2004
|Production Code Generation for Safety-Critical Systems
British Library Conference Proceedings | 2004
|Safety-critical software development using automatic production code generation
Kraftfahrwesen | 2007
|Safety-Critical Software Development Using Automatic Production Code Generation
SAE Technical Papers | 2007
|Safety-Critical Software Development Using Automatic Production Code Generation
British Library Conference Proceedings | 2007
|