safety-critical topic

Bare Metal Board Support Package for Texas Instruments Cortex-R4F/R5F TMS570

paoloteti

List of resources about programming practices for writing safety-critical software.

stanislaw

Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems. There is very little activity because the project is finished and does not require further...

pavel-kirienko

µC/OS-II is a preemptive, highly portable, and scalable real-time kernels. Designed for ease of use on a huge number of CPU architectures.

weston-embedded

This repository provides a design methodology and approach to building highly-reliable applications on Microsoft Azure for mission-critical workloads.

Azure

Replacements to standard numeric types which throw exceptions on errors

boostorg

Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.

HybridRobotics

Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad class of safety-critical learning and control tasks.

wanxinjin

Portable C99 implementation of Type-C PID controller with a flexible API and errors handling. Also an Arduino library.

abderraouf-adjal

Model-based driven real-time embedded software framework for safety-critical and mission-critical application

ctlst-tech