Abstract:By combining communication, computation, and control (3C), Cyber-Physical Systems (CPS)0tightly couple the physical world with the cyber-world, to enable more applications, enhance performance, increase dependability and etc. Among these goals, as CPS are widely used in the safety-critical area, guaranteeing the basic dependability/safety is after all the prerequisite and often the top concern. However, the behavior of CPS is extremely complex. First of all, due to the existence of both discrete control modes transition and continuous real-time behavior in CPS, the behavior of CPS is a complex hybrid state space, which is difficult to understand and handle. Secondly, most CPS applications are working in the open environment and acquiring real-time data from the environment intensively to adjust their own behavior. The dynamic environment makes the behavior space more complex to reason. When a system is too complex to analyze directly, building an abstract model of the system and then conducting analysis on the model to answer questions about the original system is an important and widely-used method. Meanwhile, a reasonable model also plays important roles in the phase of specification, design, development, testing, monitoring and so on. Therefore, it is an important topic of investigating how model-based methods can be applied in the context of CPS to increase the quality and dependability of the system. During the past decade, our research group at Nanjing University has devoted a lot of efforts into this mission. We conducted comprehensive research in a wide spectrum of CPS including model-driven design, verification, control, monitoring, and testing. In this paper, we will make a general review of the progress we made on these directions recently.

On the Transition from Design Time to Runtime Model-Based Assurance Cases.

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems

Model Based System Assurance Using the Structured Assurance Case Metamodel

I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems

Automatic Support of the Generation and Maintenance of Assurance Cases.

Automated Model-Based Assurance Case Management Using Constrained Natural Language

Model-Based Safety-Cases for Software-Intensive Systems

Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities.

Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP

Systematic Refinement of CPS Requirements Using SysML, Template Language and Contracts.

A Methodology for Automating Assurance Case Generation

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM

A system-theoretic assurance framework for safety-driven systems engineering

A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns

Model-based Construction and Verification of Cyber-Physical Systems.

Dynamic Risk Management in Cyber Physical Systems

How do practitioners perceive assurance cases in safety-critical software systems?

Dynamic safety cases for frontier AI

Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)

Verifying CPS for Self-Adaptability.