Temporal Isolation CASE Scheduler (TICS)

Model-based Toolset and Contract Language for Code Generation and Verification

The Temporal Isolation CASE Scheduler (TICS) is a customizable real-time userland scheduler that provides safety and security measures within the seL4 mixed criticality system (MCS) platform. TICS enforces temporal isolation between application threads, supports an arbitrary number of applications within resource limitations, and is built within the CAmkES runtime framework to specify thread requirements.