Safety Critical
Showing 20 of 20 projects
An open-source operating system that upgrades driver assistance systems in 300+ supported cars.
A Python API and CAN database for controlling and reading data from modern cars with ADAS interfaces.
A bit-precise model checker for verifying safety and correctness properties in Rust code.
A tool for statically verifying the correctness of Rust code using formal specifications and automated solvers.
An efficient and lightweight WebAssembly interpreter designed for embedded and constrained systems.
A curated list of resources about programming practices for writing safety-critical software.
A command-line tool for generating runtime monitors for flight and robotics applications from formal specifications.
A programming language and verification toolset for engineering high-reliability, safety-critical, and secure applications.
C++ library providing safe numeric types that throw exceptions on arithmetic errors like overflow and underflow.
A toolset for formal specification and generation of verifiable binary parsers, message generators, and protocol state machines.
A high-precision, grid-based C++ library for ground segmentation in LiDAR point clouds, designed for safety-critical autonomous driving and robotics.
A high-integrity multi-core RTOS and separation kernel written in SPARK Ada, designed for safety-critical embedded systems.
A coverage analysis tool for Ada and C programs, supporting object code and source-level coverage metrics including MC/DC.
Ada programming language client library for ROS2/RCL robotics middleware.
A railway network simulation with SPARK/Ada-proven signaling to prevent train collisions.
A railway network simulation with a SPARK/Ada-proven signaling system that guarantees collision avoidance.
ASN.1 compiler specifically designed for embedded systems development.
Ada language driver and support library for the emBRICK embedded hardware platform.
Explorations of multiplexed digital I/O drivers for AdaPilot using Ada 2012 Ravenscar profile and SPARK for verification.
A SPARK-proven logging library for embedded systems, guaranteed free of runtime errors.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.