Zeitgesteuerte Steuerungssysteme modellorientiert entwickeln

TTTech und Esterel schließen ihre Entwicklungswerkzeuge SCADE und TTP zusammen. Daraus entsteht eine Entwicklungsplattform für zertifizierbare Softwareapplikationen.

TTTech und Esterel Technologies verbinden ihre Entwicklungswerkzeuge durch "TTPSCADElink" und die "SCADE TTA-Extension". Diese Softwareschnittstelle dient der nahtlosen Integration der TTPTools von TTTech und der SCADE-Suite von Esterel Technologies. TTPSCADElink ist für die Entwicklung verteilter Steuerungssysteme und Softwareapplikationen in elektronisch gesteuerten Flugzeugen der Zukunft geeignet. Die SCADE TTA-Extension von Esterel Technologies hilft bei der Modellierung eines fehlertoleranten, verteilten Systems. Die Architektur, das funktionale Verhalten und die Anforderungen an den Datenaustausch werden auf der Ebene des SCADE-Modells spezifiziert, aus welchem die gesamten verteilten Embedded-Softwarekomponenten erzeugt werden.

Mit TTPSCADElink von TTTech können TTPTools für die automatische Ablaufplanung der Kommunikation und Tasks eingesetzt werden. Um die eigene zeitgesteuerte Middleware zu erstellen, werden die Kommunikationsanforderungen, das Zeitbudget und der Taskablauf automatisch berechnet.

Die TTPTools und die SCADE-Suite bilden eine vollständige  Entwicklungsumgebung zur kostengünstigen Entwicklung, formalen Verifikation und sicheren Abbildung auf der zugehörigen  Hardware integrierter Flugzeugsysteme. Diese komplexen Systeme sind nach DO-178B Level A zertifiziert. Das gesamte Zertifizierungspaket besteht aus dem Zertifizierungswerkzeug  SCADE KCG und den TTTech-Zertifizierungsdaten für die Softwarekomponenten und den Kommunikations-Controller.

Das zeitgesteuerte Protokoll (Time-Triggered Protocol, TTP) ist eine Entwicklungsplattform für Steuerungssysteme in Flugzeugen. Die Technologie kommt in den elektronischen Systemen der Boeing 787, den Kabinensteuerungssystemen des Airbus A380 und der modularen Flugzeugsteuerungsplattform (Modular Aerospace Control, MAC) von Honeywell zum Einsatz.

Die SCADE Certified Software Factory, ein Zusammenschluss von SCADE Suite und SCADE Display, stellt die einzige integrierte Toolsuite dar, die das Design von Algorithmus, Logik und Displays vereint und die formale Verifikation und die Erzeugung des zertifizierten Codes zusammenführt.