Projektbeschreibung
Sicherheitskritische cyber-physische Systeme widerstehen böswilligen Angriffen
Bei cyber-physischen Systemen handelt es sich um Systeme, die auf der Basis der nahtlosen Integration von Rechen- und physischen Komponenten aufgebaut wurden und von diesen auch abhängen. Sie haben sich zu den Kernkomponenten mehrerer sicherheitskritischer Anwendungen entwickelt, darunter intelligente Netze, autonome Automobilsysteme, medizinische Überwachung, Robotiksysteme und Bordelektronik mit Autopiloten. Aufgrund der kritischen Bedeutung der Anwendungen, in denen sie eingesetzt werden, sind sie zu einem wesentlichen Ziel für Cyberangriffe geworden. Das EU-finanzierte Projekt ADMORPH wird einen ganzheitlichen Ansatz umsetzen, der es ermöglichen wird, die Sicherheit cyber-physischer Systeme zu erkennen und potenzielle Angriffe zu verhindern. Die neuen fehlertoleranten Designansätze werden cyber-physischen Systemen ermöglichen, sich im Fall von Komponentenausfällen und Cyberangriffen selbst automatisch neu zu konfigurieren. Die Methoden des Projekts werden in drei Anwendungsfällen getestet.
Ziel
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.
Wissenschaftliches Gebiet
Schlüsselbegriffe
Programm/Programme
Thema/Themen
Aufforderung zur Vorschlagseinreichung
Andere Projekte für diesen Aufruf anzeigenUnterauftrag
H2020-ICT-2019-2
Finanzierungsplan
RIA - Research and Innovation actionKoordinator
1012WX Amsterdam
Niederlande