JGalego
awesome-safety-critical-ai
JavaScript

When the stakes are high, intelligence is only half the equation - reliability is the other ⚠️

Last updated Jul 8, 2026
64
Stars
18
Forks
0
Issues
0
Stars/day
Attention Score
64
Language breakdown
JavaScript 57.1%
Python 31.0%
CSS 8.0%
HTML 4.0%
Files click to expand
README

Awesome Safety-Critical AI

Awesome mission license languages PR Welcome last commit

👋 Welcome to Awesome Safety-Critical AI - a curated space for practitioners, researchers and engineers committed to building intelligent systems that are as reliable as they are capable.

Inspired by systems thinking and engineering rigour, this project focuses on how to move from clever prototypes to fault-tolerant, production-grade ML systems.

Whether you're working on autonomous vehicles, medical diagnosis, or airbone systems, this collection offers a blueprint for AI that can be trusted when it matters most.

AI in critical systems is not about polishing demos or chasing benchmarks. It's about anticipating chaos - and designing for it.

This isn't just another (awesome) list. It's a call to action!

AI for Safety Critical

Table of Contents

- What is a Critical System? - AI in Critical Systems - The Bottom Line

🐇 Introduction

What is a critical system?

Critical systems are systems whose failure can lead to injury 🤕, loss of life ☠️, environmental harm 🌱🚱, infrastructure damage 🏗️💥, or mission failure 🎯.

| Application | Industry Vertical | Description | Failure Impact | | --------------------------------- | --------------------- | ------------------------------------- | ------------------------------------------- | | Patient Monitoring | Healthcare | Tracks vital signs | Failure can delay life-saving interventions | | Aircraft Navigation | Aerospace / Aviation | Ensures safe flight paths | Errors can lead to accidents | | Power Grid Control | Energy | Manages electricity distribution | Failures can cause blackouts | | Command & Control | Defence | Coordinates military actions | Failure risks national security | | Industrial Automation Control | Manufacturing | Oversees production processes | Malfunction can cause damage or injury | | Core Banking System | Finance | Handles transactions and account data | Downtime can affect financial operations |

These systems are expected to operate with exceptionally high levels of safety, reliability and availability, often under unclear and unpredictable conditions.

They're the kind of systems we rarely think about... until something goes terribly wrong 🫣

| Incident | Year | Description | Root Cause | Industry Vertical | References | |--------------------------------|-----------|----------------------------------------------------------------------------------|------------------------------------------------------------------------------------------|-------------------------------|----------------| | Therac-25 Radiation Overdose | 1985–1987 | Radiation therapy machine gave fatal overdoses to multiple patients | Race conditions and lack of safety interlocks; poor error handling | Healthcare | Wikipedia, Stanford | | Lufthansa Flight 2904 | 1993 | Airbus A320 crashed during landing in Warsaw due to thrust reverser failure | Reversers disabled by software logic when gear compression conditions weren't met | Aviation | Wikipedia, Simple Flying | | Ariane Flight V88 | 1996 | Ariane 5 rocket self-destructed seconds after launch | Unhandled overflow converting 64-bit float to 16-bit integer | Aerospace | Wikipedia, MIT | | Mars Climate Orbiter | 1999 | NASA probe lost due to trajectory miscalculation | Metric vs imperial unit mismatch between subsystems | Space Exploration | NASA | | Patriot Missile Failure | 1991 | Failed interception of Scud missile during Gulf War | Rounding error in floating-point time tracking caused significant drift | Defence | Barr Group, GAO | | Knight Capital Loss | 2012 | Trading system triggered erratic market orders causing massive financial loss | Deployment of obsolete test code; no safeguards for live operations | Finance / Trading | Henrico Dolfing, CNN | | Toyota Unintended Acceleration | 2009–10 | Reports of unexpected vehicle acceleration and crashes | Stack overflow and memory corruption in embedded ECU software | Automotive | SAE, Wikipedia | | F-22 Raptor GPS Failure | 2007 | Multiple jets lost navigation after crossing the International Date Line | Software couldn't handle date transition; triggered reboot | Aerospace / Defence | FlightGlobal, Wikipedia | | Heartbleed Bug | 2014 | Security vulnerability in SSL exposed private server data | Improper bounds checking in the heartbeat extension of OpenSSL | Cybersecurity / IT | Heartbleed, CNET | | T-Mobile Sidekick Data Loss | 2009 | Users lost personal data during server migration | Software mishandling during data center transition led to irreversible loss | Telecom / Cloud Services | TechCrunch, PCWorld |

