Methods and Tools for Trustworthy Smart SystemsThe 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. |
NewsSeptember 21, 2020: Everybody Working on 1st year report May 01, 2020: Several papers authored from IT-MATTERS researchers have been accepted at DisCoTec 2020. Six out of 22 papers at Coordination! see here |