SCADE Suite
Ansys delivers solutions for Safety-critical environments with its integrated model-based design & development platform. One of many flagship products is SCADE suite which allows model-driven development within a graphical environment. Source code can be directly exported and embedded into a PikeOS application project.