Ansys SCADE Suite

Ansys SCADE Suite is a model-based development environment for reliable, safety-critical embedded software. It links requirements management, model-based design, verification, qualifiable or certified code generation and documentation generation, with interoperability standards and Python-based customisation.

It is used for applications such as avionics, automotive control units and battery management systems. It is a commercial product of Ansys, now part of Synopsys, with a free trial.