Skip to main content
European Commission logo
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary
Contenuto archiviato il 2024-05-27

COrrect development of reAl-time Embedded systems in UML

Article Category

Article available in the following languages:

Estensioni UML per la sincronizzazione temporale

Nel quadro del progetto OMEGA è stata sviluppata una notazione UML che include una serie di estensioni per le espressioni temporali, intesa a fornire ai progettisti di sistemi in tempo reale e integrati migliori strumenti per catturare i requisiti di sistema e per localizzare il software sull'architettura fisica.

L'UML (Unified Model Language) è la sintesi di un importante sforzo di numerosi esperti in metodologia per creare uno strumento comune idoneo a descrivere i sistemi complessi con concetti orientati all'oggetto. Dopo l'adozione dello standard UML e della sua nuova versione avanzata UML 2.0 questo linguaggio di modellizzazione è stato usato per sviluppare un gran numero di sistemi con tempi e risorse critici. L'UML si è tuttavia dimostrato insufficiente in alcuni settori fondamentali che interessano soprattutto i progettisti e gli sviluppatori di sistemi in tempo reale e integrati. In particolare, la mancanza di nozioni quantificabili di tempo e risorse ne ha impedito una più larga diffusione; una definizione semantica rigorosa è un requisito imprescindibile. Per fortuna si è scoperto che l'UML possiede tutti i meccanismi necessari per eliminare queste lacune, grazie alle possibili estensioni. Il legame tra esecuzione del sistema e scansione temporale può essere descritto in modo preciso, e offre quindi una soluzione per modellizzare i comportamenti che dipendono dal tempo. A tal fine è stata introdotta un'entità attiva che permette di definire i limiti di tempo tra gli eventi arbitrari del sistema. Oltre al temporizzatore, un orologio individua il momento attuale. Altre estensioni permettono d'identificare gli eventi sintatticamente significativi nell'esecuzione del sistema, incluso il momento dell'occorrenza e le informazioni sul tipo. È stato inoltre definito un formalismo operativo per esprimere ipotesi e requisiti che coinvolgono condizioni più complesse della semplice distanza tra due eventi. Un osservatore può lavorare con un sistema e in sincronia monitorare il suo stato e gli eventi che stanno accadendo. Viene usato come accettore di linguaggio che può avere attributi di memoria locale, il cui comportamento viene descritto da una macchina a stati. Il nuovo profilo UML in tempo reale verrà valutato con studi di casi industriali forniti ed elaborati dai partner industriali del progetto OMEGA. L'obiettivo è d'incorporare ulteriori passi e orientamenti dettagliati sull'uso del linguaggio kernel UML, soprattutto per quel che riguarda le estensioni temporali proposte.

Scopri altri articoli nello stesso settore di applicazione