Il progetto SATURN
inserito nel 7°PQ della UE, fornisce soluzioni di co-progettazione hardware/software in UML/SysML basate su Artisan Studio
Jan 06, 2010 - 00:06 AM
“Colmando il divario tra modellizzazione, verifica e sintesi dell’hardware e del software nei progetti basati su UML/SysML, SATURN dimostrerà la possibilità di ottenere una significativa riduzione del time-to-market nello sviluppo dei sistemi embedded,” ha affermato Paul Whiston, responsabile del progetto per Artisan Software Tools. “Questo risultato viene ottenuto sia tramite la combinazione tra SysML e MARTE come piattaforma per integrare i modelli con un ambiente run-time per la verifica cross-domain, sia tramite la generazione automatica delle componenti hardware (SystemC) e software embedded (C/C++). L’integrazione di questi differenti livelli di astrazione consentirà una perfetta fusione a livello funzionale e a livello dell’architettura target. Il risultato raggiunto a questo punto intermedio di SATURN consiste in una prima versione della catena degli strumenti completa, dal progetto fino all’implementazione sull’hardware target, con simulazione opzionale.”
Sviluppata in collaborazione con l’università di Paderborn (Germania), la soluzione di co-progettazione hardware/software basata su UML/SysML utilizza un profilo SysML migliorato, connesso a un generatore di codice SystemC per Artisan Studio. Ciò consente di generare un SystemC eseguibile che viene poi tradotto in VHDL per essere eseguito da un FPGA. Il codice generato può essere utilizzato anche per simulare sistemi (hardware compreso) nell’ambiente EXITE ACE™ di Artisan. Questa soluzione di co-progettazione e generazione di codice è stata sottoposta a valutazione completa tramite l’applicazione a due complessi casi di studio industriali volti a dimostrarne la correttezza di fondo (proof-of-concept): una fotocamera intelligente e un sistema di telecomunicazioni wireless a larga banda per impiego all’aperto. In questi primi casi di studio la quota di codice generato automaticamente è stata rispettivamente del 56% e del 58%, con la simulazione che si è comportata come l’implementazione finale FPGA. Considerando anche l’ulteriore vantaggio rappresentato dalla possibilità di affidare la gestione del codice e della documentazione all’ambiente di modellizzazione, questa tecnologia appare molto promettente.
“SATURN è soltanto uno tra i numerosi progetti dell’Unione Europea e degli enti di standardizzazione a cui partecipiamo attivamente,” ha affermato James B. Gambrell, presidente e CEO di Artisan Software Tools. “La nostra partecipazione in SATURN ci consentirà di rafforzare ulteriormente la posizione di Artisan Studio come strumento di sviluppo leader per UML/SysML e di aumentare la nostra quota di mercato nelle infrastrutture di verifica basate sugli strumenti acquisiti a seguito della recente fusione tra Artisan ed Extessy (gestione dei requisiti di sistema, co-simulazione, integrazione e collaudo). Sono lieto di vedere che questo progetto inizia a dare i primi frutti. I risultati ottenuti fino a questo momento sono già molto promettenti e aprono la strada a futuri vantaggi per le organizzazioni impegnate nella co-progettazione hardware-software.”
Questa prima fase del progetto è stata dedicata principalmente alla modellizzazione hardware (FPGA). Nella prossima fase l’ambiente sarà ampliato fino ad offrire la simulazione del processore target per il software e la simulazione del SystemC nell’ambiente EXITE ACE. Il progetto utilizzerà anche il profilo MARTE per il Formal System Design (ForSyDE) e svilupperà, in collaborazione con l’università di Cantabria, un profilo HetSC per assistere la verifica formale dei sistemi sviluppati. Anche questi ampliamenti, attesi nel corso del 2010, saranno sottoposti a valutazione tramite l’applicazione a casi di studio “proof-of-concept”.
Il progetto SATURN del settimo programma quadro dell’Unione Europea
Avviato nel gennaio del 2008, il progetto SATURN (SysML bAsed modeling, architecTUre exploRation, simulation and syNthesis for complex embedded systems) rientra nell’ambito del settimo programma quadro dell’Unione Europea. L’iniziativa riunisce due dei principali produttori europei di strumenti embedded, la britannica Artisan Software Tools e la tedesca Extessy (recentemente confluiti in un’unica società), le importanti università tecniche di Paderborn (Germania) e di Cantabria (Spagna) come partner nello sviluppo tecnologico, e infine due importati produttori europei di sistemi (la società greca Intracom SA Telecom Solutions e la francese Thales Security Solutions & Services SAS) in veste di partner per la valutazione della tecnologia. L’obiettivo di SATURN è colmare il divario attualmente esistente tra modellizzazione e verifica/sintesi nei progetti di sistemi embedded basati su UML/SysML composti in ugual misura di hardware e software. Per ottenere questo risultato il profilo UML fornito da OMG per MARTE viene attualmente valutato ai fini di una sua applicazione complementare a SysML e migliorato sensibilmente tramite l’aggiunta della semantica formale di diversi modelli di computazione per gli ambienti di modellizzazione integrata e di verifica. Il progetto costerà 3,75 milioni di euro, con un contributo della UE di 2,45 milioni di euro. Per ulteriori informazioni visitare: http://www.saturn-fp7.eu.
Informazioni su Atego :
Atego™ è il principale produttore indipendente di strumenti di sviluppo collaborativi e di ambienti runtime a livello industriale per la realizzazione di architetture, sistemi, software e hardware di applicazioni complesse, mission e safety-critical. Atego offre un ambiente di lavoro stabile e robusto a migliaia di utilizzatori in una vasta gamma di applicazioni complesse riguardanti settori ingegneristici sofisticati come l’aerospaziale, la difesa, l’industria automobilistica, i trasporti, le telecomunicazioni, l’elettronica e il campo medicale.
Aonix Perc® di Atego è la soluzione leader di mercato di macchine virtuali embedded in tempo reale per gli odierni programmi Java™. La suite Atego di strumenti di modellazione basati su standard, Artisan Studio’s®, assicura un supporto completo per i principali standard industriali, compresi OMG SysML™, UML® e Architectural Frameworks. Atego Exerpt™ è una soluzione indipendente per sincronizzare i dati dei requisiti rendendo possibile lo scambio dei requisiti tra tool e versioni di tool differenti. Atego Process Director™ di Atego fornisce un approccio pratico ad alta scalabilità per stabilire, misurare, gestire e migliorare i processi operativi d’ingegnerizzazione e di sviluppo della vostra azienda.
I tool Atego offrono un ambiente di sviluppo collaborativo integrato, consentendo ai diversi gruppi di ingegneri (architetti, sistemisti, softwaristi e hardwaristi) di lavorare come un tutt’uno (Work-as-One) dal concetto iniziale fino alle fasi di consegna, manutenzione e assistenza. Fondata nel 2010 tramite la fusione di Artisan Software Tools™ e Aonix®, Atego ha il suo quartiere generale a San Diego, California, USA, e a Cheltenham in UK, con uffici locali in Francia, Germania e Italia, oltre ad una rete globale di distributori.
Contatti per la stampa:
- Atego
- Beverley McFarlane, Marketing Manager
Tel: +44 (0) 1242 229335. Email: .(JavaScript must be enabled to view this email address)
- Europe
- Sophie Le Gros, Marketing Manager
Tel: +33 (0)1 41 46 19 91. Email: .(JavaScript must be enabled to view this email address)
- United States
- Gary Cato, Director Marketing
Tel: +1 858-824-0284. Email: .(JavaScript must be enabled to view this email address)
Si prega di indirizzare le domande dei lettori a:
Atego 701, Eagle Tower, Montpellier Drive, Cheltenham, GL50 1TA, UK
Tel: +44 (0) 1242 229 300
Email: .(JavaScript must be enabled to view this email address)
Atego, 5930 Cornerstone Court West, Suite 250, San Diego, CA 92121 USA
Tel: 888-91-ATEGO (+1 888-912-8346)
Email: .(JavaScript must be enabled to view this email address)
Ref: ART077I
Words: 808
Questo comunicato stampa è disponibile come download in formato PDF
