Description du projet
Des systèmes cyberphysiques essentiels à la sécurité capables de résister aux attaques malveillantes
Les systèmes cyberphysiques sont des systèmes conçus à partir de l’intégration harmonieuse de composants informatiques et physiques, et ils dépendent de cette intégration. Ils sont devenus les composants de base de plusieurs applications critiques pour la sécurité, notamment les réseaux intelligents, les systèmes automobiles autonomes, la surveillance médicale, les systèmes robotiques et l’avionique des pilotes automatiques. En raison du caractère critique des applications dans lesquelles ils sont déployés, ils sont devenus une cible de choix pour les cyberattaques. Le projet ADMORPH, financé par l’UE, mettra en œuvre une approche globale faisant en sorte que la sûreté et la sécurité des systèmes cyberphysiques leur permettent de détecter et de prévenir les attaques potentielles. Les nouvelles approches de conception à tolérance de pannes permettront aux systèmes cyberphysiques de se reconfigurer automatiquement en cas de défaillance des composants et en cas de cyberattaque. Les méthodes du projet seront testées dans trois cas d’utilisation.
Objectif
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.
Champ scientifique
Mots‑clés
Programme(s)
Thème(s)
Régime de financement
RIA - Research and Innovation actionCoordinateur
1012WX Amsterdam
Pays-Bas