safety-critical
Here are 63 public repositories matching this topic...
Virtual Gang Management Framework for RT-Gang
-
Updated
Feb 4, 2021 - SMT
Set of Custom C Functions that are Safe Alternatives.
-
Updated
Jun 12, 2023 - C
SafeSpace (Web Application that checks if a website is kid-friendly)
-
Updated
Dec 18, 2020 - HTML
Automated safety stand for motor bikes
-
Updated
Jun 4, 2022 - C++
TSM570LS3137 example based on TMS570 BSP crate
-
Updated
Jul 29, 2019 - Rust
AI-driven identification of biomarkers from hemodialysis data.
-
Updated
May 24, 2024 - Python
A simulation of a steam boiler and its functionalities. Includes levels of redundancies in preparation for potential failures.
-
Updated
Oct 27, 2021 - Java
Helpful software library for quickly & easily adding support for fixed-size (bounded) queues to your Arduino project.
-
Updated
Apr 20, 2024 - C++
CS498: Bachelors Thesis Project. Title: Shield Synthesis for Cyber Physical Systems.
-
Updated
Apr 19, 2022
This repository houses my PhD Thesis work
-
Updated
May 3, 2024 - Java
MatrixWorld: A pursuit-evasion platform for safe multi-agent coordination and autocurricula
-
Updated
Mar 28, 2024 - Python
ANALYSIS OF SAFETY-CRITICAL SYSTEMS
-
Updated
Aug 5, 2022 - Java
Matlab implementation of the paper "Predictive Safety Filter using System Level Synthesis"
-
Updated
Apr 24, 2024 - MATLAB
TerminalLine: Modelling and verifying a safe railway network using Promela and the SPIN Model Checker. Uses Linear Temporal Logic (LTL) formulas.
-
Updated
Apr 10, 2024 - HTML
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
official implmentation for LCSS paper, CDC presentation
-
Updated
Sep 22, 2023 - Python
Rust binding to Hercules ARM Safety MCUs - F021 Flash API
-
Updated
Jan 8, 2019 - Rust
Improve this page
Add a description, image, and links to the safety-critical topic page so that developers can more easily learn about it.
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."