When the stakes are this high, conventional software engineering practices must be complemented by rigorous verification, validation and certification processes that are designed to ensure system integrity.

Critical systems don't forgive shortcuts. Only engineering rigour stands between order and disaster.

TL;DR Critical systems are built on trust - and trust is built on rock-solid engineering.

AI in Critical Systems

So, where does that leave us? Is there room for AI in critical systems?

This isn't just a theoretical question - we're already well beyond the realm of hypotheticals.

From making life-or-death decisions in the ICU to controlling UAVs, performing surveillance and threat detection, and powering self-driving cars, intelligent systems aren't just emerging in these these domains - they're already fully operational.

| Use Case | Brief Description | Industry Domain | References | |----------------------------------------------|----------------------------------------------------------------------------------------------------------|----------------------------------|----------------| | Predicting ICU Length of Stay | AI models use patient data to forecast ICU duration, improving resource allocation and care planning. | Healthcare | INFORMS, Springer | | AI in Radiation Therapy Planning | Optimizes dose targeting using historical patient models, improving treatment precision and safety. | Healthcare | Siemens Healthineers | | Self-Driving Cars | Powers perception, decision-making, and control systems for autonomous vehicles. | Transportation | Built In, Rapid Innovation | | Autonomous Drone Navigation | Enables drones to navigate complex terrain without GPS; supports rescue and defense operations. | Aerospace / Defense | MDPI, Fly Eye | | AI-Based Conflict Detection in ATC | Forecasts aircraft trajectories to alert controllers of potential collision risks. | Aerospace / Defense | Raven Aero, AviationFile | | Remote Digital Towers for Airports | AI interprets visual data to assist air traffic controllers in low-visibility conditions. | Aerospace / Defense | Airways Magazine | | Predictive Maintenance in Nuclear Reactors| Analyzes reactor sensor data to detect early failures, preventing major accidents. | Energy | Accelerant, IAEA | | AI-Assisted Reactor Control Systems | Supports operators by modeling physical processes and recommending safety actions in real time. | Energy | Uatom.org, Springer | | Autonomous Navigation for Cargo Ships | Enables real-time path planning to avoid obstacles and optimize maritime routes. | Transportation | MaritimeEd, ShipFinex | | AI-Based Collision Avoidance at Sea | Detects and responds to high-risk vessel situations using visual and radar data fusion. | Transportation | Ship Universe | | AI-Driven Fraud Detection | Identifies anomalous financial transactions and flags potential fraud in real time. | Financial Systems | Upskillist, Xenoss | | AI for Compliance Monitoring | Uses NLP to parse documents and logs for regulatory breaches, supporting audits and governance. | Financial Systems | Digital Adoption, LeewayHertz | | AI in Wildfire Early Detection | Processes satellite and sensor data to detect hotspots and alert emergency services. | Environmental Safety | NASA FireSense, PreventionWeb |

Building these systems is no walk in the park. ML brings powerful capabilities, but also adds layers of complexity and risk that need to be addressed through careful engineering.

While its ability to learn patterns and make data-driven decisions is unmatched in some domains, the adoption of AI in high-stakes environments must be tempered with caution, transparency, and a sharp understanding of its limitations.

Let's briefly recap some of the most important...

1. Models can and will make mistakes

Better models may make fewer mistakes, but mistakes are generally unavoidable.

Mistakes are not a sign of poor engineering - they are an intrinsic feature of intelligence.

Working with AI means accepting this uncertainty and designing systems that can handle it gracefully.

2. Mistakes can be strange and unpredictable

AI doesn't always fail in ways that make sense to us.

It might misclassify a stop sign with a sticker as a speed limit sign or switch treatment recommendations based on the user's language.

