Reuse and Integration of Heterogeneous Components for Efficient Embedded Software Generation

distanza tra sistemi elettronici ed informatici e realtà fisica si è progressivamente assottigliata, visto che computazione e comunicazione permeano moltissimi aspetti della quotidianità, quali la domotica e l’assistenza sanitaria. L’interazione più stretta con l’ambiente fisico e con gli utenti umani ha di riflesso cambiato anche i sistemi dedicati, portando ad una maggiore eterogeneità: coesistono infatti dispositivi HW, sia analogici che digitali, e SW fortemente dedicato. Si è inoltre resa necessaria la modellazione dell’ambiente, per tener traccia della sua evoluzione ed interazione con il resto del sistema nelle fasi di verifica e di progettazione. In un contesto così complesso e variegato, il riuso di componenti già progettati e verificati è fondamentale per poter sfruttare le ottimizzazioni e configurazioni portate avanti nelle singole fasi della progettazione, oltre che per risparmiare tempo e risorse. L’elevata eterogeneità rende però il riuso un’operazione molto complessa. In un tradizionale flusso top-down, ad esempio, inserimento o modifica di componenti esistenti richiederebbe di riprogettare l’intero sistema partendo dalle specifiche. In questo contesto, la tesi di Sara Vinco propone tre tecniche per l’integrazione e il riuso di sistemi dedicati: la co-simulazione, la generazione di interfacce e la rappresentazione dell’eterogeneità tramite la definizione di un formalismo omogeneo. Sia la co-simulazione che la generazione di interfacce tra componenti eterogenei preservano il livello di eterogeneità del sistema. Supportano infatti la comunicazione tra componenti eterogenei attraverso lo sviluppo di una piattaforma (con la co-simulazione) o generando i mezzi di comunicazione necessari (cioè le interfacce). L’approccio opposto consiste nell'introdurre un modello di computazione in cui immergere componenti eterogenei, arrivando ad una descrizione omogenea attraverso un unico formalismo ed un’unica semantica. Componenti inizialmente eterogenei vengono convertiti in descrizioni basate sul modello di computazione attraverso trasformazioni che preservano la loro funzionalità e semantica, in un flusso fortemente bottom-up. La descrizione omogenea del sistema diventa quindi il punto di partenza per l’applicazione di tecniche di generazione automatica di SW per simulare e validare la descrizione del sistema, o per eseguire in modo efficiente la funzionalità su architetture altamente parallele. L’intero flusso è supportato da programmi per la generazione automatica di codice, che amplificano l’efficacia della metodologia proposta.