Timed Distributed Systems
This project is part of State of California MICRO Program
Despite considerable progress in software and hardware techniques, when embedded computing systems absolutely must meet tight timing constraints, many of the advances in computer architecture and software have made it difficult or impossible to estimate or predict the execution time of software. Moreover, networking techniques introduce variability and stochastic behavior, and operating systems rely on best effort techniques. Worse, programming languages lack time in their semantics, so timing requirements are only specified indirectly. This project seeks methods for programming ensembles of networked real-time, embedded computers where time and concurrency are first-class properties of the program. The project receives support from industry sponsors Agilent Technologies and the Hewlett-Packard Company.