Generic Interface to Teensy Timers

TMR utilities for the SpyDrNet project

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.

This example demonstrates how to emulate a Modbus host for communicating with client over RS485 communication and UART peripheral using PIC microcontroller. Compatible PIC16F152xx family of MCUs are PIC16F15214,PIC16F15223,PIC16F15254,PIC16F15276

Spring 2020 Senior Project

Time-frequency power and inter-trial phase consistency (ITPC) analysis of EEG responses to Targeted Memory Reactivation (TMR) stimuli during N3 sleep.

A resilient, microkernel-inspired operating system & simulation in Rust designed for aerospace radiation-induced bit-flip tolerance, featuring SECDED ECC pages, Triple Modular Redundancy (TMR) voting, and self-healing memory.

This repository provides a MCC-generated code example for using TMR0 in 16-bit Mode with sleep operation. An interrupt will wake up the device every 10s and LED0 will light up for 100 ms and then the MCU will be put back to sleep.

This code example demonstrates how to realize a SPI-RS485 bridge and Modbus client using built-in MSSP (SPI mode) and UART peripherals of the PIC microcontroller. Compatible PIC16F152xx family of MCUs are PIC16F15214,PIC16F15223,PIC16F15244,PIC16F15254

Radar DSP SIMULATION :: I/Q generation → Windowing → FFT/PSD → CA-CFAR → TMR majority vote → Doppler/velocity estimation → Tracker (SEARCH/LOCKED) → Kalman filter → Watchdog | SIM - Not Real hardware.

Project is a PIC16F18076 beginners guide to entering and exiting the device's sleep mode and a high level discussion on low-power techniques. It uses the PIC16F18076 Curiosity Nano and MPLAB X/MCC.

TMR-based hardware Trojan detection with cycle-accurate temporal monitor — deployed on Lattice iCE40 FPGA

This code example demonstrates several solutions for calculating the pulse width and duty cycle from a signal. Compatibly PIC16F180xx family MCUs are: PIC16F18076

A criticality-aware H.264 encoder simulation that models how different encoding blocks can be protected with resilience strategies such as retries, ECC, TMR, and checkpointing. This project demonstrates how fault-tolerant design principles can be applied to video compression pipelines.

TMR implementation on raspberry Pi

ControlX is a C-based framework for sensor data processing and control in spacecraft systems.

A practical implementation of Fault Tolerance and Real-Time Systems concepts on ESP32.

An n8n workflow for automated hardware security auditing — single-bit fault injection on Verilog RTL, AI-driven TMR hardening, validation, and executive disclosure report generation.

AG953 SM225 Smart TMR Magnetometer Evaluation Kit