LAUTERBACH Z PEŁNYM WSPARCIEM KOMPILATORA AdaCore GNAT Pro Ada

Aktualności

Lauterbach wspiera platformę AdaCore Ada Development Platform dla aplikacji bezpieczeństwa krytycznego

 

Grafika: Lauterbach GmbH

 

Lauterbach TRACE32® to pierwsze w branży narzędzie deweloperskie, które w pełni wspiera kompilator AdaCore GNAT Pro Ada – zaprojektowany z myślą o zastosowaniach bezpieczeństwa krytycznego w sektorach lotniczym, motoryzacyjnym i obronnym. Dzięki temu możliwe jest debugowanie skompilowanych programów w języku Ada na poziomie kodu źródłowego, nawet w aplikacjach wielowątkowych, a także wykonywanie pomiarów pokrycia kodu (Code Coverage) wymaganych przy procesach certyfikacyjnych.

Język Ada – fundament niezawodnego oprogramowania

Ada to strukturalny, statycznie typowany, imperatywny i obiektowy język programowania wysokiego poziomu. Wyróżnia się wbudowanym wsparciem dla metodologii Design by Contract (DbC), wyjątkowo silnym systemem typów, jawną obsługą współbieżności, zadaniami (tasks), synchroniczną wymianą komunikatów oraz obiektami chronionymi (protected objects).

Kompilator AdaCore skutecznie ogranicza błędy, wykrywając problemy związane z typami danych (np. niewłaściwe użycie wskaźników) oraz błędy wykonawcze (np. przepełnienie bufora), co przekłada się na zwiększone bezpieczeństwo i łatwiejsze utrzymanie kodu.

TRACE32® – kompleksowe wsparcie dla Ada i C/C++

TRACE32® od Lauterbach to pierwsze rozwiązanie, które oferuje zarówno programowe, jak i sprzętowe debugowanie oraz śledzenie w czasie rzeczywistym kodu Ada – a także projektów łączących Ada z C/C++. Dzięki funkcji task awareness narzędzie zapewnia pełne wsparcie dla aplikacji wielowątkowych.

Analiza śladu (trace analysis), w tym pomiary pokrycia kodu wymagane przez normy bezpieczeństwa takie jak DO-178C, ISO 26262 i inne, wspiera szybsze, bezpieczniejsze i bardziej niezawodne wprowadzanie systemów wbudowanych na rynek.

Opinie specjalistów

„Ada to język programowania, który oferuje bezpieczeństwo, wysoką wydajność i łatwość użycia. Dzięki wsparciu naszych wiodących na rynku narzędzi debugujących i śledzących TRACE32® dla kompilatora AdaCore, programiści systemów wbudowanych w języku Ada otrzymują dostęp do zaawansowanych technologicznie rozwiązań, które znacząco przyspieszają procesy tworzenia i integracji projektów.” – Alexandre Schaefer, Dyrektor Sprzedaży w Lauterbach GmbH.

„Z wielką satysfakcją oferujemy – wspólnie z naszym długoletnim partnerem Lauterbachem – wiodące rozwiązanie do tworzenia, debugowania, śledzenia i wdrażania bezpiecznych aplikacji wbudowanych napisanych w językach Ada i C/C++.” – dr José Ruiz, menedżer produktu GNAT Pro Embedded w AdaCore

Połączenie platformy AdaCore GNAT Pro Ada Development Platform z narzędziami TRACE32® od Lauterbach umożliwia programistom urządzeń wbudowanych jeszcze szybszy i łatwiejszy rozwój aplikacji w języku Ada.