List of resources about programming practices for writing safety-critical software.
- Updated
- Python
#
safety-critical
Here are 160 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
- Python
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
- Python
This repository provides a design methodology and approach to building highly-reliable applications on Microsoft Azure for mission-critical workloads.
- Updated
Constant-complexity, deterministic, very fast memory allocator (heap) for hard real-time high-integrity embedded systems. Allocation takes ≈120 cycles @ RP2350 irrespective of heap usage. 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
- C++
Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.
- Updated
- MATLAB
🚀 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
- 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 rgb-d cbf mpc-cbf
- Updated
- Python
Replacements to standard numeric types which throw exceptions on errors
- Updated
- C++
A fast and flexible data logging/tracing toolkit for software testing, debugging, and visualization. Features minimally intrusive C/C++ code instrumentation, a host-based decoding application, and demo code. It is essentially an fprintf() function that runs on the host instead of the embedded system.
visualization debugging iot logger logging stm32 reverse-engineering realtime printf instrumentation embedded-systems tracing logging-library misra safety-critical fprintf functional-safety logging-framework c-programming-language tracing-library
- Updated
- C
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
- Tcl
[ICML 2024] Assessing the Brittleness of Safety Alignment via Pruning and Low-Rank Modifications
- Updated
- 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
- Python
When the stakes are high, intelligence is only half the equation - reliability is the other
machine-learning awesome reliability artificial-intelligence awesome-list compliance reproducibility ai-safety safety-critical awesome-lists determinism explainability responsible-ai ai-privacy trustworthy-ai genai
- Updated
- JavaScript
The Visibility-Aware RRT* implementation for safety-critical navigation with perception-limited robots.
- Updated
- Python
Bridging generative world models and causal reasoning for realistic yet adversarial safety-critical scenario generation.
safety-critical generative-models closed-loop world-models causal-reasoning counterfactual-generation
- Updated
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
- Python
Implementation of the Online Adaptive CBF for safety-critical navigation for input constrained systems.
- Updated
- Python
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
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."