🚧 🚔 ⚠ Toolbox to compute Criticality Measures for Automated Vehicles
-
Updated
Jul 1, 2024 - Jupyter Notebook
🚧 🚔 ⚠ Toolbox to compute Criticality Measures for Automated Vehicles
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.
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.
Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.
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.
Various Control Barrier Functions realized on cartpole.
Mirror repository for open-source OPC-UA Toolkit designed with security and embedded devices in mind. Main repository is on gitlab:
The Visibility-Aware RRT* implementation for safety-critical navigation with perception-limited robots.
OmniSafe is an infrastructural framework for accelerating SafeRL research.
MatrixWorld: A pursuit-evasion platform for safe multi-agent coordination and autocurricula
An open-source design system for non-profits to quickly develop user safety critical applications.
Software Quality Management Tool
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
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.
Matlab implementation of the paper "Predictive Safety Filter using System Level Synthesis"
List of resources about programming practices for writing safety-critical software.
🚗 A repository for documenting and exploring the world of autonomous driving safety, featuring a curated collection of research papers, reports, and resource.
Add a description, image, and links to the safety-critical topic page so that developers can more easily learn about it.
To associate your repository with the safety-critical topic, visit your repo's landing page and select "manage topics."