Select Language

Free Booklet Shows How AdaCore’s Technologies Can Help Railway Software Developers Meet EN 50128 Objectives

New 70-page report explains how to reduce safety certification effort through Ada language and qualified AdaCore tools

RSRR 2016, PARIS, June 28, 2016 - AdaCore today announced the publication of AdaCore Technologies for CENELEC EN 50128:2011. Authored by AdaCore expert Quentin Ochem and CERTIFER safety assessor Jean-Louis Boulanger, this booklet summarizes the EN 50128 railway software standard and explains how the Ada programming language and AdaCore’s products can be used to meet its requirements throughout the software life cycle.

The new booklet presents the following technologies in the context of EN 50128:

  • The Ada 2012 language, including its contract-based programming features
  • The SPARK 2014 language (a formally verifiable subset of Ada 2012) and its supporting tools, which allow mathematical demonstration of program properties such as absence of run-time errors
  • The GNAT Ada compiler, including run-time libraries that have been certified at the SIL 3 and SIL 4 levels
  • Static analysis tools
    • CodePeer, an advanced static analysis tool for code review and verification
    • GNATmetric, a metric computation tool
    • GNATcheck, a coding standard checker
    • GNATdashboard, a platform for integrating and managing information from various analysis tools
  • Dynamic analysis tools
    • GNATtest, a unit testing framework generator
    • GNATemulator, a host-resident target processor emulator
    • GNATcoverage, a structural code coverage analyzer
  • The QGen model-based development and verification tool, which translates from Simulink® and Stateflow® models into SPARK or MISRA-C


These tools fit into the “V” software life cycle as shown in Figure 1 below.

The booklet has the following contents:

  • A summary of the CENELEC EN 50128 standard
  • An overview of the relevant AdaCore tools and technologies
  • An explanation of AdaCore’s contributions towards the Software Quality Assurance Plan
  • A technology usage guide keyed to various requirements in EN 50128, such as Analyzable Programs and Boundary Value Analysis, showing how these requirements are met by AdaCore tools and technologies
  • A technology annex, summarizing the qualification status of the various tools and showing how they relate to specific Annex D sections

“Certification requirements are getting more and more complex,” said Quentin Ochem, Lead of Business Development and Technical Account Management at AdaCore. “In order to stay competitive, it is crucial yet difficult for railway system developers to fully understand how and where software tools can help. AdaCore’s new booklet answers this need and provides a clear mapping between technology capabilities and railway safety requirements.”

AdaCore products have been used in a variety of safety-critical railway systems and, as explained in the booklet, various tools have been qualified as T2 or T3 tools, and several run-time libraries have been certified at SIL-3 / SIL-4 levels, under EN 50128.

Availability
The AdaCore Technologies for CENELEC EN 50128:2011 booklet is available now, at no cost. To obtain a copy please contact info@adacore.com; it is also available for download from http://adacore.com/en-50128.

About AdaCore
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Four flagship products highlight the company’s offerings:

  • The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
  • The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,
  • The SPARK Pro verification environment, a toolset based on formal methods and oriented towards high-assurance systems, and
  • The QGen model-based development tool, a qualifiable and customizable code generator and verifier for Simulink® and Stateflow® models, intended for safety-critical control systems.

Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as railway systems, space systems, commercial avionics, military systems, air traffic management/control, medical devices, and financial services.  AdaCore has an extensive and growing world-wide customer base; see www.adacore.com/customers/ for further information.

AdaCore products are open source and come with expert on-line support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany

EU
Emma Adby
AdaCore Marketing Operations Manager
+33 1 49 70 87 82

US
Jessie Glockner
AdaCore Public Relations Representative
+1-646-532-2723

AdaCore-Broschüre erklärt den Einsatz von Ada bei der Entwicklung von Eisenbahn-Software

Paris – 28. Juni 2016 - AdaCore hat die Broschüre AdaCore Technologies for CENELEC EN 50128:2011 vorgestellt. Sie fasst auf 70 Seiten den Standard EN 50128 für Eisenbahn-Software zusammen und erläutert, wie Entwickler die Programmiersprache Ada und die Produkte von AdaCore verwenden können, um die entsprechenden Anforderungen über den gesamten Software-Lebenszyklus zu erfüllen.

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 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 Entwickling 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 unter
www.pr-com.de/adacore abgerufen werden.

Über AdaCore
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

Pressekontakte:

AdaCore
Jamie Ayre
press@adacore.com  
www.adacore.com
http://twitter.com/AdaCoreCompany

 

PR-COM GmbH
Romana Redtenbacher
romana.redtenbacher@pr-com.de
www.pr-com.de
Tel. +49-89-59997-761