AdaCore
RecordFlux ist ein Toolset zur Erstellung hochsicherer Implementierungen von binären Datenformaten und Kommunikationsprotokollen. Die Technologie umfasst eine domänenspezifische Sprache, ein umfassendes Toolset und maßgeschneiderte Unterstützung durch Experten. Die Verwendung von SPARK Pro ermöglicht es Entwicklern, den aus RecordFlux-Spezifikationen generierten SPARK-Code automatisch daraufhin zu überprüfen, ob er frei von Laufzeitfehlern ist und der ursprünglichen Spezifikation entspricht.
Der von RecordFlux erzeugte Code ist auch mit GNAT Pro Assurance kompatibel, der Komplettlösung von AdaCore für Projekte mit den strengsten Anforderungen an Zuverlässigkeit, langfristige Wartbarkeit oder Zertifizierung. Die von GNAT Pro Assurance bereitgestellten Compiler-Hardening-Optionen können genutzt werden, um das Risiko von Angriffen auf netzwerkorientierten, protokollverarbeitenden Code weiter zu reduzieren.
Weitere Informationen über die RecordFlux-Technologie gibt es auf www.adacore.com/recordflux.
Über AdaCore
AdaCore wurde 1994 gegründet und bietet Tools für Software-Entwicklung und Verifikation für kritische und sicherheitskritische Systeme. 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
