Lauterbach unterstützt Ada-Entwicklungsplattform AdaCore für sicherheitskritische Anwendungen
Ada ist eine strukturierte, statisch typisierte, imperative und objektorientierte High-Level-Programmiersprache. Sie verfügt über integrierte Sprachunterstützung für Design by Contract (DbC), extrem starke Typisierung, explizite Gleichzeitigkeit, Tasks, synchrone Nachrichtenübergabe und geschützte Objekte. Ada verbessert die Codesicherheit und die Wartbarkeit, indem der AdaCore-Compiler Fehler zugunsten von Datentypfehlern (z. B. Zeigermissbrauch) und Laufzeitfehlern (z. B. Pufferüberläufe) findet.
Als branchenweit erstes Entwicklungswerkzeug ermöglicht TRACE32® von Lauterbach softwarebasiertes und hardwarebeschleunigtes Debugging sowie Echtzeit-Tracing von Ada-Code sowie von gemischtem Ada- und C/C++-Code. Dank seiner Task-Awareness-Funktion unterstützt es Multithreading-Anwendungen. Trace-Analysen, einschließlich Code-Abdeckungsmessungen für Sicherheitszertifizierungen gemäß DO-178C, ISO 26262 und anderen Standards, können dazu beitragen, Embedded-Designs schneller, sicherer und zuverlässiger als je zuvor auf den Markt zu bringen.
\“Ada ist eine Programmiersprache, die Sicherheit, hohe Leistung und Benutzerfreundlichkeit bietet\“, sagt Alexandre Schaefer, Director Sales bei der Lauterbach GmbH.\“Mit der Unterstützung unserer marktführenden TRACE32® Debug- und Trace-Tools für den AdaCore Compiler haben Embedded Ada-Entwickler nun Zugang zu weltweit führenden Debug- und Trace-Tools, die die Entwicklungs- und Integrationszeiten für alle Arten von Projekten erheblich beschleunigen können.\“
Dr. José Ruiz, GNAT Pro Embedded Product Manager bei AdaCore, sagt: „Wir freuen uns sehr, zusammen mit TRACE32® unseres langjährigen Partners Lauterbach eine führende Lösung für die Entwicklung, das Debugging, Tracing und Deployment von sicheren, in Ada und C/C++ geschriebenen Embedded-Anwendungen anbieten zu können.“
Zusammen mit der AdaCore GNAT Pro Ada Development Platform ermöglicht Lauterbachs TRACE32® den Entwicklern von Embedded-Geräten, Ada-Anwendungen noch schneller und einfacher zu entwickeln. Bitte kontaktieren Siesupport@lauterbach.comfür weitere Informationen.
Auf der High Integrity Software Conference (HISC) 2025 können Sie Lauterbachs Ada-Unterstützung live am Stand von AdaCore erleben. Weitere Informationen zur HISC finden Sie hier:https://www.his-conference.co.uk/
Über AdaCore:
AdaCore befähigt Entwickler, zuverlässige und sichere Software zu erstellen. Seit über 30 Jahren unterstützen und liefern wir Open-Source-Toolchains für sicherheitskritische Sprachen wie Ada/SPARK, C/C++ und Rust. Wir entwickeln unsere Toolchains so, dass sie die strengsten Standards erfüllen, damit Sie sich auf Ihren Code konzentrieren und Ihre Zertifizierungsziele erreichen können. AdaCore unterstützt Branchen mit hoher Integrität, indem wir Compiler-Toolchain- und Analyse-Tool-Qualifizierung sowie Zertifizierungsnachweise für die Einhaltung von Industriestandards anbieten. Mit seiner Verpflichtung zu langfristigem Support gewährleistet AdaCore die Kontinuität und Zuverlässigkeit seiner Toolchains über Jahrzehnte hinweg.
Pressekontakt:
Andrea Bristol
bristol@adacore.com
Lauterbach ist der führende Hersteller von modernsten Entwicklungswerkzeugen für Embedded Systeme mit mehr als 45 Jahren Erfahrung. Als international etabliertes Unternehmen beliefert Lauterbach Kunden in aller Welt, arbeitet mit allen Halbleiterherstellern zusammen und wächst stetig. Am Hauptsitz in Höhenkirchen bei München entwickelt und produziert das Ingenieursteam unter der Marke TRACE32® leistungsfähige und spezialisierte, einfach zu bedienende Entwicklungswerkzeuge. Tochtergesellschaften in Großbritannien, Italien, Frankreich, Tunesien, an der Ost- und Westküste der USA, in Japanund China sowie hochqualifizierte Vertriebs- und Support-Ingenieure in vielen weiteren Ländern machen die gesamteProduktpalette von Lauterbach weltweit verfügbar.
Categories: Allgemein
No Responses Yet
You must be logged in to post a comment.