19 results found Sort:

stanislaw
awesome-safety-critical stanislaw
88
1.5k
cc0-1.0
63
List of resources about programming practices for writing safety-critical software.
safety awesome-list awesome-lists safety-critical safety-standards
Created 2017-03-02
265 commits to master branch, last one 8 months ago
PKU-Alignment
omnisafe PKU-Alignment
133
956
apache-2.0
40
JMLR: OmniSafe is an infrastructural framework for accelerating SafeRL research.
saferl pytorch safe-rl benchmark safety-gym constraint-rl deep-learning safety-critical machine-learning safety-gymnasium reinforcement-learning deep-reinforcement-learning safe-reinforcement-learning constraint-satisfaction-problem
Created 2022-11-19
189 commits to main branch, last one 2 months ago
weston-embedded
uC-OS2 weston-embedded
206
577
apache-2.0
37
µ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.
os rtos os-ii kernel safety ucosii micrium ucos-ii real-time certification safety-critical
Created 2020-02-28
13 commits to develop branch, last one about a year ago
Azure
Mission-Critical Azure
92
523
mit
31
This repository provides a design methodology and approach to building highly-reliable applications on Microsoft Azure for mission-critical workloads.
azure safety-critical mission-critical business-critical reliability-engineering
Created 2022-01-31
34 commits to main branch, last one 2 months ago
PKU-Alignment
safety-gymnasium PKU-Alignment
53
410
apache-2.0
10
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
constraint-rl safety-critical reinforcement-learning safety-critical-systems safe-policy-optimization safe-reinforcement-learning constraint-satisfaction-problem safe-reinforcement-learning-environments
Created 2023-01-27
70 commits to main branch, last one 7 months ago
HybridRobotics
CBF-CLF-Helper HybridRobotics
63
275
unknown
7
Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.
cbf clf matlab control-theory safety-critical control-barrier-functions control-lyapunov-functions
Created 2020-08-21
26 commits to master branch, last one 5 months ago
pavel-kirienko
o1heap pavel-kirienko
31
256
mit
14
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...
heap misra malloc memory avionics embedded realtime allocator real-time worst-case constant-time hard-realtime hard-real-time high-integrity safety-critical embedded-systems high-reliability memory-allocator memory-management safety-critical-systems
Created 2020-01-22
81 commits to master branch, last one 8 months ago
boostorg
safe_numerics boostorg
43
210
bsl-1.0
19
Replacements to standard numeric types which throw exceptions on errors
c-plus-plus safe-integers safe-numerics boost-libraries safety-critical integer-arithmetic
Created 2012-07-13
395 commits to develop branch, last one 4 months ago
liuzuxin
FSRL liuzuxin
27
166
mit
4
🚀 A fast safe reinforcement learning library in PyTorch
cpo ppo sac cvpo trpo library pytorch safe-rl robotics trustworthy-ai decision-making safety-critical reinforcement-learning
Created 2023-05-07
15 commits to main branch, last one 2 months ago
pulp-platform
carfield pulp-platform
13
73
other
13
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 riscv simulation systemverilog safety-critical heterogeneous-computing mixed-criticality-systems
Created 2023-03-01
709 commits to main branch, last one 5 months ago
wanxinjin
Safe-PDP wanxinjin
7
71
mit
3
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.
constraints optimization safe-control safe-planning safety-critical robotics-control constrained-learning constraint-programming non-convex-optimization safety-critical-systems constrained-optimization safety-critical-learning constraint-based-modeling differentiable-programming safe-reinforcement-learning constrained-reinforcement-learning
Created 2021-05-31
10 commits to main branch, last one 2 years ago
RTEdbg
RTEdbg RTEdbg
1
69
mit
5
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.
cpp iot misra stm32 printf fprintf logging tracing cortex-m realtime debugging real-time embedded-c instrumentation safety-critical tracing-library embedded-systems functional-safety reverse-engineering c-programming-language
Created 2024-05-11
8 commits to master branch, last one 5 days ago
boyiwei
alignment-attribution-code boyiwei
8
64
mit
2
Official Code for Paper: Assessing the Brittleness of Safety Alignment via Pruning and Low-Rank Modifications
llm safety alignment safety-critical low-rank-representaion
Created 2024-02-07
17 commits to main branch, last one 2 months ago
IBM
vsrl-framework IBM
12
56
mit
10
The Verifiably Safe Reinforcement Learning Framework
pytorch keymaera keymaerax safe-control formal-methods safety-critical formal-verification cyber-physical-systems reinforcement-learning differential-dynamic-logic safe-reinforcement-learning reinforcement-learning-algorithms reinforcement-learning-environments
This repository has been archived (exclude archived)
Created 2020-07-07
35 commits to master branch, last one 3 years ago
kburtch
SparForte kburtch
6
50
gpl-2.0
13
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...
ada mysql shell elegant reliable security postgresql ada-language side-effects strongly-typed safety-critical agile-integration interpreted-programming-language
Created 2011-03-18
1,586 commits to master branch, last one 3 days ago
tkkim-robot
safe_control tkkim-robot
9
49
unknown
1
Safety-critical controllers for single/multi robotic navigation: CBF-QP, MPC-CBF, and etc.
qp cbf mpc control robotics navigation simulation safety-critical obstacle-avoidance robotics-simulation
Created 2024-07-10
91 commits to main branch, last one 17 days ago
Allenpandas
Awesome-Autonomous-Driving-Security-Resources Allenpandas
3
44
mit
5
🚗 A repository for documenting and exploring the world of autonomous driving safety, featuring a curated collection of research papers, reports, and resource.
sensor-fusion smart-traffic autonomous-car safety-critical autonomous-agents autonomous-driving autonomous-systems autonomous-vehicle autonomous-vehicles planning-algorithms smart-traffic-system sensors-data-collection autonomous-driving-system
Created 2023-01-03
127 commits to main branch, last one 3 months ago
tayalmanan28
Safe_Reinforcement_Learning tayalmanan28
7
41
mit
2
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...
iisc control pytorch robotics deep-learning safety-critical machine-learning reinforcement-learning safe-reinforcement-learning
Created 2022-01-30
17 commits to main branch, last one 2 years ago
Impression2805
Awesome-Failure-Detection Impression2805
2
40
mit
1
A list of papers that studies out-of-distribution (OOD) detection and misclassification detection (MisD)
safety uncertainty safety-critical failure-detection failure-prediction reliable-prediction confidence-estimation uncertainty-estimation selective-classification uncertainty-quantification misclassification-detection out-of-distribution-detection
Created 2023-05-28
27 commits to main branch, last one about a year ago