15 Maggio 2016
FBK lavora con BOEING per l’analisi di sicurezza basata su modelli formali matematici
Uno studio scientifico congiunto fra il centro di ricerca trentino e il colosso dell’aerospazio è stato presentato durante la più importante conferenza mondiale di settore a San Francisco. “Si tratta”, spiega il ricercatore FBK Marco Bozzano “di analizzare con dei modelli matematici tutti i possibili scenari in fase di progettazione e di procedere alla loro verifica, sempre utilizzando software automatici di risoluzione. In questo modo si affianca il tradizionale lavoro ingegneristico offrendo ulteriori garanzie relative al buon funzionamento dei sistemi coinvolti in tutti gli scenari di interesse”.