When developing software it is important to consider process, methods, and tools. For safety-critical software, standards such as IEC 61508 are often used to impose additional constraints on the development process and require the production of verification evidence and other artifacts. These constraints and artifacts are needed whether or not the design and code were produced manually or via tool automation. This paper discusses the usage of Production Code Generation for safety-critical software development.
Safety-Critical Software Development Using Automatic Production Code Generation
Sae Technical Papers
SAE World Congress & Exhibition ; 2007
2007-04-16
Conference paper
English
Safety-critical software development using automatic production code generation
| Automotive engineering | 2007
Safety-Critical Software Development Using Automatic Production Code Generation
| British Library Conference Proceedings | 2007
Development of safety-critical software using automatic code generation
| Tema Archive | 2004
Development of safety-critical software using automatic code generation
| Automotive engineering | 2004