Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the popup-by-supsystic domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /dati/html/wordpress/pros/wp-includes/functions.php on line 6121
SEDUCE – PROS

Projects · October 29, 2021

SEDUCE

Designing Spatially Distributed Cyber-Physical Systems under Uncertainty (MIUR-PRIN 2017)

These systems are, and will be more and more, pervasive and ubiquitous, also in safety-critical situations. Examples range from robots and drones delivering goods to self-driving vehicles and smart buildings. These systems must satisfy safety requirements, and meet performance goals. It is fundamental to keep all such requirements into account from the design phase, to reduce the cost of development and avoid dangerous situations coming from unexpected requirement violation.

Model-based engineering (MBE) of CPS is challenging due to some specific features of these systems: they act in an open physical space environment, which is subject to unpredictable changes. Hence, approaches to MBE of CPS have to explicitly take into account the uncertainty and the spatial structure of the environment in which they act. In this project, we will propose a framework in this direction, dealing with spatially distributed CPS in an uncertain environment. The framework will allow engineers to describe the system and the requirements with a high-level, UML like specification language, which will be automatically converted in a domain specific language from which a formal executable model of the system and a formalization of requirements will be extracted.