Growing complexity of systems we engineer in modern society creates increasing difficulty with providing assurance for factors including safety, security and performance, particularly for safety critical systems such as the transportation, medical devices, aerospace or the industrial control domains.


  • Modelling and analysis methods and tools to capture safety, security and performance requirements and threats holistically
  • Model-based co-design for safety, security and performance, including modelling the effectiveness of intrusion detection, combining levels of defence, modelling of interdependence between subsystems and considering evolution of effectiveness of defence in view of evolving threats
  • Analysis of design decisions and their impact on safety, security and performance via design space exploration, quantitative modelling and sensitivity analysis
  • Assuring that the threats are effectively handled by state of the art certification strategies and automated HW/SW joint verification techniques

ECS Strategic Research Agenda focus areas:

Safety, Security and Reliability

Health and Well-Being

Transport and Smart Mobility

Digital Industry

ECSEL Call 2017

Start date: 05/2017

Duration: 36 months

Project coordinator:

Filip Veljković

Thales Alenia Space Espana, SA


Number of partners: 23

Number of countries: 7

Total investment: M€ 15.5

More on: