List of resources about programming practices for writing safety-critical software.
-
Updated
Apr 23, 2024 - Python
#
safety-critical
Here are 70 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
Oct 15, 2024 - Python
This repository provides a design methodology and approach to building highly-reliable applications on Microsoft Azure for mission-critical workloads.
-
Updated
Oct 1, 2024
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
May 14, 2024 - Python
Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.
-
Updated
Jun 30, 2024 - MATLAB
Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems. There is very 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
Apr 10, 2024 - C++
Replacements to standard numeric types which throw exceptions on errors
-
Updated
Dec 11, 2024 - 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
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
Dec 23, 2024 - Tcl
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
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
Dec 16, 2024
Official Code for Paper: Assessing the Brittleness of Safety Alignment via Pruning and Low-Rank Modifications
-
Updated
Oct 4, 2024 - 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
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
Dec 5, 2024 - 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
Dec 22, 2024 - Ada
🚗 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
Repository containing the code for the paper "Safe Model-Based Reinforcement Learning using Robust Control Barrier Functions". Specifically, an implementation of SAC + Robust Control Barrier Functions (RCBFs) for safe reinforcement learning in two custom environments
machine-learning control reinforcement-learning deep-learning robotics pytorch safety-critical safe-reinforcement-learning iisc
-
Updated
Jun 23, 2022 - 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
Oct 6, 2023
Bare Metal Board Support Package for Texas Instruments Cortex-R4F/R5F TMS570
-
Updated
Dec 4, 2020 - Rust
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."