TCB WinCE: Timely Computing Base for Windows CE
November 13th, 2003I 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.