Projects in Awesome Lists tagged with safety-critical

https://github.com/PKU-Alignment/omnisafe

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

benchmark constraint-rl constraint-satisfaction-problem deep-learning deep-reinforcement-learning machine-learning pytorch reinforcement-learning safe-reinforcement-learning safe-rl saferl safety-critical safety-gym safety-gymnasium

Last synced: 04 Dec 2024

https://github.com/pku-alignment/omnisafe

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

benchmark constraint-rl constraint-satisfaction-problem deep-learning deep-reinforcement-learning machine-learning pytorch reinforcement-learning safe-reinforcement-learning safe-rl saferl safety-critical safety-gym safety-gymnasium

Last synced: 14 May 2025

https://github.com/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.

certification kernel micrium os os-ii real-time rtos safety safety-critical ucos-ii ucosii

Last synced: 14 May 2025

https://github.com/azure/mission-critical

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

azure business-critical mission-critical reliability-engineering safety-critical

Last synced: 18 Jan 2025

https://github.com/Azure/Mission-Critical

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

azure business-critical mission-critical reliability-engineering safety-critical

Last synced: 29 Nov 2024

https://github.com/Azure/AlwaysOn

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

azure business-critical mission-critical reliability-engineering safety-critical

Last synced: 02 Jan 2025

https://github.com/pku-alignment/safety-gymnasium

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

constraint-rl constraint-satisfaction-problem reinforcement-learning safe-policy-optimization safe-reinforcement-learning safe-reinforcement-learning-environments safety-critical safety-critical-systems

Last synced: 14 May 2025

https://github.com/PKU-Alignment/safety-gymnasium

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

constraint-rl constraint-satisfaction-problem reinforcement-learning safe-policy-optimization safe-reinforcement-learning safe-reinforcement-learning-environments safety-critical safety-critical-systems

Last synced: 04 Dec 2024

https://github.com/hybridrobotics/cbf-clf-helper

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

cbf clf control-barrier-functions control-lyapunov-functions control-theory matlab safety-critical

Last synced: 05 Apr 2025

https://github.com/pavel-kirienko/o1heap

Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems. Allocation takes ≈165 cycles on Cortex M4. There is very little activity because the project is finished and does not require further changes.

allocator avionics constant-time embedded embedded-systems hard-real-time hard-realtime heap high-integrity high-reliability malloc memory memory-allocator memory-management misra real-time realtime safety-critical safety-critical-systems worst-case

Last synced: 07 Apr 2025

https://github.com/boostorg/safe_numerics

Replacements to standard numeric types which throw exceptions on errors

boost-libraries c-plus-plus integer-arithmetic safe-integers safe-numerics safety-critical

Last synced: 16 May 2025

https://github.com/liuzuxin/fsrl

🚀 A fast safe reinforcement learning library in PyTorch

cpo cvpo decision-making library ppo pytorch reinforcement-learning robotics sac safe-rl safety-critical trpo trustworthy-ai

Last synced: 03 Apr 2025

https://github.com/tkkim-robot/safe_control

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

cbf control mpc navigation obstacle-avoidance qp robotics robotics-simulation safety-critical simulation

Last synced: 06 Apr 2025

https://github.com/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.

c-programming-language cortex-m cpp debugging embedded-c embedded-systems fprintf functional-safety instrumentation iot logging misra printf real-time realtime reverse-engineering safety-critical stm32 tracing tracing-library