Nowe narzędzia testują motoryzacyjną SI
Oprogramowanie w pojazdach musi reagować w ciągu milisekund, brak jednak narzędzi, które by to weryfikowały. Twórcy unijnego projektu MASTECS opracowali innowacyjną technologię weryfikacji oceniającą czas działania oprogramowania w złożonych procesorach i przygotowali ją do komercyjnego użytku. Dzięki temu rozwiązaniu samoloty i pojazdy mogą być bardziej przyjazne dla środowiska i bezpieczniejsze.