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.

Advertisements

Analysis and Design of Application Scenarios

July 20, 2003

Analysis and Design of Application Scenarios [paper]
G. Blair, K. Cheverst, H. Duran-Limon, A. Friday, G. Samartzidis, T. Sivaharan, Paulo Sousa, M. Wu
Technical Report DI/FCUL TR-03-21, Department of Computer Science, University of Lisbon. July 2003.


Proof-of-concept prototypes

July 14, 2003

Proof-of-concept prototypes [paper]
V. Cahill, António Casimiro, J. Kaiser, Pedro Martins, V. Reynolds, Paulo Sousa, Paulo Veríssimo, M. Wu
Technical Report DI/FCUL TR-03-20, Department of Computer Science, University of Lisbon. July 2003.