Modelling and Analysing Resilient Cyber-Physical Systems
NII Shonan Meeting:
@ Shonan Village Center, May 14 – 17, 2018
- Amel Bennaceur, The Open University, UK
- Carlo Ghezzi, Politecnico di Milano , Italy
- Kenji Tei, National Institute of Informatics, Japan
The ultimate goal of any software system is to support individuals and groups in their social and professional endeavours. This is ever more important today that software permeates every aspect of our lives. From smart buildings to medical devices to smart nations, software systems increasingly integrate computation, networking, and interaction with the physical environment. These systems are known as Cyber-Physical Systems (CPS). The National Institute of Standards and Technology (NIST) define them as follows:
“Cyber physical systems are hybrid networked cyber and engineered physical elements co-designed to create adaptive and predictive systems for enhanced performance. Performance metrics include safety and security, reliability, agility and stability, efficiency and sustainability, privacy.”
Yet, existing software engineering methods often focus on sanitized environments, abstracting away many details including those related to the physical properties of the environment. Theory, methodology, and tools for the systematic design and engineering of CPS are yet to be defined. First, theories are crucial to understand the interplay between the physical and the digital worlds. Typically, the changing topology of space in which computations are embedded needs to be understood during design and managed properly during operation. Furthermore, as many of those systems are safety critical, rigorous modelling and analysis are necessary to provide guarantees about the overall behaviour of the CPS. This rigorous design is often challenged by the differences in nature of the components of these systems, including discrete-time computation components as well as continuous time physical components. Hence integration is made more challenging and so is planning and controlling of the emergent behaviour of multiple such hybrid systems. Furthermore, many transversal issues such as security and adaptation are made more difficult due to the inherent uncertainty of the physical environment, and the incompleteness of any model thereof.
This seminar aims to reflect on both the theory/formal foundations of resilient CPS and their engineering/implementation. Below, we try to identify some important discussion topics whose investigation will be initiated by technical presentations and supported by scheduled discussion groups.
- Theory of Resilient CPS
・Linking physicality and computation
・Developing the foundation of modelling, synthesis and development of resilient cyber-physical systems
・Capturing and reasoning about cyber-physical spaces
・Unification of modelling frameworks encompassing continuous systems modelling and discrete systems modelling
・Verification and simulation: estimated quality, safety, and assurance
- Design and Engineering of Resilient CPS
・Rigorous Design of CPS: tools and execution platforms
・Component-based engineering for CPS (modularity, compositionality, composability)
・Efficient compilation of hybrid models into executable code for implementation or simulation
・Adaptive methods to cope with environment uncertainty
- Applications and Exemplars for CPS
・Killer apps for CPS
・CPS and the Internet of Things (IoT)
・Metrics for evaluating and comparing approaches for CPS
- A small number of mini-tutorials by leading researchers in CPS, special reasoning and software modelling/analysis to familiarise everyone with the terminology, research methodologies, and main approaches.
- A selection of shorter and deeper technical presentations that report problems and the state of art.
・Include a session for tool demonstrations to clarify problems in application domains.
- Brainstorming and focused discussion in groups
・Supported by one of the organisers acting as a facilitator.
・Plenary session to share a summary of their discussions.
- Integration and planning
・Participants reflect and compare their findings.
・Develop a “road map” or research agenda.