Resilience for Cyber-Physical Systems

Funding

BMBF

Time span

Since 2019
 

Description

Cyber-physical systems (CPS) refer to integration of cyber and physical processes. This research design mehodologies for verifiable system architectures which are cyber-physical by nature. For this purpose, distributed resources are summarized as a shared virtual resource and allocated to systems based on their criticality. Then system resilience is approached through new design methods for self-organizing communication, computing and control approaches. By integrating security aspects into the design methodologies, we aim to extend our development framework to attack-resistant mixed-criticality systems.
 

Goals

  • Developing models and verification algorithms for self-configuring resilient mixed-criticality systems.
  • Exploring error, failure and attack models to ensure its resilience and full correlation-based static reduncancy fro all security functions.
  • Designing and implementing a system architecture as the basis of the new system. Modularization of devices into level-independent components and the definition of interfaces between these components with regard to the semantic description is of particular interest.
  • Deriving design principles for industrial communication networks to achieve the optimal use of available resources, protocols and other system components.
  • Validating the approaches: Guaranteeing resilience when applying the new modelling and verification algorithms to the mixed-criticality modularized system architecture.
     

Application: Three tanks connected by two pipes and under DoS

References

Resilient scheduler and controller codesign for mixed-critical embedded control systems
12th IFAC Symposium on Nonlinear Control Systems (NOLCOS) (under review)
M. A. Khatib and N. Bajcinca

Towards Resilience in Mixed Critical Industrial Control Systems: A Multi-disciplinary View
IEEE Access
R. Reifert, M. Krawczyk-Becker, L. Prenzel, S. Pavlichkov, M. A. Khatib, S. A. Hiremath, M. Al-Askary, N. Bajcinca, S. Steinhorst and A. Sezgin