Progetto PROSSIMO: RAPPORTO TECNICO Linguaggi di modellazione e specifica
Caricamento...
Data
2019-05-30
Autori
Cicala, Giuseppe
Pulina, Luca
Titolo del periodico
ISSN
Titolo del volume
Editore
Abstract
La crescita esplosiva dell’elettronica integrata sta portando le informazioni e sistemi di controllo verso una complessità crescente per ogni aspetto delle nostre vite. I pro- getti più impegnativi sono sistemi critici per la sicurezza, come ad esempio i sistemi di trasporto (ad es. aerei, automobili e treni), il monitoraggio degli stabilimenti indu- striali e dell’assistenza sanitaria. Le difficoltà risiedono nelle modifiche dei vincoli sia sulla funzionalità che sull’implementazione. Il corretto comportamento deve essere garantito da diversi stati dell’ambiente e da potenziali fallimenti; l’implementazione deve soddisfare i costi, le dimensioni, e requisiti di consumo di energia. Il design è quindi soggetto ad una esaustiva analisi matematica e simulazione. Tuttavia, i mo- delli di sistemi di informazione tradizionale non si interfacciano bene con la continua evoluzione della natura dell’ambiente in cui operano questi dispositivi. Quindi, in pratica, devono essere mescolate diverse rappresentazioni matematiche per analizzare il comportamento generale del sistema. I Sistemi Ibridi sono una particolare classe di modelli misti che si concentrano sulla combinazione di sottosistemi discreti e conti- nui. C’è una abbondanza di strumenti software e di linguaggi che sono state proposti negli anni per gestire i sistemi ibridi. Tuttavia, ciascuno strumento fa diverse ipotesi sull’ambiente, con conseguente percezione un pò diversa del sistema ibrido. Questo rende difficile la condivisione dele informazioni tra gli strumenti software. Pertanto, la comunità non può sfruttare al massimo la notevole quantità di lavoro che è stata svolta verso questo importante argomento. In questo documento, esaminiamo e con- frontiamo gli strumenti per la modellazione e verifica dei sistemi ibridi evidenziando le loro differenze in termini della loro semantica sottostante, del potere espressivo e del meccanismo matematico. Viene poi presentato un nostro approccio, che ha come particolare interesse la progettazione basata su contratti, di cui viene descritto una metodologia di verifica formale.