AdaCore beteiligt sich an den Forschungsprojekten OPENCOSS und pSafecer
Paris, 1. Dezember 2011, Certification Together Conference – 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.
Das Projekt OPENCOSS arbeitet an der Erstellung eines quelloffenen Frameworks für die Zertifikation in der Eisenbahn-, Luftfahrt- und Automobilindustrie. 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 Zertifikationsinformationen befüllt wird. Das wiederverwendbare und Tool-unabhängige pSafecer-Framework nutzt diese Spezifikation, um Zertifikationsaufgaben 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 Bereichen 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: http://www.opencoss-project.eu
Informationen über das Projekt pSafecer: http://www.safecer.eu
Informationen über die Initiative Open-DO: http://www.open-do.org
Informationen über die Forschungsprojekte von AdaCore oder Beiträge zu gemeinschaftlichen Forschungsprojekten finden sich auf http://www.open-do.org/projects.
Diese Presseinformation kann auch unter www.pr-com.de abgerufen werden.
Weitere Infos zu dieser Pressemeldung:
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ügbar 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 sicherheitszertifizierte 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 http://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: 01.12.2011 - 17:45 Uhr
Sprache: Deutsch
News-ID 532176
Anzahl Zeichen: 2822
Kontakt-Informationen:
Ansprechpartner: Frank Bauderer
Stadt:
Paris
Telefon: +49-89-59997-803
Kategorie:
Computer & Technik
Meldungsart: Unternehmensinformation
Versandart: Veröffentlichung
Freigabedatum: 01.12.2011
Diese Pressemitteilung wurde bisher 634 mal aufgerufen.
Die Pressemitteilung 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).
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
Dell-Expertenforum: Ohne Transparenz keine Sicherheit im Web ...
Auf der Dell-Veranstaltung "Meet the Experts" in München diskutierten vier Experten über IT-Sicherheit im Spannungsfeld der Politik, ein Thema, das im Zusammenhang mit offenen Rechtsfragen beim Cloud Computing, aber auch staatlichen Maßnahmen zu Terrorismusbekämpfung oder Vorratsdatens
LogMeIn Ignition für iPad/iPhone jetzt kompatibel mit Dropbox und Google Docs ...
WOBURN, Mass. 22. November 2011 – LogMeIn (NASDAQ: LOGM) hat gerade ein Update für das beliebte LogMeIn Ignition Programm für das iPad/iPhone veröffentlicht, welches die besten Cloud Services und den Fernzugriff in einer einzigen App vereint. Die Einbindung von Dropbox und Google Docs ermöglic
Business Intelligence Tools im Live-Test: Click&DECiDE liegt klar vorne! ...
Die Aufgabe war schwer und nicht in kurzer Zeit zu schaffen. Sie brachte die Kombattanten an ihren Rechnern zwei volle Tage lang ins Schwitzen: Es galt, BI-Daten für Vertrieb und Controlling aus einem komplexen SAP-Datenmodell zu gewinnen, auszuwerten, im Datenwürfel darzustellen und weitere Spezi
Schweizer Postbank setzt Mobilisierungsstrategie fort – Novum mit „Scan + Pay“ ...
PostFinance ist die erfolgreiche Finanzdienstleisterin der Schweizerischen Post und Marktführer im Massenzahlungsverkehr in der Schweiz, sowohl im Privatkunden- als auch im Geschäftskundensegment. Neben dem Zahlungsverkehr hat die PostFinance ihre Finanzdienstleistungen in den Bereichen Zahlen, Fi
