{{{sourceTextContent.title}}}

Ada an Bord: Thales benutzt AdaCore-MÜCKE, die für kritische Avionik-Software Pro ist

{{{sourceTextContent.subTitle}}}

Aerospace, Verteidigung, Transport und Sicherheitsgesellschaft Thales in der La-Verteidigung, Frankreich, wählten und benutzten AdaCores MÜCKE Proada-Umwelt vor, um einen qualifizierten Autocodegenerator für kritische zerstreute Software zu entwickeln und zu überprüfen.

{{{sourceTextContent.description}}}

Thales-Personal führte den Autocodegenerator in Ada ein; das Werkzeug nimmt eine XML-Datei und produziert Quellcode für ein eingebettetes Avioniksystem, das gegen die waagerecht ausgerichteten b-Ziele in der DO-178C/ED-12C Software Erwägungen in der zerstreuten System- und Ausrüstungsbescheinigung Standard festgesetzt wird.

Der Entwicklungsprozess für den Autocodegenerator ist nach Ansicht des Europäischen Agenturen für Flugsicherheit Qualifikations-Erwägungsstandard (EASA-) Werkzeug-DO-330/ED-215 durchgeführt worden, und das Werkzeug ist für das Avionikprojekt an Werkzeugqualifikations-Niveau TQL ‑ 2. qualifiziert worden.

MERIGNAC, Frankreich. Aerospace, Verteidigung, Transport und Sicherheitsgesellschaft Thales in der La-Verteidigung, Frankreich, wählten und benutzten AdaCores MÜCKE Proada-Umwelt vor, um einen qualifizierten Autocodegenerator für kritische zerstreute Software zu entwickeln und zu überprüfen. Thales-Personal führte den Autocodegenerator in Ada ein; das Werkzeug nimmt eine XML-Datei und produziert Quellcode für ein eingebettetes Avioniksystem, das gegen die waagerecht ausgerichteten b-Ziele in der DO-178C/ED-12C Software Erwägungen in der zerstreuten System- und Ausrüstungsbescheinigung Standard festgesetzt wird.

Zusätzlich zur Zusammenstellungsumwelt, die für die Entwicklung und die Überprüfung des Autocodegenerators benutzt wird, sind einige AdaCore-Werkzeuge für die Avionik-Software selbst benutzt worden. Diese schließen die MÜCKE Programmierungsintegrierte Entwicklungsumgebung studio-(GPS) (IDE), das GNATcheck-Kodierungsformatkontonummernprüfgerät und den strukturellen Abdeckungsanalysator GNATcoverage mit ein.

Nach Ansicht des Thales-Ingenieurs verantwortlich für den Autocodegenerator, unter Verwendung eines automatisierten Kodierungsformatkontonummernprüfgerätes und eines qualifizierten strukturellen Codeabdeckungsanalysators half groß dem Projekt abschließen den Werkzeug-Prüfprozess.

„AdaCore hat ein langes und erfolgreiche Geschichte in der Avionikindustrie, mit einer wachsenden Produktpalette, die Kunden ermöglicht hat, Sicherheit-kritische Software auf den höchsten Ständen von DO-178B/C/ED-12B/C Bescheinigung zu entwickeln und zu überprüfen,“ sagt AdaCore Handels-Team Lead Jamie Ayre. „Wir freuen uns, MÜCKE Proada zu sehen, der durch Thales, für ihre Anwendung und auch der qualifizierte Autocodegenerator, der, verwendet wird produziert den Code.“

Ada ist eine international genormte (ISO) Programmiersprache, die für langlebiges, Hochzuverlässigkeit, die eingebetteten Realzeitsysteme bestimmt ist und stellt solide Softwaretechnikeigenschaften für die aufeinander folgenden und gleichzeitigen Anwendungen bei Anlagen für die niedrige Programmierung auch zur Verfügung stellen dar. Die neueste Version der Sprache, Ada 2012, umfasst Eigenschaften für die Vertrag-ansässige Programmierung (wie Unterprogramm vor- und postconditions) die niedrige Anforderungen im Quellcode einbetten, in dem sie entweder mit Laufzeitkontrollen oder an Kompilierzeit mit passender Werkzeugunterstützung dynamisch überprüft werden können.

MERIGNAC, Frankreich. Aerospace, Verteidigung, Transport und Sicherheitsgesellschaft Thales in der La-Verteidigung, Frankreich, wählten und benutzten AdaCores MÜCKE Proada-Umwelt vor, um einen qualifizierten Autocodegenerator für kritische zerstreute Software zu entwickeln und zu überprüfen. Thales-Personal führte den Autocodegenerator in Ada ein; das Werkzeug nimmt eine XML-Datei und produziert Quellcode für ein eingebettetes Avioniksystem, das gegen die waagerecht ausgerichteten b-Ziele in der DO-178C/ED-12C Software Erwägungen in der zerstreuten System- und Ausrüstungsbescheinigung Standard festgesetzt wird.

Im Jahre 1994, AdaCore-Versorgungsgegründet Softwareentwicklungs- und Überprüfungswerkzeuge für die Auftrag-kritischen, Sicherheit-kritischen und Sicherheit-kritischen Systeme. Vier Flaggschiffprodukte heben die Angebote der Firma hervor:

Die MÜCKENproentwicklungsumgebung für Ada, ein kompletter Toolset für das Entwerfen, Implementierung und Leitungsanwendungen, die hohe Zuverlässigkeit und Unterhaltbarkeit verlangen;

Das CodePeer brachte Werkzeug der statischen Analyse, einen automatischen Ada-Coderezensenten und Validator voran, die Fehler während der Entwicklung und rückwirkend auf vorhandener Software ermitteln und beseitigen können;

Die FUNKENproüberprüfungsumwelt, ein Toolset basiert auf formalen Spezifikationen und an Hochversicherungssystemen orientiert; und

Die Entwicklungswerkzeugreihe QGen Modell-ansässige für Sicherheit-kritische Kontrollsysteme, einen qualifizierbaren und kundengerechten Codegenerator, ein statisches Kontonummernprüfgerät für Modelle Simulink® und Stateflow® und einen Modell-stufigen Debugger zur Verfügung stellend.

Im Laufe der Jahre haben Kunden Ada- und AdaCore-Produkte benutzt, um eine breite Palette von kritischen Anwendungen in den Gebieten wie Handelsavionik, Automobil-, Bahn, Raum, Militärsystemen, Luftverkehrsregelung/Steuerung, medizinischen Geräten und Finanzdienstleistungen aufzufangen und beizubehalten. AdaCore hat einen umfangreichen und wachsenden weltweiten Kundenbestand.

AdaCore-Produkte sind offene Quelle und kommen mit der sachverständigen on-line-Unterstützung, die durch die Entwickler selbst gewährt wird. Die Firma hat Europazentrale in Paris und in den nordamerikanischen Hauptsitzen in New York.

Thales ist eine globale Technologiefirma für den Aerospace, den Transport, die Verteidigung und die Aktienmärkte. Mit 64.000 Angestellten in 56 Ländern, berichtete Thales über Verkäufe von €14.9 Milliarde ($17,9 Milliarde) im Jahre 2016. Mit über 25.000 Ingenieuren und Forschern hat Thales eine einzigartige Fähigkeit, zum der Ausrüstung, der Systeme und der Dienstleistungen zu entwerfen und einzusetzen, um die komplexesten Sicherheitsbedingungen zu erfüllen. Sein außergewöhnlicher internationaler Abdruck lässt es mit seinen Kunden auf der ganzen Erde nah arbeiten.