Requirements Toolbox
Creazione, collegamento e convalida dei requisiti per progettazioni e test
Domande? Contattaci.
Requirements Toolbox (precedentemente Simulink Requirements™) consente di creare, collegare e convalidare i requisiti in MATLAB o Simulink. È possibile creare i requisiti usando rich text con attributi personalizzati oppure importali da strumenti di gestione dei requisiti.
È possibile collegare i requisiti al codice MATLAB, a modelli di System Composer o Simulink e ai test. Il toolbox analizza la tracciabilità per individuare le lacune a livello di implementazione o test. Le evidenziazioni di progettazione e la matrice di tracciabilità indicano la presenza di collegamenti tra più artefatti e aiutano a occuparsi delle eventuali lacune. Se i requisiti subiscono modifiche, gli artefatti collegati vengono evidenziati, per cui è possibile determinare gli artefatti interessati, sia a monte sia a valle, utilizzando un diagramma di tracciabilità. Il codice generato dalle progettazione Simulink comprende dei commenti al codice che indicano le posizioni in cui sono implementati i requisiti, per aiutare nella revisione.
È possibile formalizzare i requisiti e analizzarli in termini di coerenza, completezza e correttezza servendosi della Requirements Table. La funzione Requirements Perspective consente di visualizzare e gestire i requisiti insieme al progetto. Se si usa insieme a Simulink, è possibile creare dei collegamenti ai blocchi con una semplice operazione di trascinamento.
Il supporto relativo agli standard industriali è disponibile nell’IEC Certification Kit (per ISO 26262 e IEC 61508) e nel DO Qualification Kit (per DO-178).
Connetti gli agenti di IA a Requirements Toolbox
Integra funzionalità specifiche del dominio nel tuo workflow di Agentic AI.
Creazione e organizzazione dei requisiti
Definisci i requisiti usando rich text, attributi personalizzati e parole chiave. Organizza delle gerarchie di requisiti per specificare funzionalità a livello di sistema o a livello inferiore.
Integrazione di strumenti per requisiti di terze parti
Importa e visualizza i requisiti da altre sorgenti, come IBM® DOORS®, IBM DOORS Next, Microsoft® Word o Microsoft Excel®. Usa il formato di interscambio dei requisiti (ReqIF™) per scambiare i requisiti con strumenti che supportano tale formato, come Siemens Polarion® ALM™ o Jama Connect™.
Tracciabilità dei requisiti in base a progettazioni, codice e test
Crea un thread digitale che colleghi requisiti, elementi del modello, codice MATLAB, dizionari di dati, casi di test e test harness. Esegui il tracciamento in base a strumenti per requisiti esterni. Includi i collegamenti nei report di generazione di codice di Embedded Coder.
Modellazione di requisiti formali
Specifica i requisiti formali utilizzando espressioni logiche con il blocco Requirements Table (3:53) in Simulink. Utilizza la simulazione per convalidare questi requisiti formali ed eseguire analisi di correttezza, coerenza e completezza. Vincola i requisiti formali ai modelli di progettazione per verificarne la conformità. Genera test con Simulink Design Verifier collegati ai requisiti corrispondenti.
Lavorare contemporaneamente con requisiti e progettazione
Usa Requirements Perspective per visualizzare, creare e organizzare i requisiti direttamente negli editor di Simulink, System Composer o Stateflow. Crea dei collegamenti con la funzione di trascinamento senza modificare il modello, usa dei badge per visualizzare la posizione dei collegamenti nel modello e annota diagrammi con i requisiti.
Analisi della copertura dei requisiti
Individua le lacune a livello di implementazione e test, i requisiti mancanti e gli errori di progettazione. Usa la matrice di tracciabilità per controllare i collegamenti tra ampi set di requisiti, modelli e test; poi, occupati delle lacune aggiungendo dei collegamenti.
Individuazione degli impatti delle modifiche
Scopri l’impatto che le modifiche hanno sui requisiti o sui casi di test in Simulink Test analizzando gli elementi collegati evidenziati. Crea un diagramma di tracciabilità per visualizzare ed esplorare gli oggetti collegati.
Generazione di report dei requisiti
Crea report configurabili inclusivi di collegamenti, informazioni sulle modifiche e stato di implementazione e verifica. Usa i report per progettare revisioni o documentazione.
Tracciamento dei requisiti sui test e sul codice MATLAB
Crea, gestisci ed esplora i collegamenti di tracciabilità tra singole righe nel tuo codice MATLAB, i dati dei requisiti nei documenti esterni e casi di test in MATLAB Test. Evidenzia la tracciabilità nell’editor di MATLAB per individuare le lacune in termini di implementazione o test.
Risorse di prodotto:
“Nei progetti precedenti, l’analisi della copertura dei requisiti veniva eseguita manualmente e sulla base di una valutazione soggettiva. Simulink, Simulink Coverage e Requirements Toolbox ci hanno consentito di automatizzare questa analisi fornendoci metriche di copertura oggettive, il che ci ha aiutato ad accorciare del 30% i tempi di revisione dei requisiti ai fini della certificazione.”
FAQ su Requirements Toolbox
Requirements Toolbox permette di redigere, collegare e convalidare i requisiti all'interno di MATLAB o Simulink. È possibile creare requisiti usando testo formattato con attributi personalizzati oppure importarli da strumenti di gestione dei requisiti.
Requirements Toolbox è pensato per ingegneri e team che sviluppano sistemi, algoritmi e software embedded in MATLAB e Simulink e che devono gestire i requisiti come parte del workflow di progettazione e verifica. È ideale per team che adottano la progettazione basata su modelli e che necessitano di tracciabilità tra requisiti, modelli, codice e test, e per organizzazioni che collaborano con strumenti esterni di gestione dei requisiti come DOORS, Jama o Polarion mantenendo il lavoro di ingegneria in MATLAB e Simulink.
Usa la Requirements Perspective per visualizzare e gestire i requisiti direttamente in Simulink, creando collegamenti tramite trascinamento senza modificare il modello. I badge indicano dove sono presenti collegamenti nel modello e puoi annotare i diagrammi con i requisiti.
Sì, è possibile importare e visualizzare requisiti da IBM Rational DOORS, IBM Rational DOORS Next, Microsoft Word, Microsoft Excel, oppure utilizzare il Requirements Interchange Format (ReqIF) per scambiare requisiti con strumenti come Siemens Polarion ALM o Jama Connect. È inoltre possibile usare il Polarion Connector for Simulink, sviluppato e mantenuto da Siemens.
Requirements Toolbox si inserisce nei flussi di lavoro regolamentati fornendo supporto per la tracciabilità dei requisiti, l'analisi d'impatto e le evidenze di verifica comunemente richieste dagli standard di sicurezza come DO-178C, ISO 26262 e standard correlati. Consente ai team di collegare i requisiti ai modelli di progettazione, al codice MATLAB e ai test, di analizzare la copertura dei requisiti e di valutare l'impatto delle modifiche lungo l'intero ciclo di sviluppo. Il toolbox supporta inoltre la redazione strutturata dei requisiti, lo scambio con strumenti ALM esterni e la generazione di report di tracciabilità e di stato utilizzati nelle revisioni e negli audit.
Il blocco Requirements Table consente di specificare requisiti formali usando espressioni logiche in Simulink. È possibile convalidare formalmente questi requisiti e svolgere analisi di correttezza, coerenza e completezza. Un Requirements Table può essere utilizzato all'interno di un test harness per definire i criteri di superamento/fallimento per i test.
Il toolbox crea un filo digitale di tracciabilità che collega requisiti, elementi del modello, codice MATLAB, dizionari di dati, casi di test e test harness. La matrice di tracciabilità e il diagramma di tracciabilità aiutano a individuare lacune nell'implementazione o nei test e a visualizzare gli elementi collegati.
Usa la matrice di tracciabilità per rivedere i collegamenti tra requisiti, modelli e test, identificando le lacune nell'implementazione e nei test, i requisiti mancanti e gli errori di progettazione. Le metriche di copertura mostrano in che misura ciascun requisito è stato implementato e verificato.
I modelli collegati, il codice MATLAB e i casi di test vengono evidenziati quando i requisiti a monte cambiano, rendendo visibili le potenziali incoerenze. Puoi usare i diagrammi di tracciabilità per visualizzare gli elementi interessati e comprendere gli impatti a monte e a valle prima di apportare aggiornamenti.
Sì, è possibile creare, gestire e navigare tra collegamenti di tracciabilità tra singole righe del codice MATLAB, informazioni sui requisiti in documenti esterni e casi di test in MATLAB Test.
Sì, è possibile creare report configurabili che includono collegamenti, informazioni sulle modifiche e lo stato di implementazione e verifica per revisioni di progetto o documentazione. Il codice generato dai progetti Simulink include commenti che documentano dove sono implementati i requisiti.
Prova Requirements Toolbox gratis
Scopri i nostri prodotti.
Pronto per acquistare?
Richiedi una quotazione e scopri i prodotti correlati.
Sei uno studente?
È possibile che la tua scuola già fornisca accesso a MATLAB, Simulink e ad altri prodotti complementari mediante una Campus-Wide License.
