L’aumento della complessità del codice embedded e la crescente pressione competitiva creano una “tempesta perfetta” per gli sviluppatori di software safety-critical, ad esempio, nel settore automotive. Ma l’adozione di tool avanzati, e la riorganizzazione dei team di progettazione, possono semplificare e accelerare i processi di collaudo e verifica