Towards Adaptively Morphing Embedded Systems

Project: Research

Research areas and keywords

UKÄ subject classification

  • Control Engineering

Description

Due to the increasing performance demands of mission- and safety-critical Cyber Physical Systems (of Systems) – 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 realisation 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 realise 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.
AcronymADMORPH
StatusActive
Effective start/end date2020/01/012022/12/31

Collaborative partners

  • Lund University
  • University of Amsterdam (lead)
  • Thales Nederland B.V. (Joint applicant)
  • SYSGO GmbH (Joint applicant)
  • University of Luxembourg (Joint applicant)
  • United Technologies Research Centre Ireland, Ltd. (Joint applicant)
  • Q-Media (Joint applicant)
  • FCiências.ID - Associação para a Investigação e Desenvolvimento de Ciências (Joint applicant)

Participants

Related projects

View all (1)

Related research output

Nils Vreman, Anton Cervin & Martina Maggio, 2021 Jun 30, 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 196.

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

Martina Maggio, Arne Hamann, Eckart Mayer-John & Dirk Ziegenbein, 2020 Jun 30, 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020). Völp, M. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 165. p. 21:1-21:24 24 p. 21

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

Claudio Mandrioli & Martina Maggio, 2020, ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Devanbu, P., Cohen, M. & Zimmermann, T. (eds.). Association for Computing Machinery (ACM), p. 1002-1014 13 p. (ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

View all (3)

Related prizes

Claudio Mandrioli (Recipient) & Martina Maggio (Recipient), 2020

Prizes and Distinctions: Prize (including medals and awards)

View all (1)