Project description
Safety-critical cyber-physical systems robust against malicious attacks
Cyber-physical systems are engineered systems that are built from, and depend on, the seamless integration of computation and physical components. They have become the core components of several safety-critical applications, including smart grid, autonomous automobile systems, medical monitoring, robotics systems and automatic pilot avionics. Due to the criticalness of the applications in which they are deployed, they have become a ripe target for cyberattacks. The EU-funded ADMORPH project will implement a holistic approach towards enabling the safety and security of cyber-physical systems to detect and prevent potential attacks. The new fault-tolerant design approaches will enable cyber-physical systems to automatically reconfigure themselves in case of component failures and cyberattacks. Project methods will be tested in three use cases.
Objective
Due to the increasing performance demands of mission- and safety-critical Cyber Physical Systems (of Systems) – after this referred to as CPS(oS) – these systems exhibit a rapidly growing complexity, manifested by an increasing number of (distributed) computational cores and application components connected via complex networks. However, with the growing complexity and interconnectivity of these systems, the chances of hardware failures as well as disruptions due to cyber-attacks will also quickly increase. System adaptivity, foremost in terms of dynamically remapping of application components to processing cores, represents a promising technique to fuse fault- and intrusion tolerance with the increasing performance requirements of these mission- and safety-critical CPS(oS). In the ADMORPH project, we evaluate this hypothesis using a novel, holistic approach to the specification, design, analysis and runtime deployment of adaptive, i.e. dynamically morphing, mission- and safety-critical CPS(oS) that are robust against both component failures and cyber-attacks. To this end, we will address four aspects that are instrumental for the realization of these adaptively morphing systems: (i) the formal specification of adaptive systems; (ii) adaptivity methods like strategies for maintaining safe and secure control of CPS(oS); (iii) analysis techniques for adaptive systems to, e.g. perform timing verification of adaptive systems to avoid timing violations after system reconfigurations; and (iv) run-time systems for adaptive systems that realize the actual run-time system reconfigurations to achieve fault and intrusion tolerance. The developed methodologies, methods and tools will be evaluated using three industrial use cases taken from the radar surveillance systems, autonomous operations for aircrafts, and transport management systems domains.
Fields of science
Keywords
Programme(s)
Topic(s)
Funding Scheme
RIA - Research and Innovation actionCoordinator
1012WX Amsterdam
Netherlands