This paper presents best practices for completing projects certified to DO-178B and DO-178C using Model-Based Design. Included are key considerations, methods, and capabilities of Model-Based Design spanning the software development process.
To improve code quality, development teams complement traditional software verification activities with static code analysis using Polyspace code verifiers, which use formal methods with abstract interpretation to verify C, C++, or Ada code.
This paper describes how it is impossible to use traditional testing methods in order to test complex software systems. It shows how engineers can use formal methods to specify the full range of data in the calibration tables and verify software.
This paper describes the tool classification and qualification approach of ISO/FDIS 26262 “Road Vehicles - Functional Safety” and summarizes the authors’ firsthand experiences with implementing this approach for development and verification tools.