safety-critical 开源项目推荐（332 个）

stanislaw /awesome-safety-critical

Resources on programming practices for safety-critical software.

PKU-Alignment /omnisafe

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

weston-embedded /uC-OS2

µ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.

PKU-Alignment /safety-gymnasium

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

pavel-kirienko /o1heap

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.

HybridRobotics /CBF-CLF-Helper

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

tkkim-robot /safe_control

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

liuzuxin /FSRL

🚀 PyTorch 中的快速安全强化学习库

RTEdbg /RTEdbg

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.

boostorg /safe_numerics

Replacements to standard numeric types which throw exceptions on errors

woven-by-toyota /arene-base

A Foundational C++ Library for Safety-Critical Software.

pulp-platform /carfield

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.

boyiwei /alignment-attribution-code

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

TuojingAI /CounterScene

Bridging generative world models and causal reasoning for realistic yet adversarial safety-critical scenario generation.

wanxinjin /Safe-PDP

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.

tkkim-robot /online_adaptive_cbf

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

tkkim-robot /visibility_rrt

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

JGalego /awesome-safety-critical-ai

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

elisa-tech /BASIL

Software Quality Management Tool

IBM /vsrl-framework

The Verifiably Safe Reinforcement Learning Framework