TSM - Developing safety-critical software with SCADE

Hunor Csomortani - Software Developer

The requirements imposed by the standards in the field make developing safety-critical software be a continuous challenge for everyone involved in the process. The SCADE development environment prescribes many of these rules right from the beginning of the project. Built on top of a synchronous language, having a deterministic approach, bundled with a certified C code generator and a set of tools to help with testing and verifying the product, SCADE lets us focus on implementing the high level requirements and saves us from worrying about the basic mistakes.