Unlike traditional software, which follows explicit rules, AI learns from data and generalises.

Generalization allows models to make predictions beyond what they've seen so far, but it's ultimately imperfect because the real world is messy, ever-changing, and rarely fits nicely into learned patterns.

3. Model outputs are often probabilitic

Traditional software is predictable: identical inputs yield identical outputs.

In contrast, ML models, especially those involving deep learning, can break this rule and exhibit probabilistic behavior.

Their outputs are a function not only of the input features, but also of things like model architecture, learned weights, training data distribution, hyperparameters (e.g. learning rate, batch size), optimization methods, and more.

That said, inference is often deterministic. Once trained, most models are capable of producing consistent outputs for a given input, assuming fixed weights and no funky runtime randomness.

This determinism means that systematic errors and biases are reproducible - models will consistently make the same mistakes.

Moreover, models trained on similar datasets often converge to similar representations, leading to shared failure modes and blind spots. So while ML systems may appear dynamic and random, their behavior can be quite predictable.

4. Data and models can change over time

Data and models are not static things. They'll evolve continuously due to changes in the environment, user behavior, hardware, regulations and more.

Imagine you're building a supervised learning system to detect early signs of pneumonia in chest X-rays.

Over time, several factors can cause both the data and the model to evolve:

Data Drift: the original training data may come from a specific hospital using a particular X-ray machine. As the system is deployed in new hospitals with different imaging equipment, patient demographics, or scanning protocols, the visual characteristics and quality of the X-ray images may vary significantly. This shift in the input distribution without an accompanying change in the task can reduce the model's diagnostic accuracy. This kind of drift doesn't actually crash the model, it just makes it quietly wrong*.

  • Concept Drift: clinical knowledge and medical understanding can also evolve. For instance, new variants of respiratory diseases may present differently on X-rays, or diagnostic criteria for pneumonia may be updated. The relationship between image features and the correct diagnosis changes, requiring updates to the labeling process and model retraining.
  • Model Updates: the model is periodically retrained with new data to improve diagnostic performance or reduce false positives. These updates might involve changes in architecture, training objectives, or preprocessing steps. While performance may improve on average, these changes can introduce new failure modes and even regressions in certain edge cases. Model changes must be managed and monitored carefully, with rigorous testing and rollback plans.
  • External Factors: regulatory changes or clinical guidelines may require the model to provide additional outputs, such as severity scores or explainability maps. This requires collecting new types of annotations and modifying the model's output structure.
In safety-critical domains like medical imaging, the evolution of data and models is inevitable. As such, systems must be designed with this in mind, embedding mechanisms for monitoring, validation, and traceability at every stage.

By proactively addressing data and model drift, automating model updates and defining processes for dealing with external influences, teams can ensure that AI systems remain not only accurate but also trustworthy, transparent, and robust over time.

5. Zero-error performance is expensive and often impossible

Here's an uncomfortable truth: no AI system will ever be perfect.

No matter how sophisticated your architecture, how clean your data, or how rigorous your testing - your system will eventually encounter scenarios it can't handle.

The pursuit of perfection isn't just futile; it's dangerous because it creates a false sense of security. Perfection is a mirage.

Instead of chasing the impossible, safety-critical AI demands a different mindset: assume failure and design for it.

This means embracing design principles that prioritize resilience, transparency, and human-centered control:

  • Graceful Degradation: When AI fails - and it will - what happens next? Does the system shut down safely, fall back to simpler heuristics, or alert human operators? The difference between a minor incident and a catastrophe often lies in how elegantly a system handles its own limitations.
  • Human-AI Collaboration: AI doesn't have to carry the entire burden. The most reliable critical systems often combine AI capabilities with human oversight, creating multiple layers of validation and intervention. Think of AI as a highly capable assistant, not an infallible decision-maker.
  • Monitoring and Circuit Breakers: Just as electrical systems have circuit breakers to prevent dangerous overloads, AI systems need mechanisms to detect when they're operating outside their safe boundaries. Confidence thresholds, anomaly detection, and performance monitoring aren't nice-to-haves - they're essential safety features.
  • Failure Mode Analysis: Traditional safety engineering asks what could go wrong? and designs accordingly. AI systems demand the same rigor. What happens when your model encounters adversarial inputs, when data quality degrades, or when edge cases compound in unexpected ways?
