TCB WinCE: Timely Computing Base for Windows CE

November 13, 2003

I implemented the Timely Computing Base (TCB) on the Windows CE 3.0 operating system.

The TCB is a distributed embedded component that provides a set of time related services to client applications: Timing Failure Detection of timed executions, Timely Execution of small functions, Duration Measurement of local or distributed computations. It can be used as a fundamental building block for the development of dependable real-time applications.

This implementation was the basis for a CORTEX proof-of-concept prototype and for the development of one of the CORTEX final demonstrations.