Modellazione funzionale in sistemi incorporati Sviluppo: Strategie e strumenti

I sistemi di guida incorporati sono i muti cavalletti della tecnologia moderna. Dal sistema di frenata antiblocco nella vostra auto alla pompa dell'insulina che gestisce il glucosio del sangue di un paziente diabetico, questi dispositivi di calcolo specializzati svolgono funzioni dedicate all'interno di sistemi più grandi.

Che cosa è la modellazione funzionale?

La modellazione funzionale è la pratica di descrivere cosa] che un sistema fa senza prescrivere [how] esso lo fa. Si concentra sulla cattura dei comportamenti previsti del sistema, flussi di dati, transizioni di stato e interazioni con entità esterne.

Nei sistemi incorporati, i modelli funzionali tipicamente assumono una delle forme più diverse:

  • Utilizzare i diagrammi dei casi[[] – Illustrare le interazioni tra attori (utenti, altri sistemi) e il sistema, mostrando funzionalità di alto livello.
  • diagrammi di attività[[] – Modelli il flusso di azioni, decisioni e parallelismo – utili per comprendere la logica di controllo e i processi sequenziali.
  • Sistema diagrammi[[] – Definire gli stati di sistema, le transizioni e gli eventi – ideali per sistemi reattivi come un termostato o un protocollo di comunicazione.
  • Data diagrammi di flusso[[] – Mappa come i dati si muovono tra i componenti di elaborazione – utile per l'elaborazione del segnale o la fusione del sensore.
  • Sblocca la definizione e i diagrammi di blocco interni[ (SysML) – Mostra la struttura del sistema e le interconnessioni a livello concettuale.

La modellazione fisica cattura aspetti non funzionali come tempi, consumi di energia, uso della memoria e interfacce hardware. Mentre entrambi sono preziosi, modellazione funzionale risponde alla domanda: “Il nostro sistema fa la cosa giusta?” Risposte di modellazione fisica: “Puoi farlo entro vincoli reali?” Un processo di sviluppo integrato ben arrotondato utilizza sia, ma il diagramma di passo funzionale è spesso

Strategie per una modellazione funzionale efficace

L'adozione di una strategia sistematica impedisce ai modelli di diventare disordinati, incoerenti o disconnessi dai requisiti.Le seguenti strategie sono dimostrate in settori che vanno dall'automotive ai dispositivi medici.

Iniziare con i requisiti

Ogni modello funzionale deve risalire a un requisito ben definito. Prima di disegnare una singola scatola o una freccia, raccogliere e definire i requisiti funzionali (cosa che il sistema deve fare) e i requisiti non funzionali (performance, sicurezza, sicurezza).

Utilizzare la decomposizione gerarchica

I sistemi complessi sono più facili da capire quando si sono interrotti in pezzi gestibili. La decomposizione funzionale consiste nel dividere la funzione di alto livello (ad esempio, "Manage Engine Control Unit") in sotto-funzioni (“Leggi i dati dei sensori,” “Compute Fuel injection time”, “Send actuation commands”).

Un esempio concreto: un modulo di controllo del corpo automobilistico (BCM) potrebbe essere decomposto nel controllo dell'illuminazione, nel controllo del tergicristallo, nel controllo della serratura e nella gestione della temperatura interna. Ognuno di questi è un blocco funzionale autocontenuto con la propria macchina statale. Il modello gerarchico mostra come questi blocchi interagiscono, ad esempio, la macchina dello stato della serratura della porta potrebbe inibire l'operazione del tergicristallo quando la porta è aperta.

Adottare le lingue standardizzate di modellazione

Gli standard assicurano che i modelli siano inequivocabili, condivisibili e trasportabili dagli strumenti. Le due lingue dominanti per la modellazione funzionale incorporata sono:

  • Unified Modeling Language (UML)[] – Originariamente progettato per i sistemi software, la macchina statale di UML, l'attività e l'uso dei diagrammi di caso sono ampiamente utilizzati nello sviluppo incorporato, in particolare per i sistemi orientati al controllo e agli eventi.
  • Systems Modeling Language (SysML)[] – Un'estensione di UML su misura per l'ingegneria dei sistemi. SysML aggiunge diagrammi di requisiti, diagrammi parametrici (per vincoli fisici), e diagrammi di definizione di blocco che sono più naturali per il co-design di software hardware.

Qualunque lingua si scelga, esecuzioni di notazione coerente, convenzioni di denominazione e regole di layout del diagramma. Le guide di stile specifiche dello strumento possono contribuire a prevenire l'ambiguità—ad esempio, indicando sempre eventi si attiva con lo stesso stereotipo o utilizzando una specifica freccia per il flusso di segnale rispetto al flusso di dati.

Iterare e perfezionare

I primi modelli sono approssimazioni grossolane che saranno raffinate come approfondimenti di comprensione. Utilizzare cicli di revisione leggeri - modello settimanale cammini con il team di sviluppo, esperti di dominio e ingegneri di test. Durante queste recensioni, cercare incongruenze, stati mancanti, transizioni incomplete e logica che non corrispondono ai requisiti.

Una trappola comune è sovramodellare: cercare di catturare ogni possibile caso bordo sul primo passaggio. Invece, iniziare con un “percorso felice” (il modo normale di funzionamento) e poi aggiungere incrementalmente la gestione degli errori, le condizioni di guasto e i flussi alternativi.

Mantenere la Tracciabilità

Un modello funzionale è utile solo se si può dimostrare che soddisfa ogni esigenza. Stabilire una catena di tracciabilità da ogni esigenza a uno o più elementi di modello (ad esempio, uno stato, una transizione, un'attività). Molti strumenti di modellazione (ad esempio, Enterprise Architect, IBM Rational Rhapsody) supportano i collegamenti di tracciabilità automatica. Inoltre, collegare elementi di modello ai casi di test.

Strumenti per la modellazione funzionale

La scelta dello strumento giusto dipende dalle dimensioni del vostro team, dal dominio, dal budget e dalle esigenze di integrazione. Di seguito sono i più diffusi ambienti di modellazione funzionale nello sviluppo di sistemi incorporati.

Simulink è lo standard de facto per il design basato sul modello nel settore automobilistico, aerospaziale e dell'automazione industriale. Fornisce un ambiente grafico a blocchi dove modellate sistemi a tempo continuo e discreti, inclusi algoritmi di controllo, elaborazione dei segnali e macchine statali (tramite il flusso di stato).

Enterprise Architect (Sparx Systems)

Enterprise Architect è una piattaforma di modellazione versatile che supporta UML, SysML, BPMN e molte altre nozioni. Eccellente nella gestione dei requisiti, nella tracciabilità del modello e nella collaborazione del team (repositori controllati dalla conversione, sicurezza basata sul ruolo). Per i sistemi incorporati, è possibile modellare sia le viste funzionali che strutturali, collegare i requisiti alle macchine statali e generare documentazione.

IBM Rational Rhapso

Rhaps-DO-Formazione è un ambiente di sviluppo basato su modelli per sistemi incorporati e in tempo reale. Supporta SysML e UML, e fornisce la generazione automatica di codici (C, C++, Java e Ada). La forza di Rhapsody è nella sua capacità di convalidare i modelli tramite simulazione e esecuzione, e generare codice di produzione-ready che si conformi ai vincoli di gestione in tempo reale.

Modelica (ApertoModelica, Dymola)

Modelica è un linguaggio aperto, basato su equazioni per modellare sistemi fisici complessi, ad esempio, dinamiche termiche, circuiti elettrici, sistemi idraulici e meccanica multicorpo. A differenza del paradigma block-diagram di Simulink, Modelica utilizza la modellazione acausale: si collegano i componenti con le loro porte fisiche (ad esempio, flusso termico, tensione) e lo strumento risolve le equazioni che ne risultano.

MagicDraw (Dassault Systèmes)

MagicDraw (ora parte di Cameo Systems Modeler) è una piattaforma di modellazione con supporto profondo per SysML e UML. È spesso utilizzato per l'ingegneria dei sistemi in aerospaziale, difesa e automotive. La forza di MagicDraw è la sua capacità di gestire relazioni complesse tra modelli funzionali, strutturali e parametrici all'interno di un unico repository.

Altri strumenti di rilievo

  • SCADE (Ansys)[[] – Uno strumento di sviluppo basato su modelli certificati per software critico di sicurezza, in particolare avionica e ferroviaria.
  • Papyrus (Eclipse)[[] – Uno strumento di modellazione UML/SysML open source che può essere esteso tramite plug-in.
  • Vector PREEvision[[] – Specializzato per le architetture elettriche/elettroniche automobilistiche (E/E), tra cui la rete funzionale, la mappatura del segnale-to-software e il design dei cablaggio.

Vantaggi della modellazione funzionale nei sistemi incorporati

L'adozione di modelli funzionali rende possibili miglioramenti misurabili in qualità, costo e time-to-market.

Rilevamento precoce delle zampe di disegno

Per esempio, un ingegnere automobilistico può eseguire un modello Simulink di un sistema di gestione della batteria per vedere come reagisce alle condizioni di sovracorrente. Se la macchina statale entra in un deadlock inaspettato o non riesce a passare allo stato sicuro, il difetto viene catturato a livello di modellazione—fissare un diagramma o un parametro richiede minuti di fase, mentre il patching firmware su un determinato modello di ECU mostra i dati completi.

Comunicazione migliorata tra le squadre multidisciplinari

I sistemi integrati comprendono ingegneri hardware, ingegneri software, ingegneri di controllo, architetti di sistema e esperti di dominio (ad esempio, uno specialista di frenata). I modelli funzionali servono come una singola fonte di verità che tutti possono capire, non c'è bisogno di leggere 200 pagine di testo requisiti. Un diagramma di definizione del blocco SysML che mostra le funzioni di alto livello di una pompa di infusione medica è immediatamente comprensibile per l'esperto clinico e lo sviluppatore FPGA miprelo.

Risparmio di tempo e costi

Quando i requisiti cambiano (e lo fanno sempre), l'aggiornamento di un modello e la rigenerazione di codice o di casi di test è molto più veloce che modificare manualmente più artefatti di implementazione. In un caso studio del settore automobilistico, un fornitore tier‐1 ha ridotto le correzioni di bug del software del 60% dopo aver adottato il design basato sul modello con Simulink e il flusso di stato.

Documentazione migliore per la manutenzione e la conformità

I link di tracciabilità mostrano quali sono le mappe di stato o di transizione. Questa documentazione è preziosa per la manutenzione successiva: i nuovi ingegneri possono comprendere la logica del sistema leggendo la macchina statale invece di pettinare attraverso il codice sorgente. Per le industrie regolamentate (medical ISO 13485, automotive ISO 26262, avionics DO‐178C), la documentazione basata sui modelli è spesso necessaria per la conformità alla certificazione.

Affidabilità del sistema migliorata

L'analisi approfondita di tutti gli stati, le transizioni e i flussi di dati, la modellazione funzionale aiuta a garantire che il sistema si comporti correttamente in tutte le condizioni operative, inclusi i casi di bordo e gli scenari di guasto. Le tecniche di verifica formale (ad esempio, il controllo del modello) possono essere applicate al modello funzionale per dimostrare che alcuni stati non sicuri sono inaccessibili.

Migliori Pratiche per l'integrazione della modellazione funzionale nello sviluppo

Per ottenere il massimo dalla modellazione funzionale, trattalo come parte integrante del processo di sviluppo, non come componente aggiuntivo opzionale.

Modello Prima di codificare

Impedire che ogni nuova funzione o richiesta di cambiamento debba essere prima catturata come modello funzionale e riesaminata dal team, creando una cultura “model-first” in cui le decisioni di progettazione vengono convalidate prima dell’integrazione costosa.

Automatizzare la generazione di codici Dove possibile

Se la tua portautensile lo supporta, genera codice di produzione (C, C++, ecc.) dal modello convalidato. Ma attenzione: il codice generato deve essere ancora testato e verificato, e devi assicurarti che il generatore di codice sia qualificato per il tuo livello di sicurezza (ad esempio, certificazione TUV SUD per Codice Embedded).

Utilizzare il controllo della versione per i modelli

I modelli si evolvono proprio come il codice. Conservarli in un repository controllato dalla versione (Git, SVN) e utilizzare strategie di ramificazione per gestire lo sviluppo parallelo. La maggior parte degli strumenti di modellazione hanno il supporto integrato per il confronto e la fusione del modello.

Integrare la modellazione con la prova

Creare casi di test basati sul modello che esercitano ogni transizione e stato nella macchina statale. Utilizzare questi test per simulare il modello (in-the-loop), quindi in seguito eseguirli contro l'hardware effettivo (processore-in-the-loop o hardware-in-the-loop).

Sfide e come superare

I nuovi modelli di modelli di sviluppo spesso affrontano la resistenza: “Abbiamo sempre scritto il codice prima, perché cambiare?” Per superare questo, inizia con un progetto pilota – scegli un sottosistema piccolo e ben compreso, dimostra il risparmio di tempo dal rilevamento precoce dei difetti e lascia che i risultati parlino per se stessi. Un’altra sfida è modellare comportamenti complessi in tempo reale (timing, scheduling, gestione di interruzioni).

Conclusioni

La modellazione funzionale non è più un lusso nello sviluppo di sistemi integrati, è una necessità per fornire prodotti sicuri, affidabili e convenienti. Iniziando con requisiti chiari, utilizzando decomposizione gerarchica, adottando linguaggi standardizzati come SysML, e sfruttando strumenti potenti come Simulink, Enterprise Architect, o Rhapsody, team di ingegneria possono catturare i difetti presto, migliorare la collaborazione e accelerare i vantaggi di tempo-terra.

Per ulteriori informazioni, esplorare il ]SysML specificazione di OMG, la pagina del prodotto di Simulink[, e la guida pratica su sviluppo incorporato basato sul modello da IBM].