Simulink Requirements

Creare, gestire e tracciare requisiti in base a modelli, codice generato e test case

 

Simulink Requirements™ consente di creare, analizzare e gestire requisiti in Simulink®. È possibile creare requisiti di tipo rich text con attributi personalizzati e collegarli a progettazioni, codici e test. I requisiti possono essere importati da fonti esterne ed è possibile ricevere una notifica automatica quando questi subiscono delle modifiche. È possibile visualizzare i requisiti e il progetto contemporaneamente, stabilire collegamenti con le operazioni di trascinamento, annotare diagrammi con il contenuto dei requisiti e analizzarne la tracciabilità e navigare tra requisiti, progettazioni, codice generato e test.

Simulink Requirements indica quando si verificano delle modifiche a livello dei requisiti collegati, delle progettazioni o dei test. Lo strumento è in grado di calcolare lo stato di implementazione e verifica dei requisiti, consentendo di valutare la completezza del proprio progetto. Il supporto relativo agli standard del settore è disponibile nell’IEC Certification Kit (per ISO 26262 e IEC 61508) e nel DO Qualification Kit (per DO-178).

Per iniziare:

Creazione e organizzazione dei requisiti in Simulink

Crea requisiti in Simulink utilizzando rich text e organizza serie di requisiti.

Acquisizione di requisiti in Simulink

È possibile descrivere i requisiti e le relative motivazioni con rich text tra cui immagini ed elenchi puntati e numerati. Gli ulteriori attributi come gli ID, le parole chiave, le informazioni sulle revisioni e i commenti consentono di affinare e rendere più dettagliati i propri requisiti. Gli attributi personalizzati consentono di estendere i requisiti con i propri tipi di dati caratterizzati da requisiti unici.

Requirements Editor per la creazione, la modifica e l’organizzazione dei requisiti.

Gestione di tutti i requisiti tra più modelli

Il Requirements Editor consente di visualizzare, creare e gestire tutti i requisiti tra più modelli. Comprende:

  • Browser dei requisiti per organizzare gerarchie di requisiti
  • Visualizzazione dei collegamenti per la relativa gestione all’interno del progetto
  • Property Inspector per visualizzare e modificare i dettagli di requisiti e collegamenti
  • Personalizzazioni per la configurazione della visualizzazione e l’ordinamento delle colonne
  • Strumento di ricerca per filtrare ampie serie di requisiti
  • Generazione di report per documentare i requisiti

Lavorare contemporaneamente con requisiti e modelli

Crea, visualizza, organizza e gestisci i requisiti svolgendo al contempo attività di progettazione.  Traccia i requisiti in base alla progettazione utilizzando il trascinamento e individua le lacune a livello di implementazione all’interno dell’ambiente di modellazione. 

Visualizzazione integrata di requisiti, architettura e progettazione

La funzione Requirements Perspective fornisce una visualizzazione integrata all’interno di SimulinkSystem Composer Stateflow® , nella quale è possibile visualizzare, creare e organizzare requisiti mentre si eseguono attività di progettazione.

Requirements Perspective, per la gestione dei requisiti all’interno dell’ambiente di sviluppo Simulink.

Supporto per l’ingegneria dei sistemi Model-Based

Associa elementi di modelli di architettura in System Composer con i requisiti, valuta la completezza dell’architettura e deriva ulteriori requisiti.

Creazione della tracciabilità con operazioni di trascinamento

È possibile creare collegamenti tra i requisiti e il proprio progetto trascinando un requisito dal browser dei requisiti e rilasciandolo negli oggetti di modelli Stateflow o Simulink. Sull’oggetto del modello appare un badge che indica la presenza di un collegamento e consente di navigare verso il requisito collegato. È possibile scegliere di visualizzare il requisito e il relativo connettore sul diagramma del modello dal badge.

Importazione e sincronizzazione di requisiti esterni

I requisiti provenienti da altre fonti, come IBM Rational DOORS, Microsoft Word o Microsoft Excel, possono essere importati come riferimenti di sola lettura o per un’ulteriore modifica in Simulink. È possibile utilizzare il formato di interscambio dei requisiti (ReqIF) per importare e lavorare con i requisiti da strumenti di terzi parti che supportino tale formato. Durante l’importazione, è possibile controllare la mappatura dei campi dal documento esterno in Simulink Requirements. È possibile scegliere di importare dei campi mappati su attributi personalizzati in modo che vi sia una corrispondenza con il contenuto nel documento esterno. Grazie a un’operazione di sincronizzazione si è in grado di mantenere la consistenza con i requisiti referenziati. Se un requisito subisce una modifica, appare una notifica che consente di valutarne l’impatto.

Identificazione e risposta alle modifiche

