Descripción del proyecto
Sistemas ciberfísicos de nivel crítico de seguridad resistentes a los ataques maliciosos
Los sistemas ciberfísicos son sistemas de ingeniería que se construyen a partir de, y dependen de, la integración perfecta de la computación y los componentes físicos. Se han convertido en los componentes básicos de varias aplicaciones de nivel crítico de seguridad, como la red eléctrica inteligente, los sistemas de automóviles autónomos, la supervisión médica, los sistemas de robótica y la aviónica de piloto automático. Debido a la criticidad de las aplicaciones en las que se despliegan, se han convertido en blanco fácil de ciberataques. El proyecto ADMORPH, financiado con fondos europeos, aplicará un método holístico dirigido a favorecer la seguridad y la protección de los sistemas ciberfísicos para detectar y prevenir ataques potenciales. Los nuevos métodos de diseño tolerante a fallos permitirán reconfigurar automáticamente los sistemas ciberfísicos en caso de fallos de componentes y ciberataques. Los métodos del proyecto se probarán en tres casos de uso.
Objetivo
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.
Ámbito científico
Palabras clave
Programa(s)
Tema(s)
Convocatoria de propuestas
Consulte otros proyectos de esta convocatoriaConvocatoria de subcontratación
H2020-ICT-2019-2
Régimen de financiación
RIA - Research and Innovation actionCoordinador
1012WX Amsterdam
Países Bajos