IT Matters: Methods and Tools for Trustworthy Smart systems

Principal Investigator: Prof. Rocco De Nicola

The goal of the It-Matters is the development and the experimentation of a novel methodology for the specification, implementation and validation of trustworthy smart systems based on formal methods. We envisage system development in three steps by first providing and analysing system models to find design errors, then moving from models to executable code by translation into domain-specific programming languages and, finally, monitoring runtime execution to detect anomalous behaviours and to support systems in taking context-dependent decisions autonomously. More details about It-Matters are here.