List of resources about programming practices for writing safety-critical software.

JMLR: OmniSafe is an infrastructural framework for accelerating SafeRL research.

µC/OS-II is a preemptive, highly portable, and scalable real-time kernels. Designed for ease of use on a huge number of CPU architectures.

NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark

This repository provides a design methodology and approach to building highly-reliable applications on Microsoft Azure for mission-critical workloads.

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.

Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.

🚀 A fast safe reinforcement learning library in PyTorch

Replacements to standard numeric types which throw exceptions on errors

Safety-critical controllers for single/multi robotic navigation: CBF-QP, MPC-CBF, and etc.

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.

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.

[ICML 2024] Assessing the Brittleness of Safety Alignment via Pruning and Low-Rank Modifications

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.

The Visibility-Aware RRT* implementation for safety-critical navigation with perception-limited robots.

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

The Verifiably Safe Reinforcement Learning Framework

Implementation of the Online Adaptive CBF for safety-critical navigation for input constrained systems.

A list of papers that studies out-of-distribution (OOD) detection and misclassification detection (MisD)

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.

Software Quality Management Tool

Repository containing the code for safe reinforcement learning in two custom environments

🚗 A repository for documenting and exploring the world of autonomous driving safety, featuring a curated collection of research papers, reports, and resource.

ELISA Aerospace Working Group

QM is a containerized environment for running Functional Safety qm (Quality Management) software

Bare Metal Board Support Package for Texas Instruments Cortex-R4F/R5F TMS570

Model-based driven real-time embedded software framework for safety-critical and mission-critical application

Portable C99 implementation of Type-C PID controller with a flexible API and errors handling. Also an Arduino library.

Various Control Barrier Functions realized on cartpole.

Mirror repository for open-source OPC-UA Toolkit designed with security and embedded devices in mind. Main repository is on gitlab: