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
British Library Conference Proceedings | 2007
|Safety-critical software development using automatic production code generation
Automotive engineering | 2007
|Development of safety-critical software using automatic code generation
Automotive engineering | 2004
|Development of Safety-Critical Software Using Automatic Code Generation
SAE Technical Papers | 2004
|Development of safety-critical software using automatic code generation
Tema Archive | 2004
|