
Il poster “Protecting Safety-Critical Systems: a Software Approach”, presentato da Davide Baroffio, studente del corso di dottorato in Ingegneria dell’Informazione al Dipartimento di Elettronica, Informazione e Bioingegneria del Politecnico di Milano, ha ricevuto il “Best Student Poster Award” alla 2nd CINI Summer School on High Performance Computing and Emerging Technologies, che si è svolta dal 17 al 21 giugno presso l’Università di Trento.
Il poster descrive l’attività svolta da Baroffio all’HEAPLab sotto la guida dei Proff. Federico Reghenzani e William Fornaciari nell’ambito della ricerca sui sistemi safety-critical. In particolare, illustra il funzionamento di ASPIS, un tool che aggiunge automaticamente nel software dei meccanismi di protezione contro guasti hardware. Questa soluzione permette di abbattere i costi di produzione e rende più facile lo sviluppo di sistemi safety-critical in termini di requisiti di peso, consumo di energia e temperatura.