AdaCore wurde 1994 gegründet und bietet Tools für Software-Entwicklung und Verifikation für kritische und sicherheitskritische Systeme. Vier Flaggschiff-Produkte verdeutlichen das Angebotsspektrum des Unternehmens:

• Die Entwicklungsumgebung GNAT Pro: ein komplettes Toolset für Design, Implementierung und Verwaltung von Anwendungen, die eine hohe Zuverlässigkeit und Wartbarkeit erfordern;

• Das erweiterte statische Analysetool CodePeer: ein automatischer Ada-Code Reviewer und Validator, der Fehler sowohl während der Entwicklung als auch nachträglich bei vorhandener Software erkennen und beseitigen kann;

• Die Verifikationsumgebung SPARK Pro: ein Toolset, das auf formalen Methoden basiert und hochsichere Systeme adressiert;

• Die modellbasierte Entwicklungsumgebung QGen für sicherheitskritische Steuerungssysteme: sie bietet einen qualifizier- und anpassbaren Codegenerator und statischen Verifier für Simulink und Stateflow-Modelle sowie einen Debugger auf Modellebene.

Zahlreiche Anwender haben die AdaCore-Produkte im Einsatz und unterhalten damit eine Vielzahl von kritischen Anwendungen in Bereichen wie kommerzielle Luftfahrt, Automotive, Eisenbahnen, Raumfahrt, militärische Systeme, Flugverkehrsmanagement, Medizintechnik und Finanzdienstleistungen. AdaCore verfügt über eine umfangreiche und wachsende weltweite Kundenbasis; nähere Informationen dazu unter https://www.adacore.com/industries

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


Über Lynx Software Technologies

Lynx Software Technologies bietet fortschrittliche, hochsichere und geschützte Systementwicklungsplattformen, die innovativen Unternehmen die Entwicklung von Systemen ermöglichen, die zu den sichersten und geschütztesten der Welt gehören. Lynx setzt sich für ein Höchstmaß an Safety und Security ein. LynxOS-178 ist ein industrieerprobtes DO-178C DAL A RTOS, das die Interoperabilitätsvorteile von POSIX, ARINC-653 und FACE bietet. Das Zeit- und Raum-partitionierte RTOS LynxOS-178 ist das erste und einzige von der US-Behörde FAA als „Reusable Software Component“ (RSC) zertifizierte Echtzeitbetriebssystem, das die Zertifizierungskosten für Kunden drastisch reduziert. LynxOS-178 kann auch als Gast auf LynxSecure eingesetzt werden, das als Teil des Sicherheitspakets vorintegriert ist und einen sicheren Separation Kernel und eine Virtualisierungslösung für die Entwicklung von hochsicheren und geschützten Mehrkernsystemen bietet. Lynx-Kunden setzen seit vielen Jahren auf GNAT-Pro-basierte Lösungen in der Luft- und Raumfahrt und im Verteidigungsbereich ein.


Über LynxSecure

LynxSecure ist eine echte, hochsichere Separation-Kernel-Virtualisierungstechnologie, die auf einem einzigartigen, robusten Design basiert. LynxSecure bietet eine Alternative zu traditionellen, zentralisierten, ressourcen- und serviceorientierten Designs, wie sie in den meisten Betriebssystemen und Hypervisoren zu finden sind – eine Alternative, in der jede Gast-Computerumgebung autark ist. Die Autonomie jeder Gast-Umgebung macht es unmöglich, dass der Kernel globale Dienste bereitstellt. Es liegt in der Natur des einzigartigen verteilten autonomen Design-Ansatzes, dass LynxSecure immun gegen Intel-Prozessor-Schwachstellen war, die andere Systeme für die Meltdown-Bedrohung öffneten, bei denen Angreifer/VMs in der Lage waren, als Ergebnis eines zentralen, serviceorientierten Kerneldesigns Zugang zu Kernel und Guest Private Memory zu erlangen, der den Zugriff auf den Guest Memory erfordert.

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