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.
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:
- A graphical risk model, mapping how vulnerabilities and failures propagate and cause system-level disruptions.
- Efficient algorithms to compute risk metrics, indicating how well a system performs in terms of safety-security.
- 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
Startdatum | 1-12-2024 |
Einddatum | 31-5-2026 |
Subsidiejaar | 2024 |
Partners & Locaties
Projectpartners
- UNIVERSITEIT TWENTEpenvoerder
Land(en)
Vergelijkbare projecten binnen European Research Council
Project | Regeling | Bedrag | Jaar | Actie |
---|---|---|---|---|
MANUNKIND: Determinants and Dynamics of Collaborative ExploitationThis project aims to develop a game theoretic framework to analyze the psychological and strategic dynamics of collaborative exploitation, informing policies to combat modern slavery. | ERC STG | € 1.497.749 | 2022 | Details |
Elucidating the phenotypic convergence of proliferation reduction under growth-induced pressureThe 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. | ERC STG | € 1.498.280 | 2022 | Details |
Uncovering the mechanisms of action of an antiviral bacteriumThis project aims to uncover the mechanisms behind Wolbachia's antiviral protection in insects and develop tools for studying symbiont gene function. | ERC STG | € 1.500.000 | 2023 | Details |
The Ethics of Loneliness and SociabilityThis 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. | ERC STG | € 1.025.860 | 2023 | Details |
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.
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.
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.
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.
Vergelijkbare projecten uit andere regelingen
Project | Regeling | Bedrag | Jaar | Actie |
---|---|---|---|---|
Resilient and Sustainable Software SecurityThe RS³ project aims to enhance software security by developing resilient and sustainable countermeasures through innovative testing, secure compilers, attack mitigation, and hardware improvements. | ERC COG | € 1.998.851 | 2023 | Details |
CertiFOX: Certified First-Order Model ExpansionThis 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. | ERC COG | € 1.999.928 | 2024 | Details |
Breaching the boundaries of safety and intelligence in autonomous systems with risk-based rationalityThis 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. | ERC ADG | € 2.499.773 | 2025 | Details |
Systematic and computer-aided performance certification for numerical optimizationThe 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. | ERC STG | € 1.497.650 | 2024 | Details |
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.
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.
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.
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.