Potenziare i sistemi software integrati
La qualità dei software rappresenta un aspetto importante dello sviluppo di sistemi integrati, che vengono spesso impiegati in applicazioni critiche sul piano della sicurezza. Nonostante l’utilizzo diffuso di strumenti di sviluppo di software, il raggiungimento del livello di qualità richiesto rimane un traguardo complesso, specialmente per le PMI che non dispongono di risorse adeguate. Il progetto MODUS(si apre in una nuova finestra) (“Methodology and supporting toolset advancing embedded systems quality”), finanziato dall’UE, ha promosso la competitività delle PMI nel mercato dei sistemi integrati. Il gruppo di lavoro, formato da 12 membri, si è prefissato l’obiettivo di sviluppare una serie di metodologie e di strumenti in grado di migliorare la qualità dei sistemi integrati durante l’utilizzo di tecniche di descrizione formale. Questi strumenti sono stati concepiti allo scopo di garantire la verifica dei modelli, la creazione di interfacce con piattaforme di simulazione standard, l’ottimizzazione delle prestazioni e la generazione di codice sorgente personalizzabile. Il progetto è stato condotto tra il mese di ottobre 2011 e il mese di marzo 2014. I ricercatori hanno ideato un sistema che consente di utilizzare tecniche di verifica dei modelli esistenti disseminate tra le varie infrastrutture e i vari strumenti di modellazione, nonché sviluppato uno strumento in grado di guidare la scelta delle tecniche di verifica candidate attraverso l’utilizzo di metodi di analisi automatizzati dei modelli e delle proprietà del sistema di ingresso. Il consorzio ha ideato una metodologia e uno strumento per la rappresentazione formale delle convenzioni di codificazione, unitamente a uno strumento per la generazione personalizzabile del codice che rispetta le varie rappresentazioni. Tali risorse consentono agli sviluppatori di software di acquisire automaticamente codice sorgente di qualità senza dover riapplicare manualmente le regole di codificazione. Un ulteriore strumento concepito ai fini dell’ottimizzazione delle prestazioni facilita il potenziamento del livello di complessità degli algoritmi nella progettazione dei software ed è applicabile a varie piattaforme. L’approccio adottato dal gruppo di lavoro, unitamente agli strumenti utilizzati per la generazione di codice, facilitano la creazione di codice sorgente ottimizzato. Il progetto MODUS ha condotto alla creazione di strumenti di sviluppo che consentono alle PMI europee di reggere il confronto con aziende di maggiori dimensioni che operano nel settore dei software di sistemi integrati. Queste tecnologie offrono anche nuove opportunità commerciali.
