Progetto di ricerca

PRIN 2017 - 2017FTXR7S - Giorgio Oronzo Spagnolo (FMT) - IT MATTERS (DIT.AD001.111)

Area tematica

Ingegneria, ICT e tecnologie per l'energia e i trasporti

Area progettuale

Dispositivi e Sistemi ICT (DIT.AD001)

Struttura responsabile del progetto di ricerca

Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo" (ISTI)

Responsabile di progetto

GIORGIOORONZO SPAGNOLO
Telefono: 0506212806
E-mail: giorgio.oronzo.spagnolo@isti.cnr.it

Abstract

Smart systems are large-scale, physically-distributed services where different kinds of data-collection sensors are used to supply information employed to efficiently manage assets and resources, and provide efficient operations. These systems are increasingly pervasive and interact extensively with their environment. It is thus crucial that unexpected and possibly dangerous situations be avoided. Hence, there is a strong need of techniques to guarantee that systems are trustworthy. Here trustworthiness is a holistic property, encompassing different characteristics (safety, security, integrity, availability, correctness, reliability, resilience) that are not addressed in isolation but as a whole at system level. The goal of the project is the development and the experimentation of a novel methodology for the specification, implementation and validation of trustworthy smart systems based on formal methods.

Obiettivi

L'obiettivo del progetto è lo sviluppo e la sperimentazione di una nuova metodologia per la specifica, l'implementazione e la convalida di sistemi intelligenti affidabili basati su metodi formali. Si prevede lo sviluppo del sistema in tre fasi fornendo e analizzando prima i modelli di sistema per trovare errori di progettazione, quindi passando dai modelli al codice eseguibile mediante la traduzione nei linguaggi di programmazione nel dominio e, infine, il monitoraggio a runtime per rilevare comportamenti anomali e supportare i sistemi nel prendere decisioni in modo autonomo in funzione del contesto.

Data inizio attività

29/08/2019

Parole chiave

Formal methods, theoretical computer science, Software engineering, Distributed systems, embedded systems, cyber-physical systems

Ultimo aggiornamento: 05/11/2024