A mixed-criticality platform built around Cheshire, with a number of safety/security and predictability features. Ready-to-use FPGA flow on multiple boards is available.

This code simulates the exact schedulability test for EDF scheduling of semi-clairvoyant sporadic task systems with graceful degradation using the following two algorithms: (i) the previously proposed approach (listed as Algorithm 1 in the paper) and (ii) Mixed-Criticality Quick Processor-demand Analysis or MC-QPA (listed as Algorithm 2 in the p…

Litmus^RT with AMC and AMC-PAStime implementation

It is the PAStime userspace library to call checkpoints in profiling and execution phase