The goal of the It-Matters 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. 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.
I am site leader of the Udine site, and responsible of WP3, From Models to Code, whose aim define a new programming framework resulting from the integration of the classic Event-Condition-Action paradigm with attribute-based and aggregate programming.
One of the offsprings of this project is the AbU calculus and language.
More details on the project’s web page