The goal isn't to eliminate failure - it's to make failure safe, detectable, and recoverable. This isn't just good engineering practice; it's an architectural requirement that separates safe systems from disasters waiting to happen.
TL;DR When failure costs lives, AI must be engineered like a scalpel, not a sledgehammer.

The Bottom Line

The challenges we've outlined aren't insurmountable obstacles; they're design constraints that demand respect, discipline, and thoughtful engineering. Each limitation - from unpredictable failures to shifting data landscapes - represents an opportunity to build more robust, transparent, and trustworthy systems.

The question isn't whether AI belongs in critical systems - it's already there, making life-and-death decisions every day. The real question is: Are we developing these systems with the rigor they deserve?

This collection exists because we believe the answer must be an emphatic yes. It's an open call to build AI systems that don't just perform well in the lab, but earn trust where it matters most.

In critical systems, good enough isn't good enough. The stakes are too high for anything less than our best engineering.

"Do you code with your loved ones in mind?"
>
― Emily Durie-Johnson, Strategies for Developing Safety-Critical Software in C++

🌟 Editor's Choice

🔼 Back to top

  • If you're just starting, here's our recommended reading list:
- ML in Production by Christian Kästner // Chapters 2 (From Models to Systems) and 7 (Planning for Mistakes) - Building Intelligent Systems by Geoff Hulten // Chapters 6 (Why Creating Intelligent Experiences is Hard), 7 (Balancing Intelligent Experiences) and 24 (Dealing with Mistakes) - MJ's The world and the machine, Kiri Wagstaff's Machine Learning that Matters and Varshney's Engineering Safety in Machine Learning > A word of caution ☝️ Use them wisely and remember that "a sword is only as good as the man [or woman] who wields it"

🏃 TLDR

🔼 Back to top

If you're in a hurry or just don't like reading, here's a podcast-style breakdown created with NotebookLM (courtesy of Pedro Nunes 🙏)

Safety Critical AI Podcast

📝 Articles

🔼 Back to top

(Adedjouma et al.*, 2024) Engineering Dependable AI Systems (Alshiekh et al.*, 2017) Safe Reinforcement Learning via Shielding (Amershi et al.*, 2014) Power to the People: The Role of Humans in Interactive Machine Learning (Amershi et al.*, 2019) Software Engineering for Machine Learning: A Case Study (Ames et al.*, 2019) Control Barrier Functions: Theory and Applications

