Here are
68 public repositories
matching this topic...
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.
Updated
Dec 1, 2017
MATLAB
Rust binding to Hercules ARM Safety MCUs - F021 Flash API
TSM570LS3137 example based on TMS570 BSP crate
Updated
Jul 29, 2019
Rust
Cortex-R4/R4F assembly functions
Updated
Aug 1, 2019
Assembly
The CLEARSY Safety Platform Programming Handbook
Safe Control for Nonlinear Systems
Updated
May 23, 2020
Julia
scans log files for signature of attacks in the webserver or via ssh, then blocks the hacker for one month
Bare Metal Board Support Package for Texas Instruments Cortex-R4F/R5F TMS570
SafeSpace (Web Application that checks if a website is kid-friendly)
Updated
Dec 18, 2020
HTML
Virtual Gang Management Framework for RT-Gang
Repository for the LORIS cubesat Attitude Determination and Control System (ADCS) firmware
A customized GRBL v1.1f for laser engraver with enabling safety door mode instead of hold mode
The Verifiably Safe Reinforcement Learning Framework
Updated
Jul 22, 2021
Python
provides std::to_integer<>() and std::numeric_cast<>(), std::to_enum<>() with runtime overflow check
A simulation of a steam boiler and its functionalities. Includes levels of redundancies in preparation for potential failures.
Updated
Oct 27, 2021
Java
Controlled Invariant Sets in Two Moves
Updated
Dec 21, 2021
MATLAB
Control barrier functions implemented through python via pybullet.
Updated
Apr 3, 2022
Jupyter Notebook
CS498: Bachelors Thesis Project. Title: Shield Synthesis for Cyber Physical Systems.
This extended Eigen C++ template library and wrapper provide a malloc-free Moore-Penrose pseudoinverse solver.
Improve this page
Add a description, image, and links to the
safety-critical
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
safety-critical
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.