Life-critical system
View article: Kritieke vragen in geheugenveiligheid belicht: van programmeertaal tot hardware
Kritieke vragen in geheugenveiligheid belicht: van programmeertaal tot hardware Open
Memory safety refers to a program's property of ensuring that memory is accessed only in valid and intended ways. Memory-safety guarantees can be reinforced through programming languages with built-in safety features, such as garbage colle…
View article: Pilot: Power-Aware Hybrid Fault Tolerance in Multi-core Embedded Systems
Pilot: Power-Aware Hybrid Fault Tolerance in Multi-core Embedded Systems Open
With the advancement of technology size and theintegration of multiple cores on a single chip, the probability offault occurrence has increased. These faults can be transient orpermanent, requiring techniques to manage both types. Hybridfa…
View article: Pilot: Power-Aware Hybrid Fault Tolerance in Multi-core Embedded Systems
Pilot: Power-Aware Hybrid Fault Tolerance in Multi-core Embedded Systems Open
With the advancement of technology size and theintegration of multiple cores on a single chip, the probability offault occurrence has increased. These faults can be transient orpermanent, requiring techniques to manage both types. Hybridfa…
View article: Formalizing Controllability: A Foundational Framework for AI Safety Verification
Formalizing Controllability: A Foundational Framework for AI Safety Verification Open
The proliferation of artificial intelligence (AI) systems across safety-critical domains necessitates rigorous methods for verifying their behavior and ensuring their safe operation. A fundamental aspect of AI safety is controllability: th…
View article: Formalizing Controllability: A Foundational Framework for AI Safety Verification
Formalizing Controllability: A Foundational Framework for AI Safety Verification Open
The proliferation of artificial intelligence (AI) systems across safety-critical domains necessitates rigorous methods for verifying their behavior and ensuring their safe operation. A fundamental aspect of AI safety is controllability: th…
View article: The Brazilian Program for Functional Safety Labeling of Critical Subsystems in Electric Vehicles: A Framework Based on Risk and Evidence
The Brazilian Program for Functional Safety Labeling of Critical Subsystems in Electric Vehicles: A Framework Based on Risk and Evidence Open
The lack of standardized functional safety information limits the adoption of electric vehicles (EVs) in Brazil. This study proposes a voluntary Brazilian safety labeling program for critical EV subsystems, based on ISO 26262:2018 (Functio…
View article: Perspectives on Safety for Autonomous Vehicles
Perspectives on Safety for Autonomous Vehicles Open
Autonomy is enabled by the close connection of traditional mechanical systems with information technology. Historically, both communities have built norms for validation and verification (V&V), but with very different properties for safety…
View article: Human-Centred Requirements Engineering for Critical Systems: Insights from Disaster Early Warning Applications
Human-Centred Requirements Engineering for Critical Systems: Insights from Disaster Early Warning Applications Open
Critical systems, such as those used in healthcare, defence, and disaster management, demand rigorous requirements engineering to ensure safety and reliability. Yet, much of this rigour has traditionally focused on technical assurance, oft…
View article: Human-Centred Requirements Engineering for Critical Systems: Insights from Disaster Early Warning Applications
Human-Centred Requirements Engineering for Critical Systems: Insights from Disaster Early Warning Applications Open
Critical systems, such as those used in healthcare, defence, and disaster management, demand rigorous requirements engineering to ensure safety and reliability. Yet, much of this rigour has traditionally focused on technical assurance, oft…
View article: A Formal Verification-Based Risk Scoring System for Code-Level Vulnerabilities in Critical Applications
A Formal Verification-Based Risk Scoring System for Code-Level Vulnerabilities in Critical Applications Open
This paper presents a novel framework for addressing code-level vulnerabilities in critical applications by combining formal verification with risk scoring systems. It ensures the correctness and reliability of code while prioritizing vuln…
View article: Leveraging Image-Based Transformations to Mitigate Adversarial Attacks in AI-Based Safety-Critical Systems
Leveraging Image-Based Transformations to Mitigate Adversarial Attacks in AI-Based Safety-Critical Systems Open
© 2025 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes,crea…
View article: Integrated model of assessment and adaptive management of operational safety of a sea vessel in a dynamic environment
Integrated model of assessment and adaptive management of operational safety of a sea vessel in a dynamic environment Open
The article proposes an integrated model for assessing and adaptive management of the operational safety of a ship, which takes into account the temporal dynamics of risk, the technical condition of subsystems, the effectiveness of safety …
View article: Thermal modeling and optimal allocation of avionics safety-critical tasks on heterogeneous MPSoCs
Thermal modeling and optimal allocation of avionics safety-critical tasks on heterogeneous MPSoCs Open
Multi-Processor Systems-on-Chip (MPSoC) can deliver high performance needed in many industrial domains, including aerospace. However, their high power consumption, combined with avionics safety standards, brings new thermal management chal…
View article: DEFINING THE SAFETY INDICATORS OF A UNRECOVERY FAULT-TOLERANT SAFETY CRITICAL SYSTEM BY THE STATE SPACE METHOD
DEFINING THE SAFETY INDICATORS OF A UNRECOVERY FAULT-TOLERANT SAFETY CRITICAL SYSTEM BY THE STATE SPACE METHOD Open
Safety Critical Systems (SCS) play a key role in critical areas of activity where high safety, reliability and continuity of operations are required. Such systems include military, space, energy, aviation, medical and transportation comple…
View article: Managing Sources of Uncertainty in Utilizing AI in Development and Deployment of Safety-Critical Autonomous Systems
Managing Sources of Uncertainty in Utilizing AI in Development and Deployment of Safety-Critical Autonomous Systems Open
The integration of AI into safety-critical autonomous systems faces critical challenges due to various probabilistic sources of uncertainty that affect system reliability and safety. In research carried out on the SAFEXPLAIN project, we pr…
View article: Safety‐Guided Development of Critical Computer‐Based Systems Using STPA and Event‐B in an Iterative Process
Safety‐Guided Development of Critical Computer‐Based Systems Using STPA and Event‐B in an Iterative Process Open
Computer‐based systems (CBSs) are complex and critical, with risks to human lives and the environment. Ensuring their safety requires rigorous methods. Unlike traditional approaches that model system mission specifications in a single step…
View article: Deep Reinforcement Learning Based Systems for Safety Critical Applications in Aerospace
Deep Reinforcement Learning Based Systems for Safety Critical Applications in Aerospace Open
Recent advancements in artificial intelligence (AI) applications within aerospace have demonstrated substantial growth, particularly in the context of control systems. As High Performance Computing (HPC) platforms continue to evolve, they …
View article: Explainable Machine Learning in Critical Decision Systems: Ensuring Safe Application and Correctness
Explainable Machine Learning in Critical Decision Systems: Ensuring Safe Application and Correctness Open
Machine learning (ML) is increasingly used to support or automate decision processes in critical decision systems such as self driving cars or systems for medical diagnosis. These systems require decisions in which human lives are at stake…
View article: A Hardware-in-the-Loop Framework for Remote Monitoring of Safety Critical Systems
A Hardware-in-the-Loop Framework for Remote Monitoring of Safety Critical Systems Open
View article: From Textual to Formal Requirements: A Case Study Using Spectra in Safety-Critical Systems Domain
From Textual to Formal Requirements: A Case Study Using Spectra in Safety-Critical Systems Domain Open
The requirements specification of any system is crucial for the correct development of the systems and software. It becomes even more relevant in the development of safety-critical systems (SCS). This paper aims to investigate the process …
View article: Towards Explainable Anomaly Detection in Safety-critical Systems
Towards Explainable Anomaly Detection in Safety-critical Systems Open
Ensuring the reliability and safety of space missions necessitates advanced anomaly detection systems capable of not only identifying deviations but also providing clear, understandable insights into their causes. This paper introduces a n…
View article: Adaptive and Reconfigurable FPGA-Based Systems Architecture with Approach Machine Learning Model
Adaptive and Reconfigurable FPGA-Based Systems Architecture with Approach Machine Learning Model Open
The increasing complexity and variability of modern avionics systems require innovative architectures that can adapt to changing requirements while ensuring high performance and reliability. This paper presents a novel approach to designin…
View article: Automated system-level testing of unmanned aerial systems
Automated system-level testing of unmanned aerial systems Open
View article: Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? (extended version)
Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? (extended version) Open
The use of domain-specific modeling (DSM) in safety-critical avionics is rare, even though the ever-increasing complexity of avionics systems makes the use of DSM reasonable. DSM shows its advantage especially in capturing complex systems,…
View article: Derivation of Criticality Safety Benchmarks from ZPR Fast Critical Assemblies
Derivation of Criticality Safety Benchmarks from ZPR Fast Critical Assemblies Open
Scores of critical assemblies were constructed, over a period of about three decades, at the Argonne National Laboratory ZPR-3, ZPR-6, ZPR-9, and ZPPR fast critical assembly facilities. Most of the assemblies were mockups of various liquid…
View article: Developing CBTC system safety requirement hierarchy through STPA methodology
Developing CBTC system safety requirement hierarchy through STPA methodology Open
Safety-critical systems, such as the railway signal system, are subject to potentially high costs from failures, including loss of life and property damage. The use of new technology, including communication-based train control (CBTC) syst…
View article: Ensuring Safety and Reliability: Formal Verification of Communication-Based Train Control Systems
Ensuring Safety and Reliability: Formal Verification of Communication-Based Train Control Systems Open
This research paper explores the critical importance of ensuring safety and reliability in communication-based train control (CBTC) systems through the application of formal verification methods. CBTC systems, which rely heavily on wireles…
View article: Enhancing system safety in critical architectures: Augmented hypothesis testing with early design knowledge
Enhancing system safety in critical architectures: Augmented hypothesis testing with early design knowledge Open
Hypothesis testing is a valuable method used to investigate ideas and test predictions arising from theories based on available data. In the context of critical system architecture, there is a need to effectively utilize hypothesis testing…
View article: Towards Combining STPA and Safety-Critical Runtime Monitoring
Towards Combining STPA and Safety-Critical Runtime Monitoring Open
The dependence on software in safety-critical system is increasingly growing and the reliability of the systems becomes more and more critical. Therefore, we need to adapt software engineering concepts like DevOps to also be able to react …
View article: AI-FSM: Towards Functional Safety Management for Artificial Intelligence-based Critical Systems
AI-FSM: Towards Functional Safety Management for Artificial Intelligence-based Critical Systems Open
International audience