Ingegneria dei sistemi basata su requisiti

Rileva requisiti errati, mancanti e in conflitto prima di iniziare la progettazione

Specifiche del sistema eseguibili dal modello

STIMULUS fornisce un linguaggio di modellazione che consente agli architetti di sistema di combinare requisiti testuali formalizzati, macchine a stati e diagrammi a blocchi in un ambiente di simulazione completamente integrato. I requisiti testuali possono essere assegnati a ogni livello dell'architettura funzionale del sistema, mentre le macchine a stati vengono generalmente utilizzate per descrivere le modalità di esecuzione o le sequenze operative di sistemi atomici.

Requisiti testuali

STIMULUS fornisce librerie di modelli linguistici che supportano le prassi comuni del settore per la scrittura di requisiti di sistema standardizzati e non ambigui.

Macchine a stati

STIMULUS fornisce macchine a stati gerarchiche che possono essere facilmente combinate con requisiti testuali per specificare il comportamento previsto di un sistema per ciascuna modalità di esecuzione.

Diagrammi a blocchi

STIMULUS fornisce diagrammi a blocchi che consentono di descrivere architetture funzionali o di sistema. A ogni livello del sistema, i requisiti possono essere perfezionati e assegnati a sottosistemi.

Debug e test delle specifiche del sistema

Con STIMULUS, è possibile simulare le specifiche dell'intero sistema (requisiti, macchine a stati e diagrammi a blocchi) e individuare errori nelle specifiche prima di iniziare la progettazione, per un processo di definizione dei requisiti e sviluppo basato su test altamente efficace. STIMULUS genera numerose tracce di esecuzione che soddisfano le specifiche di sistema e fornisce potenti funzioni di debug per analizzare i risultati della simulazione dei requisiti: rilevamento e diagnosi automatici di requisiti in conflitto e mancanti, copertura dei requisiti, evidenziazione dei requisiti attivi, monitoraggio dei segnali, ecc.

Requisiti in conflitto

Al momento della simulazione, il solutore di STIMULUS rileva i requisiti in conflitto. Quando in una determinata istanza temporale si verifica un conflitto, il simulatore si arresta per evidenziare l'insieme di requisiti contrastanti.

Requisiti mancanti

Al momento della simulazione, STIMULUS rileva i requisiti mancanti o, più precisamente, istanze temporali in cui alcuni output del sistema non sono definiti da nessun requisito, rappresentandole con linee tratteggiate nella finestra della simulazione.

Copertura dei requisiti

Quando i requisiti si trasformano in osservatori, STIMULUS ne misura la copertura funzionale. Un requisito viene considerato coperto se è stato attivato almeno una volta dall'avvio della simulazione.

STIMULUS in azione: simulazione dei requisiti

La figura riportata di seguito mostra una schermata di STIMULUS in cui la simulazione dei requisiti causa un conflitto. Una volta rilevato da STIMULUS, il conflitto può essere analizzato dall'utente utilizzando le funzioni di debug (simulazione retroattiva, evidenziazione dei requisiti, monitoraggio dei segnali, ecc.).