AdaCore-Broschüre erklärt den Einsatz von Ada bei der Entwicklung von Eisenbahn-Software
ID: 1377523
Die Broschüre präsentiert folgende Technologien im Kontext des für die Entwicklung von Eisenbahn-Software wichtigen Standards EN 50128:
• Die Sprache Ada 2012 einschließlich der vertragsbasierten Programmierung;
• Die Sprache SPARK 2014 – eine formal überprüfbare Teilmenge von Ada 2012 – und unterstützende Werkzeuge, die die mathematische Demonstration der Programmeigenschaften ermöglichen, beispielsweise die Abwesenheit von Laufzeitfehlern;
• Den GNAT-Ada-Compiler einschließlich der Laufzeitbibliotheken, die mit den Levels SIL 3 und SIL 4 zertifiziert wurden;
• Diverse statische Analyse-Tools, darunter:
- CodePeer, ein erweitertes statisches Analyse-Tool für die Code-Überprüfung und Verifizierung;
- GNATmetric, ein Tool für metrische Berechnungen;
- GNATcheck, ein Codierungsstandard-Checker;
- GNATdashboard, eine Plattform für die Integration und Verwaltung von Informationen aus verschiedenen Analysetools;
• Dynamische Analyse-Tools, darunter
- GNATtest, ein Unit-Testing-Framework-Generator;
- GNATemulator, ein Emulator von Zielprozessoren, der auf dem Host eingesetzt werden kann;
- GNATcoverage, ein strukturelles Code-Coverage-Analyse-Tool;
• Das Tool QGen zur Entwicklung und Verifikation von Modellen, das Simulink- und Stateflow-Modelle in SPARK oder MISRA-C übersetzt.
Die neue Broschüre hat folgende Struktur:
• Zusammenfassung des Standards CENELEC EN 50128;
• Übersicht über die relevanten AdaCore-Tools und -Technologien;
• Erläuterung der Beiträge von AdaCore zur Software-Qualitätssicherung;
• Technischer Leitfaden, der zeigt, wie verschiedene Anforderungen von EN 50128 – zum Beispiel Analyzable Programs und Boundary Value Analysis – mit AdaCore-Tools und -Technologien erfüllt werden;
• Anhang, der den Qualifikationsstatus der verschiedenen Werkzeuge zusammenfasst und zeigt, wie sie mit den spezifischen Abschnitten in Annex D zusammenhängen.
"Die Zertifizierungs-Anforderungen werden auch im Bereich Eisenbahn-Software immer komplexer", erklärt Quentin Ochem, Leiter Business Development und Technical Account Management bei AdaCore. "Entwickler müssend daher in vollem Umfang verstehen, wie ihnen Software-Tools dabei helfen können. Die neue Broschüre von AdaCore stellt die dafür nötigen Informationen bereit."
Verfügbarkeit
Das Booklet "AdaCore Technologies for CENELEC EN 50128:2011" ist ab sofort kostenlos verfügbar über info@adacore.com oder zum Herunterladen bei http://adacore.com/en-50128.
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
Romana Redtenbacher
romana.redtenbacher(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-761
Datum: 07.07.2016 - 11:38 Uhr
Sprache: Deutsch
News-ID 1377523
Anzahl Zeichen: 3338
Kontakt-Informationen:
Ansprechpartner: Romana Redtenbacher
Stadt:
Paris
Telefon: +49-89-59997-761
Kategorie:
Internet
Meldungsart: Unternehmensinformation
Versandart: Veröffentlichung
Freigabedatum: 07.07.2016
Diese Pressemitteilung wurde bisher 1296 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"AdaCore-Broschüre erklärt den Einsatz von Ada bei der Entwicklung von Eisenbahn-Software"
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
Aufzeichnung der 24. ordentlichen Hauptversammlung der voestalpine AG ab sofort auf www.ots.at abrufbar ...
Die Aufzeichnung der 24. ordentlichen Hauptversammlung der voestalpine AG steht ab sofort auf http://streaming.voestalpine.com/voestalpine/2016-07-06/ zur Verfügung. Link zum APA-OTS Pressroom der voestalpine AG: http://www.ots.at/pressemappe/2054/voestalpine-ag Rückfragehinweis: voestalpi
And the Award goes to... FILIAGO gewinnt den eco Award 2016 in der Kategorie "Next Generation Infrastructure B2C" ...
Der Verband der deutschen Internetwirtschaft, eco e.V., hat auch dieses Jahr wieder die besten Unternehmen der deutschen IT-Branche mit dem begehrten eco Award ausgezeichnet. Vor über 400 Teilnehmern präsentierten in Köln hochrangige Laudatoren aus Politik, Wissenschaft und Wirtschaft die jewei
TERMINAVISO: In Kürze Live-Übertragung der 24. ordentlichen Hauptversammlung der voestalpine AG ...
voestalpine AG lädt zur 24. ordentlichen Hauptversammlung im Design Center Linz. - Datum: Mittwoch 06.07.2016 - Uhrzeit: 10:00 Uhr MESZ - Webcast: http://streaming.voestalpine.com Link zum APA-OTS Pressroom der voestalpine AG: http://www.ots.at/pressemappe/2054/voestalpine-ag Rückfrageh
Chinas Chengdu Hi-tech Industrial Development Zone und Frankreichs Sophia Antipolis fördern Innovation ...
Die Chengdu Hi-tech Industrial Development Zone und Sophia Antipolis, das französische "Silicon Valley", haben eine Kooperationsvereinbarung unterzeichnet, um "Schwester-Technologieparks" zu werden. Sophia Antipolis ist der größte Technologiepark in Europa und umfasst
