safety-critical · GitHub Topics

stanislaw / awesome-safety-critical

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

safety-critical safety Awesome Lists

Python 1.57 k

5 个月前

PKU-Alignment / omnisafe

#计算机科学#JMLR: OmniSafe is an infrastructural framework for accelerating SafeRL research.

benchmark PyTorch deep-reinforcement-learning reinforcement-learning 机器学习 constraint-satisfaction-problem 深度学习 safety-critical

Python 976

4 个月前

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.

rtos real-time 操作系统 Kernel certification safety safety-critical

C 645

3 年前

Azure / Mission-Critical

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

Azure reliability-engineering safety-critical mission-critical business-critical

520

7 个月前

PKU-Alignment / safety-gymnasium

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

constraint-satisfaction-problem reinforcement-learning safety-critical

Python 478

5 个月前

pavel-kirienko / o1heap

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

memory-allocator heap safety-critical real-time realtime memory-management memory embedded embedded-systems avionics high-reliability allocator malloc

C++ 337

3 个月前

HybridRobotics / CBF-CLF-Helper

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

safety-critical control-theory MATLAB

MATLAB 321

1 年前

boostorg / safe_numerics

Replacements to standard numeric types which throw exceptions on errors

boost-libraries C++safety-critical

C++ 216

4 个月前

liuzuxin / FSRL

🚀 A fast safe reinforcement learning library in PyTorch

reinforcement-learning Library PyTorch safety-critical decision-making Robotics ppo sac

Python 203

10 个月前

tkkim-robot / safe_control

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

control mpc navigation Robotics robotics-simulation safety-critical Simulation rgb-d

Python 131

9 天前

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.

asic C fpga RISC-V safety-critical Simulation systemverilog

Tcl 107

1 个月前

RTEdbg / RTEdbg

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 Logging tracing cortex-m Instrumentation real-time realtime C++embedded-c embedded-systems printf safety-critical C stm32 Internet of things 逆向工程

2 个月前

boyiwei / alignment-attribution-code

#大语言模型#[ICML 2024] Assessing the Brittleness of Safety Alignment via Pruning and Low-Rank Modifications

alignment 大语言模型 safety safety-critical

Python 79

4 个月前

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.

safety-critical constraint-programming constrained-optimization differentiable-programming robotics-control constraints optimization

Python 70

3 年前

IBM / vsrl-framework

The Verifiably Safe Reinforcement Learning Framework

reinforcement-learning safety-critical formal-verification formal-methods reinforcement-learning-algorithms reinforcement-learning-environments PyTorch

Python 57

4 年前

kburtch / SparForte

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

Shell reliable 安全 elegant safety-critical MySQL PostgreSQL

Ada 51

5 个月前

Impression2805 / Awesome-Failure-Detection

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

out-of-distribution-detection safety safety-critical uncertainty uncertainty-estimation uncertainty-quantification

2 年前

tayalmanan28 / Safe_Reinforcement_Learning

#计算机科学#Repository containing the code for safe reinforcement learning in two custom environments

Robotics reinforcement-learning PyTorch control 深度学习机器学习 safety-critical

Python 45

4 个月前

Allenpandas / Awesome-Autonomous-Driving-Security-Resources

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

autonomous-driving autonomous-vehicles safety-critical sensor-fusion autonomous-agents

10 个月前

tkkim-robot / online_adaptive_cbf

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

control mpc navigation Robotics safety-critical

Python 36

1 个月前