Układy scalone w tych aplikacjach wymagają trzech typów weryfikacji bezpieczeństwa funkcjonalnego: w przypadku usterek systemowych, złośliwych usterek i przypadkowych błędów sprzętowych. Oprogramowanie Questa, dostarczane przez zależnego od Siemensa Mentora, jest wiodącą technologią weryfikacji funkcjonalnej usterek systemowych i zapewnia rozwiązania w zakresie weryfikacji błędów wywoływanych przez oprogramowanie złośliwe, związanych z zabezpieczeniami układów scalonych. Technologia programowa firmy Austemper dodaje analizę bezpieczeństwa, automatyczną korektę i technologię symulacji uszkodzeń w celu wyeliminowania przypadkowych błędów sprzętowych, rozszerzając ofertę Mentora zawartą w pakiecie produktów Tessent i na platformie Veloce, by zapewnić najbardziej kompletne rozwiązanie końcowe.
źródło: Electronics Weekly