Page 54 - focusUnimore_febbraio2025
P. 54
* I sistemi real-time sono dispositivi hardware e software che hanno requisiti non solo
funzionali (“devo fare questa cosa”), ma anche temporali (“devo farla nel minor tempo
possibile”), e di predicibilità (“il tempo di calcolo deve SEMPRE essere inferiore ad
un vincolo dato, secondo un’analisi che dev’essere formalmente corretta”). Questo
particolare tipo di disciplina esiste fin dagli arbori dell’Informatica, ed è alla base dei
cosiddetti sistemi “safety critical”, ovvero quei sistemi che interagiscono direttamente
con gli esseri umani: dai sistemi biomedicali per dialisi, ai pacemaker, alle automobili e
agli aerei, solo per citarne alcuni.
Il team MMR Driverless in gara a Varano dé Melegari nel 2024
54
