LAUTERBACH I MATHWORKS USPRAWNIAJĄ TESTOWANIE SYSTEMÓW CRITICAL SAFETY

Firmy Lauterbach i MathWorks wynoszą testowanie systemów o znaczeniu krytycznym dla bezpieczeństwa na nowy poziom

 

 

Pełna integracja narzędzi TRACE32® i Polyspace® przyspiesza weryfikację oprogramowania – od środowisk wirtualnych aż po rzeczywisty sprzęt.

Lauterbach, światowy lider w dziedzinie narzędzi do debugowania systemów wbudowanych, oraz MathWorks ogłaszają pełną integrację produktów Polyspace® do testowania i weryfikacji kodu z rodziną narzędzi TRACE32®. Dzięki temu inżynierowie mogą płynnie przenosić testy realizowane na emulatorach i symulatorach bezpośrednio na rzeczywiste układy scalone, znacząco ograniczając czas, koszty i nakład pracy związany z procesem weryfikacji.

Kompleksowa kontrola jakości kodu

Produkty MathWorks Polyspace wspierają organizacje w podnoszeniu jakości oprogramowania, łącząc w jednym środowisku analizę statyczną, formalną weryfikację kodu, testowanie oraz pomiar pokrycia kodu.

Polyspace analizuje aplikacje napisane w językach C, C++ oraz Ada, wykrywając błędy, podatności bezpieczeństwa oraz naruszenia obowiązujących standardów programowania. Rozwiązanie umożliwia również formalne potwierdzenie braku wybranych błędów wykonania w kluczowych komponentach oprogramowania wykorzystywanego w systemach o znaczeniu krytycznym.

Dodatkowo Polyspace wspiera procesy certyfikacyjne poprzez kontrolę zgodności z wymaganiami standardów takich jak MISRA™, AUTOSAR czy CERT® C/C++, oferując jednocześnie narzędzia do tworzenia, wykonywania i zarządzania testami oraz analizy pokrycia kodu zarówno w środowisku hosta, jak i na docelowych platformach embedded.

TRACE32® – sprawdzone narzędzia dla najbardziej wymagających projektów

Rodzina narzędzi TRACE32® firmy Lauterbach zapewnia obsługę ponad 15 000 układów scalonych oraz ponad 150 architektur procesorowych, umożliwiając debugowanie, analizę działania i profilowanie złożonych systemów opartych na wielu różnych rdzeniach procesorowych.

Rozwiązanie wspiera również środowiska zwirtualizowane, oferując pełną kontrolę nad całym stosem programowym – od hiperwizorów i systemów operacyjnych po aplikacje użytkownika. Synchronizacja punktów przerwania oraz sterowania wykonywaniem programu pozwala inżynierom analizować pracę całego systemu jako jednej spójnej całości.

Jeden spójny proces – od środowiska wirtualnego do rzeczywistego układu

Integracja obu technologii pozwala wykonywać i analizować testy w identyczny sposób niezależnie od tego, czy pracują one na platformach wirtualnych, emulatorach, symulatorach czy na finalnym sprzęcie.

Inżynierowie korzystają z jednego środowiska pracy, tej samej funkcjonalności oraz jednolitego interfejsu użytkownika na każdym etapie procesu rozwoju oprogramowania. Takie podejście umożliwia rozpoczęcie weryfikacji znacznie wcześniej, płynne przechodzenie pomiędzy kolejnymi etapami projektu oraz zwiększa pewność, że wyniki uzyskane w środowiskach wirtualnych zostaną wiernie odtworzone na rzeczywistych układach.

Efektem jest krótszy czas rozwoju produktu, sprawniejsza realizacja procesu weryfikacji oraz niższe koszty całego projektu.

Opinie ekspertów

„Integrując TRACE32® z Polyspace stworzyliśmy jednolite rozwiązanie do testowania i walidacji systemów embedded o znaczeniu krytycznym, które dostarcza inżynierom ogromną wartość. Wszystkie działania można wykonywać bezpośrednio z poziomu środowiska Polyspace – zarówno podczas pracy wyłącznie z emulatorami i symulatorami, jak i z wykorzystaniem rozwiązań TRACE32® obsługujących praktycznie wszystkie dostępne na rynku układy scalone.” – Holger Lohn, Product Manager, Lauterbach GmbH

„Naszym celem jest umożliwienie inżynierom wcześniejszej, bardziej kompleksowej i bardziej wiarygodnej weryfikacji oprogramowania. Połączenie możliwości testowania i weryfikacji Polyspace z technologią TRACE32 firmy Lauterbach zapewnia spójny proces pracy – od środowisk wirtualnych aż po rzeczywisty sprzęt. Dzięki temu zespoły projektowe mogą usprawnić proces weryfikacji, zachowując jednocześnie rygor wymagany w aplikacjach o znaczeniu krytycznym.” – Abraham Jay, Group Manager, Technical Marketing & Product Management, MathWorks

Dostępność rozwiązania

Pełna integracja TRACE32® z MathWorks Polyspace jest dostępna od wersji Polyspace 2026a.

TUTAJ znajdziesz więcej informacji o rozwiązaniach TRACE32® firmy Lauterbach.

TUTAJ poznasz dodatkowe informacje na temat Polyspace firmy MathWorks.