DeepAI AI Chat
Log In Sign Up

CPS Engineering: Gap Analysis and Perspectives

by   Emmanuel Ledinot, et al.

Virtualization of computing and networking, IT-OT convergence, cybersecurity and AI-based enhancement of autonomy are significantly increasing the complexity of CPS and CPSoS. New challenges have emerged to demonstrate that these systems are safe and secure. We emphasize the role of control and emerging fields therein, like symbolic control or set-based fault-tolerant and decentralized control, to address safety. We have chosen three open verification problems we deem central in cost-effective development and certification of safety critical CPSoS. We review some promising threads of research that could lead in the long term to a scalable and powerful verification strategy. Its main components are set-based and invariant-based design, contracts, adversarial testing, algorithmic geometry of dynamics, and probabilistic estimation derived from compositional massive testing. To explore these orientations in collaborative projects, and to promote them in certification arenas, we propose to continue and upgrade an open innovation drone-based use case that originated from a collaborative research project in aeronautic certification reformation


page 5

page 7

page 9

page 11

page 17

page 20

page 27

page 32


Testing and verification of neural-network-based safety-critical control software: A systematic literature review

Context: Neural Network (NN) algorithms have been successfully adopted i...

Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment

Context: Agile development is in widespread use, even in safety-critical...

Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory

Guaranteeing safe behaviour of reinforcement learning (RL) policies pose...

SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses

Control logic programs play a critical role in industrial control system...

Safety Practice and its Practitioners: Exploring a Diverse Profession

System safety refers to a diverse engineering discipline assessing and i...

A New Hierarchical Software Architecture Towards Safety-Critical Aspects of a Drone System

In this paper, a new hierarchical software architecture is proposed to i...