safety-critical

There are 64 repositories under safety-critical topic.

  • stanislaw/awesome-safety-critical

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

    Language:Python1.5k62488
  • omnisafe

    PKU-Alignment/omnisafe

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

    Language:Python91038101129

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

    Language:C5483616202

  • Azure/Mission-Critical

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

    52131393

  • PKU-Alignment/safety-gymnasium

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

    Language:Python37892453

  • HybridRobotics/CBF-CLF-Helper

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

    Language:MATLAB24861164
  • 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.

    Language:C++246131426

  • boostorg/safe_numerics

    Replacements to standard numeric types which throw exceptions on errors

    Language:C++207199743

  • liuzuxin/FSRL

    🚀 A fast safe reinforcement learning library in PyTorch

    Language:Python1543225

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

    Language:Tcl67123713

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

    Language:Python66207

  • boyiwei/alignment-attribution-code

    Official Code for Paper: Assessing the Brittleness of Safety Alignment via Pruning and Low-Rank Modifications

    Language:Python56258

  • IBM/vsrl-framework

    The Verifiably Safe Reinforcement Learning Framework

    Language:Python5510512

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

    Language:Ada5012146

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

    41402

  • Impression2805/Awesome-Failure-Detection

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

    40112

  • 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

    Language:Python32106

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

    31502
  • c-atom

    ctlst-tech/c-atom

    Model-based driven real-time embedded software framework for safety-critical and mission-critical application

    Language:C24500

  • paoloteti/ti-hercules-bsp

    Bare Metal Board Support Package for Texas Instruments Cortex-R4F/R5F TMS570

    Language:Rust24683

  • Berk-Tosun/cbf-cartpole

    Various Control Barrier Functions realized on cartpole.

    Language:Python21114

  • containers/qm

    QM is a containerized environment for running Functional Safety qm (Quality Management) software

    Language:Shell211318823

  • abderraouf-adjal/Embedded-PID

    Portable C99 implementation of Type-C PID controller with a flexible API and errors handling. Also an Arduino library.

    Language:Jupyter Notebook20313

  • arlk/SafeFeedbackMotionPlanning.jl

    Safe Control for Nonlinear Systems

    Language:Julia18105

  • elisa-tech/wg-aerospace

    ELISA Aerospace Working Group

    Language:TeX166103

  • systerel/S2OPC

    Mirror repository for open-source OPC-UA Toolkit designed with security and embedded devices in mind. Main repository is on gitlab:

    Language:C16803
  • Aureus

    Astra-Labs/Aureus

    An open-source design system for non-profits to quickly develop user safety critical applications.

    Language:Dart132691

  • silverSapphire/Eigen-Malloc-Free-Pseudoinverse

    This extended Eigen C++ template library and wrapper provide a malloc-free Moore-Penrose pseudoinverse solver.

    Language:C++12202

  • tzanis-anevlavis/cis2m

    Controlled Invariant Sets in Two Moves

    Language:MATLAB12105

  • elisa-tech/BASIL

    Software Quality Management Tool

    Language:TypeScript104222

  • tkkim-robot/visibility-rrt

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

    Language:Python8102

  • Berk-Tosun/cbf_segway

    Control barrier functions implemented through python via pybullet.

    Language:Jupyter Notebook6100
  • adcs_firmware

    cmattatall/adcs_firmware

    Repository for the LORIS cubesat Attitude Determination and Control System (ADCS) firmware

    Language:C6202

  • CommonRoad/commonroad-crime

    🚧 🚔 ⚠ Toolbox to compute Criticality Measures for Automated Vehicles

    Language:Jupyter Notebook5111
  • 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).

    Language:Scala53140

  • qingfengxia/cpp_numeric_cast

    provides std::to_integer<>() and std::numeric_cast<>(), std::to_enum<>() with runtime overflow check

    Language:C++5300