AdaCore beteiligt sich an den Forschungsprojekten OPENCOSS und pSafecer
AdaCore, ein führender Anbieter von Ada-Entwicklungswerkzeugen und
Supportdiensten, beteiligt sich an den europäischen
Forschungsprojekten OPENCOSS und pSafecer. Beide unterstützen die
Komponenten-basierte Entwicklung von sicherheitskritischen Systemen,
insbesondere im Bereich agiler Prozesse zur Software-Zertifikation.
(industrietreff) - AdaCore entwickelt für die europäischen Forschungsprojekte
OPENCOSS und pSafecer ein Komponenten-basiertes
Verwaltungssystem für die Zertifi-kation sicherheitskritischer
Systeme. Diese "Qualifying Machine" wird einen agilen,
inkrementellen und sich ständig weiterentwickelnden Zertifikations-
prozesses unterstützen und viele zeitaufwendige Arbeiten in der
Zertifikation, wie die Verwaltung und Überprüfung der
Rückverfolgbarkeit der Daten, auto-matisieren.
Das Projekt OPENCOSS arbeitet an der Erstellung eines quelloffenen
Frameworks für die Zertifikation in der Eisenbahn-, Luftfahrt- und
Automobil-industrie. Es fokussiert sich dabei auf einen
Komponenten-basierten Ansatz, in dem sicherheitsrelevante
Bestandteile wiederverwendet werden können. OPENCOSS wurde im
Oktober 2011 gestartet und wird dreieinhalb Jahre laufen. An dem
von der EU geförderten Projekt nehmen 17 Partner teil.
Das Projekt pSafecer unterstützt eine Komponenten-basierte
Entwicklung durch ein bereichsŸbergreifendes Komponentenmodell,
das mit Sicherheits- und Zertifikations¬informationen befüllt wird.
Das wiederverwendbare und Tool-unabhängige pSafecer-Framework
nutzt diese Spezifikation, um Zertifi-kationsaufgaben zu
automatisieren. pSafecer wurde im April 2011 begonnen und wird
sich über zwei Jahre erstrecken. Mehr als 30 Partner nehmen an
diesem, von der ARTEMIS-Embedded-Computing-Systems-Initiative
der EU geförderten Projekt teil.
"Durch unsere Beteiligung an diesen beiden Projekten können wir
unsere Ideen, die in Zusammenarbeit mit Partnern aus
unterschiedlichsten Berei-chen in der Open-DO-Initiative entstanden
sind, überprüfen und bestätigen", erklärt Cyrille Comar, Präsident
von AdaCore Europe in Paris. "Wir können bei der Weiterentwicklung
eines übergreifenden Open-Source-Frameworks für die Zertifikation
von einem hochkarätigen Umfeld profitieren."
Informationen über das Projekt OPENCOSS: www.opencoss-
project.eu/
Informationen über das Projekt pSafecer: www.safecer.eu/
Informationen über die Initiative Open-DO: www.open-do.org
Informationen über die Forschungsprojekte von AdaCore oder
Beiträge zu gemeinschaftlichen Forschungsprojekten finden sich auf
www.open-do.org/projects.
Themen in dieser Meldung:
Unternehmensinformation / Kurzprofil:
AdaCore wurde 1994 gegründet und ist der führende Anbieter von
kommerziellen Softwarelösungen für Ada, einer modernen
Programmiersprache für große, langlebige Anwendungen, bei denen
Sicherheit und Verlässlichkeit kritisch sind. Das wichtigste Produkt
des Unternehmens ist die Entwicklungsumgebung GNAT Pro, die
Online-Support bietet und auf mehr Plattformen als jede andere
Ada-Technologie verfüg-bar ist. AdaCore hat eine große, weltweite
Kundenbasis; bitte finden Sie weitere Informationen auf der
folgenden Seite:
http://www.adacore.com/home/company/customers/
Sowohl Ada als auch GNAT PRO werden immer häufiger im High-
integrity Bereich und für sicherheitszer-tifizierte Anwendungen
eingesetzt, so vor allem in sicherheitssensiblen Bereichen wie der
Luftfahrt, militä-rischen Systemen, der Flugverkehrskontrolle, dem
Flugverkehrsmanagement, dem Eisenbahnbereich, der medizinischen
Produkte oder dem Finanzsektor.
AdaCore 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
Frank Bauderer
frank.bauderer(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-803
Datum: 20.12.2011 - 11:01 Uhr
Sprache: Deutsch
News-ID 543324
Anzahl Zeichen: 0
Kontakt-Informationen:
Kategorie:
Forschung und Entwicklung
Meldungsart: Kooperationen
Versandart: eMail-Versand
Freigabedatum: 20.12.12
Diese HerstellerNews wurde bisher 625 mal aufgerufen.
Die Meldung mit dem Titel:
"AdaCore beteiligt sich an den Forschungsprojekten OPENCOSS und pSafecer"
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).
AdaCore veröffentlicht Dokumente zur agilen Software-Zertifikation für GNATche ...
AdaCore, ein führender Anbieter von Ada-Entwicklungswerkzeugen und Supportdiensten, hat nun Qualifikationsdokumente für zwei Tools vorgestellt: für GNATcheck, ein Werkzeug zur Überprüfung von Codingstandards und Regeln zur Programmierung, ...AdaCore stellt eine neue Version des GNAT Programming Studio vor ...
Embedded Systems Conference – AdaCore, ein führender Anbieter von Ada-Entwicklungswerkzeugen und Supportdiensten, hat die neue Version 5.1 der grafischen integrierten Entwicklungsumgebung GNAT Programming Studio (GPS) angekündigt. Sie wird ...Alle Meldungen von AdaCore
Rückblick auf ein erfolgreiches Messejahr 2024
Mit 20 den Vater finden
COSCOM und die intelligente Datenplattform für die smarte CNC-Fertigung
Zertifiziertes BGM am Fraunhofer IIS: Für starke Teams und bahnbrechende Forschung
Hoher Standard: Präzisionslogistik für DESY-High-Tech-Experiment