AdaCore veröffentlicht Broschüre für die Entwicklung zertifizierter Software in der Luftfahrt
ID: 1470760
Die neue Publikation von AdaCore über die Gruppe von Standards DO-178C / ED-12C – den "Core" DO-178C / ED-12C-Standard und seine Technologieerweiterungen – wurde von Quentin Ochem von AdaCore und dem Zertifizierungsexperten Frédéric Pothon verfasst. Sie zeigt, wie die Ada- und SPARK-Sprachen in Verbindung mit den Produkten und Dienstleistungen von AdaCore bei der Entwicklung und Verifizierung von Software für die Luftfahrt helfen können. Viele Werkzeuge von AdaCore wurden in sicherheitskritischen Projekten qualifiziert und stellen Qualifizierungsmaterialien bereit.
Die Broschüre nähert sich ihrem Thema von mehreren Seiten. Ein Kapitel fasst die Ada- und SPARK-Sprachen zusammen und beschreibt verschiedene AdaCore-Tools, von denen viele für sicherheitskritische Systeme qualifiziert beziehungsweise qualifizierbar sind.
Ein wichtiger Abschnitt der Broschüre ist ein Kapitel, das zeigt, wie sich die Technologien von AdaCore verwenden lassen, um die Regelungen in der DO-178C / ED-12C-Suite im Rahmen mehrerer Entwicklungsszenarien zu erfüllen.
Die Broschüre erklärt unterschiedliche Anwendungsfälle, welche AdaCore-Technologien verwendbar sind und welche Aktivitäten in der DO-178C / ED-212-Suite dazu etwas beitragen können.
Die Broschüre enthält auch eine Reihe von Referenztabellen, die zusammenfassen, wie die verschiedenen AdaCore-Technologien die spezifischen Ziele der DO-178C / ED-12C-Suite erfüllen.
Verfügbarkeit
Die DO-178C-Broschüre ist ab sofort verfügbar; eine PDF-Version kann über www.adacore.com/tech-do-178c heruntergeladen werden, eine gedruckte Kopie ist über info@adacore.com erhältlich.
Diese Presseinformation kann auch unter www.pr-com.de/adacore abgerufen werden.
Weitere Infos zu dieser Pressemeldung:
Unternehmensinformation / Kurzprofil:
AdaCore wurde 1994 gegründet und bietet Tools für Software-Entwicklung und Verifikation für kritische und sicherheitskritische Systeme. Zu den wichtigsten Produkten von AdaCore gehören die GNAT-Pro-Entwicklungsumgebung für Ada, das statische Analyse-Tool CodePeer, die Verifikationsumgebung SPARK Pro und das modellbasierte Entwicklungswerkzeug QGen. Zahlreiche Anwender haben die AdaCore-Produkte im Einsatz und unterhalten damit eine Vielzahl von kritischen Anwendungen in Bereichen wie Raumfahrtsysteme, kommerzielle Luftfahrt, militärische Systeme, im Flugverkehrsmanagement, bei Schienensystemen, bei Geräten der Medizintechnik und bei Finanzdienstleistungen. AdaCore verfügt über eine umfangreiche und wachsende weltweite Kundenbasis; nähere Informationen dazu unter www.adacore.com/customers
AdaCore-Produkte sind Open-Source und werden mit Online-Support durch die Entwickler zur Verfügung gestellt. Das Unternehmen hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com
AdaCore
Jamie Ayre
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Andrea Groß
andrea.gross(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-803
Datum: 22.03.2017 - 15:05 Uhr
Sprache: Deutsch
News-ID 1470760
Anzahl Zeichen: 2098
Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:
Paris
Telefon: +49 (0) 89 59997 803
Kategorie:
Internet
Meldungsart: Unternehmensinformation
Versandart: Veröffentlichung
Freigabedatum: 22.03.2017
Diese Pressemitteilung wurde bisher 641 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"AdaCore veröffentlicht Broschüre für die Entwicklung zertifizierter Software in der Luftfahrt "
steht unter der journalistisch-redaktionellen Verantwortung von
AdaCore (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
28. März 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle. RecordFlux (www.adacore.com/re
AdaCore tritt der Rust Foundation bei ...
8. Februar 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Progr
AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity ...
Paris, 14. Dezember 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests.
Weitere Mitteilungen von AdaCore
AdaCore stellt die Entwicklungsumgebung GNAT Pro 17 für PikeOS RTOS von SYSGO vor ...
Paris, 22. März 2017 – AdaCore hat die Entwicklungsumgebung GNAT Pro 17.1 für das Echtzeit-Betriebssystem PikeOS von SYSGO freigegeben. Mit GNAT Pro 17.1 erhalten Ada-Nutzer, die für PikeOS entwickeln, eine Reihe von Produktverbesserungen. Dazu gehören Upgrades für die Codegenerator- und Debu
Neuer Onlineshop für hochwertiges Silberschmuck ...
Ohrringe und Ringe MIRKADA Jewelry setzt bei seinen Schmuckstücken auf Vielfalt. Wer zu einem bestimmten Outfit den passenden Ohrring sucht, gibt über eine Suchmaske verschiedene Details ein: Material, Preis, Stein und Farbe des gewünschten Ohrrings lassen sich so unkompliziert und schnell her
10 Spiele vom China Hero Project für PlayStation bekanntgegeben ...
Sony Interactive Entertainment (Shanghai) gab soeben in einer Pressekonferenz bekannt, dass sie die Entwicklung von 9 neuen PlayStation-Spielen von chinesischen Entwicklern unterstützen. Dies war die erste öffentliche Bekanntmachung zu den neuen Spielen und erfolgte am 22. März in Peking vor
Social-Media "to go" auf Allzeit-Hoch / Smartphone, Tablet, Notebook: Sechs von Zehn Onlinern surfen mobil im Web 2.0 - mehr als je zuvor ...
Weit weg vom Schreibtisch Youtube, Facebook, Twitter & Co als ständige Begleiter in der Hosentasche haben - das lieben mehr Internet-Nutzer in Deutschland als je zuvor: 61 Prozent aller Onliner nutzen inzwischen Soziale Medien von mobilen Endgeräten aus. 2012 waren es erst 38 Prozent. Über
