Topic: safety-critical Goto Github
Some thing interesting about safety-critical
Some thing interesting about safety-critical
safety-critical,Portable C99 implementation of Type-C PID controller with a flexible API and errors handling. Also an Arduino library.
User: abderraouf-adjal
safety-critical,🚗 A repository for documenting and exploring the world of autonomous driving safety, featuring a curated collection of research papers, reports, and resource.
User: allenpandas
safety-critical,Matlab implementation of the paper "Predictive Safety Filter using System Level Synthesis"
User: antoineleeman
Home Page: https://www.research-collection.ethz.ch/handle/20.500.11850/615512
safety-critical,Safe Control for Nonlinear Systems
User: arlk
safety-critical,An open-source design system for non-profits to quickly develop user safety critical applications.
Organization: astra-labs
Home Page: https://withaureus.org/
safety-critical,This repository provides a design methodology and approach to building highly-reliable applications on Microsoft Azure for mission-critical workloads.
Organization: azure
safety-critical,Various Control Barrier Functions realized on cartpole.
User: berk-tosun
safety-critical,Control barrier functions implemented through python via pybullet.
User: berk-tosun
safety-critical,Replacements to standard numeric types which throw exceptions on errors
Organization: boostorg
safety-critical,Official Code for Paper: Assessing the Brittleness of Safety Alignment via Pruning and Low-Rank Modifications
User: boyiwei
Home Page: https://boyiwei.com/alignment-attribution/
safety-critical,CS498: Bachelors Thesis Project. Title: Shield Synthesis for Cyber Physical Systems.
Organization: btp-cps
safety-critical,The CLEARSY Safety Platform Programming Handbook
Organization: clearsy
safety-critical,Repository for the LORIS cubesat Attitude Determination and Control System (ADCS) firmware
User: cmattatall
Home Page: https://dalorbits.ca/2019/07/01/loris-2021/
safety-critical,🚧 🚔 ⚠ Toolbox to compute Criticality Measures for Automated Vehicles
Organization: commonroad
safety-critical,QM is a containerized environment for running Functional Safety qm (Quality Management) software
Organization: containers
Home Page: https://github.com/containers/qm
safety-critical,Model-based driven real-time embedded software framework for safety-critical and mission-critical application
Organization: ctlst-tech
safety-critical,scans log files for signature of attacks in the webserver or via ssh, then blocks the hacker for one month
User: dj0abr
Home Page: http://www.dj0abr.de
safety-critical,Software Quality Management Tool
Organization: elisa-tech
safety-critical,ELISA Aerospace Working Group
Organization: elisa-tech
safety-critical,Graduate Level - Fundamental design issues involved in building reliable, safety-critical, and highly available systems. Topics include testing and fault-tolerant design of VLSI circuits, hardware and software fault tolerance, information redundancy, and fault-tolerant distributed systems.
User: gregory-matthews
safety-critical,MultiZone® Trusted Firmware is the quick and safe way to build secure IoT applications with any RISC-V processor. It provides secure access to commercial and private IoT clouds, real-time monitoring, secure boot, and remote firmware updates. The built-in Trusted Execution Environment provides hardware-enforced separation to shield the execution of
Organization: hex-five
safety-critical,MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn't define TrustZone-like primitives to provide hardware separation. To shield critical functionality from untrusted third-party components, MultiZone provides hardware-enforced, software-defined separation of multiple equally secure worlds. Unlike antiquated hypervisor-like solutions, MultiZone is self-contained, presents an extremely small attack surface, and it is policy driven, meaning that no coding is required – and in fact even allowed. MultiZone works with any 32-bit or 64-bit RISC-V processors with standard Physical Memory Protection unit (PMP) and “U” mode.
Organization: hex-five
Home Page: http://hex-five.com/multizone-security-sdk/
safety-critical,Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.
Organization: hybridrobotics
safety-critical,The Verifiably Safe Reinforcement Learning Framework
Organization: ibm
safety-critical,A list of papers that studies out-of-distribution (OOD) detection and misclassification detection (MisD)
User: impression2805
safety-critical,official implmentation for LCSS paper, CDC presentation
User: jiefeng-cse
safety-critical,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.
User: kburtch
Home Page: https://www.sparforte.com
safety-critical,MatrixWorld: A pursuit-evasion platform for safe multi-agent coordination and autocurricula
User: lijunsun90
Home Page: https://arxiv.org/pdf/2307.14854.pdf
safety-critical,🚀 A fast safe reinforcement learning library in PyTorch
User: liuzuxin
Home Page: https://fsrl.readthedocs.io
safety-critical,TerminalLine: Modelling and verifying a safe railway network using Promela and the SPIN Model Checker. Uses Linear Temporal Logic (LTL) formulas.
User: nlintas
safety-critical,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).
Organization: onera
Home Page: https://w3.onera.fr/phylog/
safety-critical,Rust binding to Hercules ARM Safety MCUs - F021 Flash API
User: paoloteti
safety-critical,Bare Metal Board Support Package for Texas Instruments Cortex-R4F/R5F TMS570
User: paoloteti
safety-critical,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.
User: pavel-kirienko
safety-critical,OmniSafe is an infrastructural framework for accelerating SafeRL research.
Organization: pku-alignment
Home Page: https://www.omnisafe.ai
safety-critical,NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
Organization: pku-alignment
Home Page: https://safety-gymnasium.readthedocs.io/en/latest/
safety-critical,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.
Organization: pulp-platform
safety-critical,provides std::to_integer<>() and std::numeric_cast<>(), std::to_enum<>() with runtime overflow check
User: qingfengxia
safety-critical,Every tech organization core services - GIT and Password manager
Organization: riotkit-org
safety-critical,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.
User: rtedbg
safety-critical,notes about many, many topics ...
User: sergiocollado
safety-critical,This extended Eigen C++ template library and wrapper provide a malloc-free Moore-Penrose pseudoinverse solver.
User: silversapphire
safety-critical,List of resources about programming practices for writing safety-critical software.
User: stanislaw
Home Page: https://awesome-safety-critical.readthedocs.io/en/latest/
safety-critical,Mirror repository for open-source OPC-UA Toolkit designed with security and embedded devices in mind. Main repository is on gitlab:
Organization: systerel
Home Page: https://gitlab.com/systerel/s2opc
safety-critical,This repository houses my PhD Thesis work
User: t-chiang
safety-critical,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
User: tayalmanan28
Home Page: https://tayalmanan28.github.io/Safe_Reinforcement_Learning/
safety-critical,The Visibility-Aware RRT* implementation for safety-critical navigation with perception-limited robots.
User: tkkim-robot
Home Page: https://www.taekyung.me/visibility-rrt
safety-critical,Controlled Invariant Sets in Two Moves
User: tzanis-anevlavis
safety-critical,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.
User: wanxinjin
Home Page: https://wanxinjin.github.io/posts/safePDP
safety-critical,µ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.
Organization: weston-embedded
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.