List of resources about programming practices for writing safety-critical software.
-
Updated
Mar 11, 2025 - Python
#
safety-critical
Here are 77 public repositories matching this topic...
JMLR: OmniSafe is an infrastructural framework for accelerating SafeRL research.
benchmark machine-learning reinforcement-learning deep-learning deep-reinforcement-learning constraint-satisfaction-problem pytorch safety-critical saferl safe-reinforcement-learning safe-rl safety-gym safety-gymnasium constraint-rl
-
Updated
Mar 17, 2025 - Python
This repository provides a design methodology and approach to building highly-reliable applications on Microsoft Azure for mission-critical workloads.
-
Updated
Jan 14, 2025
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
reinforcement-learning constraint-satisfaction-problem safety-critical safety-critical-systems safe-reinforcement-learning safe-reinforcement-learning-environments constraint-rl safe-policy-optimization
-
Updated
Feb 27, 2025 - Python
Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.
-
Updated
Jun 30, 2024 - MATLAB
Constant-complexity, deterministic, very fast memory allocator (heap) for hard real-time high-integrity embedded systems. Allocation takes ≈165 cycles on Cortex M4. There is little activity because the project is finished and does not require further changes.
real-time embedded memory realtime allocator memory-allocator malloc embedded-systems constant-time heap memory-management misra worst-case avionics safety-critical high-reliability safety-critical-systems hard-realtime hard-real-time high-integrity
-
Updated
May 12, 2025 - C++
Replacements to standard numeric types which throw exceptions on errors
-
Updated
Apr 10, 2025 - C++
🚀 A fast safe reinforcement learning library in PyTorch
library reinforcement-learning robotics decision-making pytorch sac safety-critical trpo ppo cpo safe-rl trustworthy-ai cvpo
-
Updated
Sep 30, 2024 - Python
Safety-critical controllers for single/multi robotic navigation: CBF-QP, MPC-CBF, and etc.
control robotics navigation simulation mpc obstacle-avoidance safety-critical qp robotics-simulation cbf
-
Updated
Jun 2, 2025 - Python
A mixed-criticality platform built around Cheshire, with a number of safety/security and predictability features. Ready-to-use FPGA flow on multiple boards is available.
c asic fpga simulation riscv systemverilog safety-critical heterogeneous-computing mixed-criticality-systems
-
Updated
Jun 2, 2025 - Tcl
Fast and flexible data logging/tracing toolkit for software testing and debugging. Minimally intrusive C/C++ code instrumentation, host-based decoding application, demo code included.
debugging iot real-time cortex-m cpp logging stm32 reverse-engineering realtime printf instrumentation embedded-systems tracing misra embedded-c safety-critical fprintf functional-safety c-programming-language tracing-library
-
Updated
May 25, 2025
[ICML 2024] Assessing the Brittleness of Safety Alignment via Pruning and Low-Rank Modifications
-
Updated
Mar 30, 2025 - Python
Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad class of safety-critical learning and control tasks.
optimization constraints constrained-optimization constraint-programming robotics-control constraint-based-modeling safety-critical safety-critical-systems differentiable-programming non-convex-optimization safe-reinforcement-learning constrained-learning safe-control constrained-reinforcement-learning safe-planning safety-critical-learning
-
Updated
Jul 23, 2022 - Python
The Verifiably Safe Reinforcement Learning Framework
reinforcement-learning pytorch reinforcement-learning-algorithms formal-methods formal-verification keymaerax safety-critical cyber-physical-systems differential-dynamic-logic keymaera safe-reinforcement-learning reinforcement-learning-environments safe-control
-
Updated
Jul 22, 2021 - Python
Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 130.000 lines of code.
mysql shell security postgresql elegant interpreted-programming-language ada reliable strongly-typed side-effects safety-critical ada-language agile-integration
-
Updated
Mar 5, 2025 - Ada
A list of papers that studies out-of-distribution (OOD) detection and misclassification detection (MisD)
uncertainty safety uncertainty-quantification uncertainty-estimation failure-detection safety-critical failure-prediction confidence-estimation out-of-distribution-detection selective-classification misclassification-detection reliable-prediction
-
Updated
Oct 6, 2023
Repository containing the code for safe reinforcement learning in two custom environments
machine-learning control reinforcement-learning deep-learning robotics pytorch safety-critical safe-reinforcement-learning iisc
-
Updated
Apr 9, 2025 - Python
🚗 A repository for documenting and exploring the world of autonomous driving safety, featuring a curated collection of research papers, reports, and resource.
autonomous-car autonomous-driving autonomous-vehicles sensor-fusion autonomous-agents safety-critical autonomous-systems planning-algorithms smart-traffic-system autonomous-vehicle sensors-data-collection smart-traffic autonomous-driving-system
-
Updated
Sep 19, 2024
The Visibility-Aware RRT* implementation for safety-critical navigation with perception-limited robots.
-
Updated
Apr 3, 2025 - Python
Improve this page
Add a description, image, and links to the safety-critical topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the safety-critical topic, visit your repo's landing page and select "manage topics."