(Arpteg et al.*, 2018) Software Engineering Challenges of Deep Learning (Balduzzi et al.*., 2021) Neural Network Based Runway Landing Guidance for General Aviation Autoland (Bach et al.*, 2024) Unpacking Human-AI Interaction in Safety-Critical Industries: A Systematic Literature Review (Balagopalan et al.*, 2024) Machine learning for healthcare that matters: Reorienting from technical novelty to equitable impact (Barman et al.*, 2024) The Brittleness of AI-Generated Image Watermarking Techniques: Examining Their Robustness Against Visual Paraphrasing Attacks (Becker et al.*, 2021) AI at work – Mitigating safety and discriminatory risk with technical standards (Beyers et al.*, 2019) Quantification of the Impact of Random Hardware Faults on Safety-Critical AI Applications: CNN-Based Traffic Sign Recognition Case Study (Bloomfield et al.*, 2021) Safety Case Templates for Autonomous Systems (Bojarski et al.*, 2016) End to End Learning for Self-Driving Cars (Borg et al.*, 2018) Safely Entering the Deep: A Review of Verification and Validation for Machine Learning and a Challenge Elicitation in the Automotive Industry (Borg et al.*, 2022) Ergo, SMIRK is Safe: A Safety Case for a Machine Learning Component in a Pedestrian Automatic Emergency Brake System (Breck et al.*, 2016) What's your ML test score? A rubric for ML production systems (Bullwinkel et al.*, 2025) Lessons From Red Teaming 100 Generative AI Products (Chance et al.*, 2023) Assessing Trustworthiness of Autonomous Systems (Clement et al.*, 2023) Process Assurance for Object Detection Through Deep Neural Networks to Accomplish the Autonomous Aerial Refueling Task (Dalrymple et al.*, 2025) Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems (Delseny et al.*, 2021) White Paper Machine Learning in Certified Systems (Dmitriev et al.*, 2023) Runway Sign Classifier: A DAL C Certifiable Machine Learning System (Dmitriev et al.*, 2024) Safety assessment of a machine learning-based aircraft emergency braking system: A case study (Dutta et al.*, 2017) Output range analysis for deep feedforward neural networks (Endres et al.*, 2023) Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? (Fisac et al.*, 2017) A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems (Gebru et al.*, 2018) Datasheets for Datasets (Gehr et al.*, 2018) AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation (George et al.*, 2026) TorchLean: Formalizing Neural Networks in Lean (Guldimann et al.*, 2024) COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act (Gursel et al.*, 2025) The role of AI in detecting and mitigating human errors in safety-critical industries: A review (Haroun et al.*, 2023) Machine learning requirements for the airworthiness of structural health monitoring systems in aircraft (Hasani et al.*, 2022) Trustworthy Artificial Intelligence in Medical Imaging (Hawkins et al.*, 2021) Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS) (Heckemann et al.*. 2011) Safe Automotive Software (Hennigen et al.*, 2023) Towards Verifiable Text Generation with Symbolic References (Holzinger et al.*, 2017) What do we need to build explainable AI systems for the medical domain? (Höhndorf et al.*, 2024) Artificial Intelligence Verification Based on Operational Design Domain (ODD) Characterizations Utilizing Subset Simulation (Houben et al.*, 2022) Inspect, Understand, Overcome: A Survey of Practical Methods for AI Safety (Jackson et al.*, 2021) Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles (Jamakatel et al.*, 2024) A Goal-Directed Dialogue System for Assistance in Safety-Critical Application (Jovanovic et al.*, 2022) Private and Reliable Neural Network Inference (Kaakai et al.*, 2022) Toward a Machine Learning Development Lifecycle for Product Certification and Approval in Aviation (Kaakai et al.*, 2023) Data-Centric Operational Design Domain Characterization for Machine Learning-Based Aeronautical Products (Khattak et al.*, 2024) AI-supported estimation of safety critical wind shear-induced aircraft go-around events utilizing pilot reports04600-0) (Kiseleva et al.*, 2025) The EU AI Act, Stakeholder Needs, and Explainable AI: Aligning Regulatory Compliance in a Clinical Decision Support System (Kuutti et al.*, 2019) Safe Deep Neural Network-Driven Autonomous Vehicles Using Software Safety Cages (Lacasa et al.*, 2025) Towards certification: A complete statistical validation pipeline for supervised learning in industry (Leike et al.*, 2017) AI Safety Gridworlds (Leofante et al.*, 2018) Automated Verification of Neural Networks: Advances, Challenges and Perspectives (Lesage et al.*, 2025) Challenges of neural network accelerators for aeronautics—position paper (Leyli-Abadi et al.*, 2025) A Conceptual Framework for AI-based Decision Systems in Critical Infrastructures (Li et al.*, 2022) Trustworthy AI: From Principles to Practices (Li et al.*, 2024) Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents (Luckcuck et al.*, 2019) Formal Specification and Verification of Autonomous Robotic Systems: A Survey (Lwakatare et al.*, 2020) Large-scale machine learning systems in real-world industrial settings: A review of challenges and solutions (Macher et al.*, 2021) Architectural Patterns for Integrating AI Technology into Safety-Critical System (Mariani et al.*, 2023) Trustworthy AI - Part I, II and III (Mattioli et al.*, 2023) AI Engineering to Deploy Reliable AI in Industry (Mitchell et al.*, 2019) Model cards for model reporting (Nahar et al.*, 2022) Collaboration challenges in building ML-enabled systems: communication, documentation, engineering, and process (Nesti et al.*, 2025) The Use of the Simplex Architecture to Enhance Safety in Deep-Learning-Powered Autonomous Systems (Nouri et al.*, 2025) The DevSafeOps Dilemma: A Systematic Literature Review on Rapidity in Safe Autonomous Driving Development and Operation (Papernot et al.*, 2018) SoK: Security and Privacy in Machine Learning (Patel et al.*, 2025) Towards Secure MLOps: Surveying Attacks, Mitigation Strategies, and Research Challenges (Perez-Cerrolaza et al.*, 2024) Artificial Intelligence for Safety-Critical Systems in Industrial and Transportation Domains: A Survey (Phan et al.*, 2019) Neural Simplex Architecture (Picardi et al.*, 2020) Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems (Rajabli et al.*, 2021) Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review (Rajagede et al.*, 2025) NAPER: Fault Protection for Real-Time Resource-Constrained Deep Neural Networks (Ramos et al.*, 2024) Collaborative Intelligence for Safety-Critical Industries: A Literature Review (Reuel et al.*, 2024) Open Problems in Technical AI Governance (Schulhoff et al.*, 2025) Ignore This Title and HackAPrompt: Exposing Systemic Vulnerabilities of LLMs through a Global Scale Prompt Hacking Competition (Schulhoff et al.*, 2024) The Prompt Report: A Systematic Survey of Prompt Engineering Techniques (Sculley et al.*, 2011) Detecting adversarial advertisements in the wild (Sculley et al.*, 2015) Hidden Technical Debt in Machine Learning Systems (Sendak et al.*, 2020) Real-World Integration of a Sepsis Deep Learning Technology Into Routine Clinical Care: Implementation Study (Sharif et al.*, 2016) Accessorize to a Crime: Real and Stealthy Attacks on State-of-the-Art Face Recognition (Shuaia et al.*, 2024) Advances in Assuring Artificial Intelligence and Machine Learning Development Lifecycle and Their Applications in Aviation (Sinha et al.*, 2020) Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems (Sprockhoff et al.*, 2024) Model-Based Systems Engineering for AI-Based Systems (Sridhar et al.*, 2025) Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications (Stoica et al.*, 2017) A Berkeley View of Systems Challenges for AI (Tambon et al.*, 2021) How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review (Torens et al.*, 2024) From Operational Design Domain to Runtime Monitoring of AI-based Aviation Systems (Torens et al.*, 2025) Runtime monitoring of operational design domain to safeguard machine learning components (Uuk et al.*, 2025) Effective Mitigations for Systemic Risks from General-Purpose AI (Valot et al.*, 2025) Implementation of airborne ML models with semantics preservation (Webster et al.*, 2019) A corroborative approach to verification and validation of human-robot teams (Wei et al.*, 2022) On the Safety of Interpretable Machine Learning: A Maximum Deviation Approach (Weiding et al.*. 2024) Holistic Safety and Responsibility Evaluations of Advanced AI Models (Xie et al.*, 2020) DeepHunter: a coverage-guided fuzz testing framework for deep neural networks (Yu et al.*, 2024) A Survey on Failure Analysis and Fault Injection in AI Systems (Zhang et al.*, 2018) Efficient Neural Network Robustness Certification with General Activation Functions (Zhang et al.*, 2020) Machine Learning Testing: Survey, Landscapes and Horizons (Zhang et al.*, 2024) The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap (Zhong et al.*, 2021) Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems (Zrelli et al.*, 2025) Implementation of the Collision Avoidance System for DO-178C Compliance

✍️ Blogs / News

🔼 Back to top

📚 Books

🔼 Back to top

(Bass et al.*, 2025) Engineering AI Systems: Architecture and DevOps Essentials (Chen et al.*, 2022) Reliable Machine Learning: Applying SRE Principles to ML in Production (Crowe et al.*, 2024) Machine Learning Production Systems: Engineering Machine Learning Models and Pipelines
README truncated. [View on GitHub

© 2026 GitRepoTrend · JGalego/awesome-safety-critical-ai · Updated daily from GitHub