FACOLTA' DI INGEGNERIA PROGETTO DI ... - Scienza Ludica

EMBEDDED SOFTWARE TESTING AND IMPLENTATION
Il codice real-time per la prova, per la convalida e per l'implementazione
embedded può essere automaticamente generato sul processore desiderato,
utilizzando il modello del sistema e Real-Time Workshop (Fig. 2.35). Appena
creato, il codice è automaticamente ottimizzato per una veloce esecuzione ed un
uso efficiente della memoria. Il codice automaticamente generato dal modello del
sistema evita gli errori dovuti alla traduzione manuale del modello in codice e fa
risparmiare tempo, permettendo ai progettisti di concentrarsi su compiti più
impegnativi. MathWorks fornisce un ambiente software chiamato xPC Target per
la prova real-time del prototipo, per la calibrazione e per la convalida di tale
codice. xPC Target include un kernel real-time, numerosi dispositivi driver e tutti
i software necessari per creare un sistema di controllo del prototipo, per la prova e
per la convalida real-time del software. xPC Target può anche essere utilizzato per
fornire la funzione di hardware-in-the-loop, usando il codice generato
automaticamente dal modello del sistema fisico. La prova hardware-in-the-loop
permette al progettista di simulare in tempo reale le caratteristiche ed il
comportamento del sistema fisico. Così facendo il prototipo o la produzione del
software del sistema di controllo possono essere testati senza che sia necessario
l'hardware effettivo o l'ambiente operativo. Dopo che il software embedded è stato
completamente testato in real-time, può essere implementato nel processore
desiderato. Usando Real-Time Workshop Embedded Coder si può modificare il
software embedded per specificare le piattaforme hardware e software desiderate,
definendo i formati del codice e delle interfacce e incorporando i dispositivi
driver. In seguito si può riutilizzare le informazione della configurazione ogni
volta che il codice viene generato. MathWorks ha anche pacchetti preconfigurati
che possono aiutare l'utente a generare automaticamente un codice funzionante
per diversi ambienti embedded, sia software che hardware. Quando richiesto, il
codice generato automaticamente può essere anche testato utilizzando un software
standard e delle regole che assicurino l' alta qualità e l’integrità del software. In
questo modo è garantita la sicurezza dell'applicazione. Infine si può generare
automaticamente la documentazione per l'intero progetto portando l’informazione
contenuta nel modello in un formato di testo.