Ogni volta che un requisito subisce una modifica, è importante comunicarlo al team per evitare errori a valle. Tutti i requisiti e i collegamenti conservano la cronologia delle revisioni dalla quale reperire il momento in cui sono avvenute le modifiche. Simulink Requirements rileva le modifiche dei requisiti collegati ai modelli, compresi quelli importati da fonti esterne, consentendo quindi di valutare l’impatto della modifica sui propri progetti e di agire di conseguenza. È possibile eseguire un’operazione di differenziazione su una serie di requisiti per visualizzare le modifiche dei requisiti.

Rilevamento delle modifiche che genera un avviso ogni volta che i requisiti importati da documenti esterni vengono modificati. 

Tracciabilità dei requisiti in base a progettazione, codice e test

Si garantisce la tracciabilità dei requisiti con altri strumenti nel ciclo di vita di sviluppo, tra cui gli strumenti di test e di generazione del codice per la navigazione bidirezionale da requisiti, progettazione, implementazione e test. È possibile collegare requisiti e test case, suite di test e sequenze di test in Simulink Test™, oltre che accedere a collegamenti dal modello Simulink o dal Test Manager. Il codice generato da Embedded Coder®, HDL Coder™ o Simulink PLC Coder™ è in grado di contenere un collegamento ipertestuale dal report della generazione di codice ai requisiti. Questi collegamenti vengono presentati come etichette di commenti nel codice. I collegamenti ipertestuali nel report della generazione di codice consentono la navigazione diretta dal codice ai requisiti.

È possibile collegare e tracciare elementi dei modelli Simulink sui requisiti in IBM® Rational® DOORS® o IBM® Rational® DOORS® Next Generation.

Con il DO Qualification Kit (for DO-178) e l’ IEC Certification Kit (per ISO 26262 e IEC 61508), è possibile generare un foglio di lavoro per la matrice di tracciabilità che illustra i percorsi di tracciabilità bidirezionali requisiti-modello-codice e le informazioni sui file.

Tracciabilità tra requisiti, oggetti Stateflow e Simulink e artefatti di test lungo il ciclo di vita di sviluppo per la documentazione e l’analisi dell’impatto.

Tracciamento dello stato delle attività di progettazione Model-Based

Visualizzazione dello stato di implementazione e verifica

Simulink Requirements consente di visualizzare lo stato di implementazione e di verifica dei requisiti in Simulink per individuare eventuali lacune nell’implementazione, requisiti mancanti o errori nella progettazione. Le metriche di implementazione e verifica quantificano la proporzione di requisiti implementati nella progettazione e associati a dei test case, oltre a quantificare la proporzione di test case superati.

Queste metriche di verifica e tracciabilità servono a quantificare la completezza delle proprie attività di sviluppo nella progettazione Model-Based. Le metriche relative allo stato vengono visualizzate come una colonna nel browser dei requisiti con colori indicanti lo stato. Un requisito con requisiti figli non è completamente implementato o verificato finché tutti gli altrettanti relativi requisiti figli, a loro volta, non vengano implementati o verificati. Passando con il cursore sullo stato è possibile visualizzare le metriche cumulative per i requisiti e i relativi requisiti figli. Se ci sono collegamenti mancanti nello stato, vengono indicati i punti in cui è necessario completare l’implementazione o la verifica.

È possibile collegare delle giustificazioni a requisiti non implementati o verificati nel modello. Ad esempio, un requisito non funzionale può essere collegato ad una giustificazione affinché venga filtrato dallo stato. È possibile condividere e riutilizzare un set di giustificazioni più diffuso all’interno del modello.

Visualizzazione dello stato di implementazione e di verifica per ottenere informazioni sullo stato del progetto. 

Generazione di report dei requisiti

Per le revisioni e la documentazione, è possibile creare un report configurabile inclusivo di collegamenti, informazioni sulle modifiche e stato di implementazione e verifica. Con Simulink Report Generator è possibile creare report personalizzati.

Funzionalità recenti

Matrice di tracciabilità

Revisione e analisi dei collegamenti tra requisiti, progettazione o test in un formato matrice

Risultati di verifiche esterne

Inclusione di risultati provenienti da fonti esterne in stato di verifica

Integrazione di IBM Rational DOORS Next Generation

Visualizzazione e sincronizzazione dei requisiti da DOORS Next Generation

Integrazione di System Composer

Supporto per il collegamento con porte

Selezione di più requisiti e collegamenti

Creazione di collegamenti ed eliminazione in batch utilizzando la selezione multipla dell’editor

Miglioramenti all’interfaccia programmatica

Uso di nuovi metodi per creare, trovare ed esplorare collegamenti

Consulta le note di rilascio per ulteriori informazioni su queste caratteristiche e sulle funzioni corrispondenti.