CS498: Bachelors Thesis Project. Title: Shield Synthesis for Cyber Physical Systems.
-
Updated
Apr 19, 2022
CS498: Bachelors Thesis Project. Title: Shield Synthesis for Cyber Physical Systems.
Virtual Gang Management Framework for RT-Gang
Set of Custom C Functions that are Safe Alternatives.
SafeSpace (Web Application that checks if a website is kid-friendly)
This repository houses my PhD Thesis work
The CLEARSY Safety Platform Programming Handbook
Automated safety stand for motor bikes
Every tech organization core services - GIT and Password manager
Rust binding to Hercules ARM Safety MCUs - F021 Flash API
ANALYSIS OF SAFETY-CRITICAL SYSTEMS
Control barrier functions implemented through python via pybullet.
provides std::to_integer<>() and std::numeric_cast<>(), std::to_enum<>() with runtime overflow check
Model-based driven real-time embedded software framework for safety-critical and mission-critical application
Library to enforce memory safety for mission critical application + few cool tools.
A simulation of a steam boiler and its functionalities. Includes levels of redundancies in preparation for potential failures.
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).
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."