Model-based Design and Validation Techniques for Smart and Safe Cyber-Physical Systems

点击翻译按钮获取中文摘要

Motivation and Significance. Smart cyber-physical systems (CPS) will connect low-energy sensors and actuators, mobile devices and the computational power of cloud infrastructures with traditional critical embedded systems (like cars, medica devices, etc.) where a failure may result in major financial loss, severe damage or even casualties. But how can we guarantee the safety, resilience and trustworthiness of such smart and critical systems in a continuously evolving, open environment? Research Context: A smartHow to design and manage dynamically evolving smartm>scalable solutions (applicable to industrial size systems) and incremental approaches (which exploit previously available information to make decisions) with precise semantic foundations. Research Team: This research program will contribute to the training of 6 PhD, 3 MEng and 8 undergraduate students to be carried out in an international environment. Outcome: The expected results include the (1) synthesis of consistent and large model instances with given coverage criteria to test CPS in various contexts, (2) distributed and incremental runtime monitors to detect critical situations, and (3) incremental rule-based design space exploration approaches to manage evolving CPS in a safe and optimal way. Impact: As smart devices and systems will gradually penetrate our every day life all over the world, their safety will likely be an increasing concern. Results of this research program will help guarantee that a new smart device can safely be integrated into our smart home to reduce energy consumption without undesired side effects. Connected cars may benefit from decision support provided by distributed runtime monitors to avoid accidents and traffic jams. Smart cities may increase catastrophic preparedness by using design space exploration techniques.