Compiler for safety critical software – What needs to be done?

The compiler is the central tool, which is required for every software development. It forms the link between the human-readable high-level source code (e.g., C and C ++) and the machine code, interpretable for the hardware processor. For the development of safety critical software according to relevant functional safety standards such as ISO26262 (car), EN50128 (railways), IEC61508 (automation, general) or DO178C (aviation), specific requirements apply for the tools used during the development.

This blog shows a process from the aerospace industry for compiler verification / validation, which is also highly recommended for other industries.

Read More

Check how T&VS offers a proven set of techniques and methods to enable identification of hazards, assessment of risks, & determination of appropriate risk reduction strategies.