news
|
 |
|
|
|
 |
Test, Verifica, Validazione »
Geensys »
RT-Builder
|
RT-Builder: un approccio formale allo sviluppo real-time
Per il design di software complesso safety-critical, RT-builder consente la specifica, il modeling ed il controllo, tramite verifica formale, delle funzionalita’ descritte, prima che l’ha sia disponibile e naturalmente generare tutta la documentazione di design necessaria.
RT-builder, grazie all’approccio GALS (Globally Asynchronous Locally Synchronous) consente di supportare sia gli aspetti sincorni che asincroni del modeling e gestire sia i flussi di dati che quelli di controllo della esecuzione.
Librerie avanzate per la definizione dell’RTOS e delle architetture
RT-builder consente di effettuare si il modeling dello strato di RTOS che di quello di bus: ARINC653 per la Integrated Modular Avionics, CAN, OSEK e FlexRay per l’automotive, etc.
Queste librerie possono essere facilemnte estese o customizzate per coprire esigenze specifiche o consentire di valutare le scelte architetturali prima della implementazione.
In modo interattivo l’utente puo’ descrivere e gestire le varie interazioni tra flussi di dati e di controllo, ma anche il multitasking e gli aspetti ad esso connessi come pre-emption, risorse condivise, code FIFO, latenze e tempi di propagazione di messaggi su sistemi di bus distribuito, etc.
Disegno modulare
L’approccio basato sull’uso di librerie per il modeling dei vari aspetti di un sistema real-time consente poi all’utente un elevato grado di riutilizzabilita’ di quanto descritto con RT-builder o la integrazione nel modello di componenti descritte con altri tool, come Simulink.
Principali caratteristiche
| Supporto e facile customizzazione di tutti i concetti tipici del real-time come RTOS e protocolli
|
| Simulazione sia dei flussi di dati che di controllo
|
| Approccio misto sincrono-asincrono
|
| Verifica formale degli aspetti real-time utilizzando vari metodi (Rate Monotonic Analisys, Multi-clock Analisys, etc)
|
| Supporto alla verifica di carichi di CPU, tempi di propagazione, busload, etc
|
| Interfaccia verso i tool per la tracciabilita’ dei requisiti
|
Supporto all’uso di modelli Simulink
| Import automatico di modelli Simulink/Stateflow
|
| Simulazione molto veloce dei modelli importati
|
| Possibilita’ di verifica dei modelli importati
|
| Capacita’ di connessione di piu’ modelli per una simulazione globale
|
Piattaforme supportate
| PC windows: NT4, 2000, XP
|
| UNIX: Sparc Solaris
|
|
|
|
