Ansys SCADE Suite
Entwicklung von sicherheitskritischer Embedded Software
Modellbasierte Entwicklungsumgebung für missions- und sicherheitskritische Embedded Software
Ansys SCADE Suite ist die modellbasierte Entwicklungsumgebung für missions- und sicherheitskritische Anwendungen. Die anforderungsbasierte Umsetzung der gewünschten Kontroll- und Regelungsfunktionen erfolgt durch Elemente der formal definierten Sprache Scade. Der qualifizierbare / zertifizierte automatische Codegenerator KCG erzeugt aus dem SCADE-Modell MISRA-kompatiblen, portablen C-Code bzw ADA-Code, der sich leicht auf nahezu jedes beliebige Target integrieren lässt. Durch offene Schnittstellen und eine umfangreiche API kann SCADE in jede Entwicklungsumgebung integriert werden. Die Verwendung von Ansys SCADE ermöglicht eine drastische Reduzierung der Entwicklungszeit und -kosten, die vor allem im Bereich der Verifikation und Validierung sowie Zertifizierung und Zulassung realisiert werden.