Realizing the benefits of safety-security co-analysis through effective tool support

RUBICON aims to develop a proof-of-concept software tool for integrated safety-security risk analysis in technology, enhancing decision-making through advanced algorithms and multi-objective optimization.

Subsidie
€ 150.000
2024

Projectdetails

Introduction

Effective tool support for the joint analysis of safety and security risks is long overdue.

Importance of Risk Management

Risk management is an important activity to ensure the reliable functioning of technology, such as power plants and self-driving cars. Risks include both safety (accidental failures) and security aspects (malicious attacks). Historically, safety and security risks have been analyzed in isolation, despite often conflicting with each other.

Need for Combined Analysis

Effective decision-making requires considering safety and security risks in combination, as measures that increase safety may decrease security and vice versa.

Framework Development

My Consolidator Grant CAESAR has laid out the groundwork for a safety-security co-analysis framework:

  1. A graphical risk model, mapping how vulnerabilities and failures propagate and cause system-level disruptions.
  2. Efficient algorithms to compute risk metrics, indicating how well a system performs in terms of safety-security.
  3. Algorithms that quantify the uncertainty of the analysis algorithms.

Project Goals

In RUBICON, I will develop a PoC software tool that supports methods from CAESAR, advancing from TRL1 to TRL3. Key challenges to be tackled include:

  • Scaling Up Analysis Methods: Handle industry-size problems by tailoring algorithms to work with specific subclasses that appear in practice.
  • Improving Interpretability: Develop diagnostic feedback methods based on counterexample analysis and importance factors.
  • Multi-objective Optimization Techniques: When dealing with multiple, interdependent parameters, conflicting requirements often arise due to resource constraints and varying priorities. RUBICON will develop optimal strategies to effectively balance such conflicts, exploiting and advancing Pareto-analysis.

Testing and Validation

The proof-of-concept tool will be tested and validated via lab and pilot studies across different industrial domains.

Market Analysis

A serious market analysis will lay out an actionable strategy to commercialize the PoC tool post-project.

Financiële details & Tijdlijn

Financiële details

Subsidiebedrag€ 150.000
Totale projectbegroting€ 150.000

Tijdlijn

Startdatum1-12-2024
Einddatum31-5-2026
Subsidiejaar2024

Partners & Locaties

Projectpartners

  • UNIVERSITEIT TWENTEpenvoerder

Land(en)

Netherlands

Vergelijkbare projecten binnen European Research Council

ERC STG

MANUNKIND: Determinants and Dynamics of Collaborative Exploitation

This project aims to develop a game theoretic framework to analyze the psychological and strategic dynamics of collaborative exploitation, informing policies to combat modern slavery.

€ 1.497.749
ERC STG

Elucidating the phenotypic convergence of proliferation reduction under growth-induced pressure

The UnderPressure project aims to investigate how mechanical constraints from 3D crowding affect cell proliferation and signaling in various organisms, with potential applications in reducing cancer chemoresistance.

€ 1.498.280
ERC STG

Uncovering the mechanisms of action of an antiviral bacterium

This project aims to uncover the mechanisms behind Wolbachia's antiviral protection in insects and develop tools for studying symbiont gene function.

€ 1.500.000
ERC STG

The Ethics of Loneliness and Sociability

This project aims to develop a normative theory of loneliness by analyzing ethical responsibilities of individuals and societies to prevent and alleviate loneliness, establishing a new philosophical sub-field.

€ 1.025.860

Vergelijkbare projecten uit andere regelingen

ERC COG

Resilient and Sustainable Software Security

The RS³ project aims to enhance software security by developing resilient and sustainable countermeasures through innovative testing, secure compilers, attack mitigation, and hardware improvements.

€ 1.998.851
ERC COG

CertiFOX: Certified First-Order Model Expansion

This project aims to develop methodologies for ensuring 100% correctness in combinatorial optimization solutions by providing end-to-end proof logging from user specifications to solver outputs.

€ 1.999.928
ERC ADG

Breaching the boundaries of safety and intelligence in autonomous systems with risk-based rationality

This project aims to develop a comprehensive risk-based autonomy framework for autonomous systems, enhancing safety and decision-making in marine environments through advanced modeling and human supervision.

€ 2.499.773
ERC STG

Systematic and computer-aided performance certification for numerical optimization

The project aims to enhance theoretical foundations of numerical optimization to bridge the gap between theory and practice, developing robust algorithms and certification tools for complex applications.

€ 1.497.650