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.
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.