ECSEL JU Project AQUAS

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.

Approach

• 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