Nella fase di definizione, STIMULUS consente agli architetti di sistema di simulare i requisiti e rilevare requisiti ambigui, errati, mancanti o in conflitto prima dell'inizio del progetto, definendo così le specifiche di alta qualità necessarie per la convalida di sistemi embedded cruciali per la sicurezza.
I team di sviluppo possono dedicare meno tempo a ridefinire i requisiti e a riscrivere e ripetere il debug del codice, riducendo le iterazioni di sviluppo necessarie per ottenere risultati di alta qualità.
Nella fase di convalida, STIMULUS consente inoltre ai tecnici collaudatori di generare automaticamente vettori di test e obiettivi di test e verificare che il codice incorporato sia conforme alle specifiche.
I team addetti ai collaudi non devono più scrivere né gestire casi di test derivati manualmente dai requisiti ma possono invece riutilizzare il lavoro svolto dagli architetti di sistema per creare campagne di test altamente flessibili che consentono di adottare metodi agili ed efficaci.
Questo video spiega in che modo STIMULUS migliora nettamente l'ingegneria dei sistemi basata su modelli con la simulazione Requirements-in-the-Loop, dalla convalida preliminare dei requisiti funzionali durante la fase di specifica alla generazione automatica di vettori di test e osservatori di test per automatizzare i collaudi funzionali del sistema.
