Resilience for Cyber-Physical Systems

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.
 

• 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.
   

Resilient scheduler and controller codesign for mixed-critical embedded control systems
12^th 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