safety-critical

There are 3 repositories under safety-critical topic.

stanislaw / awesome-safety-critical
List of resources about programming practices for writing safety-critical software.
safety-critical safety-standards safety awesome-lists awesome-list
Language:Python 1521
omnisafe
PKU-Alignment / omnisafe
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
Language:Python 865
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
522
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 os os-ii micrium kernel ucos-ii ucosii certification safety safety-critical
Language:C 513
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
Language:Python 330
o1heap
pavel-kirienko / o1heap
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 changes.
memory-allocator heap misra safety-critical hard-real-time hard-realtime real-time realtime memory-management memory worst-case constant-time embedded embedded-systems avionics safety-critical-systems high-reliability high-integrity allocator malloc
Language:C++ 225
HybridRobotics / CBF-CLF-Helper
Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.
safety-critical control-theory cbf clf matlab control-barrier-functions control-lyapunov-functions
Language:MATLAB 221
boostorg / safe_numerics
Replacements to standard numeric types which throw exceptions on errors
integer-arithmetic boost-libraries c-plus-plus safe-numerics safe-integers safety-critical
Language:C++ 207
liuzuxin / FSRL
🚀 A fast safe reinforcement learning library in PyTorch
reinforcement-learning safe-rl library pytorch safety-critical decision-making robotics trustworthy-ai cpo ppo sac trpo cvpo
Language:Python 131
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.
safe-reinforcement-learning safe-control safety-critical safety-critical-systems constraint-programming constraint-based-modeling constrained-optimization constrained-reinforcement-learning constrained-learning differentiable-programming safe-planning robotics-control non-convex-optimization constraints safety-critical-learning optimization
Language:Python 61
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 heterogeneous-computing mixed-criticality-systems riscv safety-critical simulation systemverilog
Language:Tcl 57
IBM / vsrl-framework
The Verifiably Safe Reinforcement Learning Framework
reinforcement-learning safety-critical formal-verification formal-methods reinforcement-learning-algorithms reinforcement-learning-environments cyber-physical-systems keymaerax keymaera differential-dynamic-logic pytorch safe-reinforcement-learning safe-control
Language:Python 53
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 while, at the same time, providing easier designing, maintenance and bug removal. About 130.000 lines of code.
shell ada interpreted-programming-language reliable security strongly-typed elegant agile-integration side-effects safety-critical mysql postgresql ada-language
Language:Ada 49
Allenpandas / 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-agents autonomous-car autonomous-driving autonomous-driving-system autonomous-systems autonomous-vehicle autonomous-vehicles planning-algorithms safety-critical sensor-fusion sensors-data-collection smart-traffic smart-traffic-system
39
Impression2805 / Awesome-Failure-Detection
A list of papers that studies out-of-distribution (OOD) detection and misclassification detection (MisD)
failure-detection failure-prediction misclassification-detection out-of-distribution-detection safety safety-critical selective-classification reliable-prediction confidence-estimation uncertainty uncertainty-estimation uncertainty-quantification
38
boyiwei / alignment-attribution-code
Official Code for Paper: Assessing the Brittleness of Safety Alignment via Pruning and Low-Rank Modifications
alignment llm low-rank-representaion safety safety-critical
Language:Python 29
tayalmanan28 / Safe_Reinforcement_Learning
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 (RCBFs) for safe reinforcement learning in two custom environments
robotics reinforcement-learning safe-reinforcement-learning pytorch control deep-learning iisc machine-learning safety-critical
Language:Python 26
c-atom
ctlst-tech / c-atom
Model-based driven real-time embedded software framework for safety-critical and mission-critical application
autopilot uas uav vms drone embedded embedded-systems functional-programming hardware-agnostic os-agnostic posix-compliant realtime mission-critical safety-critical catpilot model-based-development
Language:C 24
paoloteti / ti-hercules-bsp
Bare Metal Board Support Package for Texas Instruments Cortex-R4F/R5F TMS570
cortex-r4f cortex-r5f safety-critical automotive automation armv7
Language:Rust 24
abderraouf-adjal / Embedded-PID
Portable C99 implementation of Type-C PID controller with a flexible API and errors handling. Also an Arduino library.
arduino arduino-library pid pid-control pid-controller c c99 safety-critical filters algorithms
Language:Jupyter Notebook 19
Berk-Tosun / cbf-cartpole
Various Control Barrier Functions realized on cartpole.
cbf control-barrier-functions python cartpole lqr learning cbf-learning control robot dynamics safety-critical
Language:Python 19
containers / qm
QM is a containerized environment for running Functional Safety qm (Quality Management) software
auto car embedded linux qm quadlet safety safety-critical container podman secure secure-by-design
Language:Shell 19
arlk / SafeFeedbackMotionPlanning.jl
Safe Control for Nonlinear Systems
nonlinear-control adaptive-control safe-control safety-critical
Language:Julia 18
systerel / S2OPC
Mirror repository for open-source OPC-UA Toolkit designed with security and embedded devices in mind. Main repository is on gitlab:
opc-ua b-method security safety-critical
Language:C 16
Aureus
Astra-Labs / Aureus
An open-source design system for non-profits to quickly develop user safety critical applications.
design flutter ui open-source design-patterns safety-critical
Language:Dart 13
elisa-tech / wg-aerospace
ELISA Aerospace Working Group
aerospace linux safety-critical
Language:TeX 13
silverSapphire / Eigen-Malloc-Free-Pseudoinverse
This extended Eigen C++ template library and wrapper provide a malloc-free Moore-Penrose pseudoinverse solver.
cpp eigen eigen-library linear-algebra mathematics embedded embedded-systems memory-allocation memory-management heap-memory malloc-free malloc safety-critical safety-critical-systems singular-value-decomposition bidiagonalization
Language:C++ 11
tzanis-anevlavis / cis2m
Controlled Invariant Sets in Two Moves
control-systems linear-systems controlled-invariant-sets safety-critical controller-synthesis high-dimensional
Language:MATLAB 11
elisa-tech / BASIL
Software Quality Management Tool
requirements-management safety-critical softwarequality testcases testing testspec traceability
Language:Python 7
Berk-Tosun / cbf_segway
Control barrier functions implemented through python via pybullet.
control-barrier-functions cbf pybullet safety-critical safety-critical-control control-theory
Language:Jupyter Notebook 6
adcs_firmware
cmattatall / adcs_firmware
Repository for the LORIS cubesat Attitude Determination and Control System (ADCS) firmware
cubesat loris dalhousie satellite adcs safety-critical
Language:C 5
CommonRoad / commonroad-crime
🚧 🚔 ⚠ Toolbox to compute Criticality Measures for Automated Vehicles
autonomous-driving criticality safety-critical safety-critical-systems safety-monitoring scenario-analysis time-to-collision time-to-react
Language:Jupyter Notebook 5
pml-analyzer
onera / pml-analyzer
The PML analyzer is an open source API providing a simple DSL to build a description of the architecture of your chip based on the PHYLOG Modelling Language (PML).
certification formal-languages formal-methods interference multi-core safety-critical
Language:Scala 5
qingfengxia / cpp_numeric_cast
provides std::to_integer<>() and std::numeric_cast<>(), std::to_enum<>() with runtime overflow check
cpp safety-critical
Language:C++ 5
sergiocollado / potpourri
notes about many, many topics ...
notes embedded safety-critical github-page
Language:C 5
pulp-platform / astral
A space computing platform built around Cheshire, with a configurable number of safety, security, reliability and predictability features with a ready-to-use FPGA flow on multiple boards.
accelerator heterogeneous-computing multicore safety-critical space c fpga riscv systemverilog
Language:Tcl 4