Abstract
During the Ada 9X design processes, user-defined time types and clocks were proposed. These, however, were dropped when the scope of proposed changes was reduced. This paper reviews the original proposal and suggests a new solution which is in keeping with Ada 2005. Our goal is to regenerate interest in the topic to see if it is worthy of support in a future amendment to Ada.
- T. Baker. Time-related issues in Ada 9X. In Proceedings of IRTAW 5, pages 8--14, 1991.Google Scholar
Digital Library
- P. Dibble, R. Belliardi, B. Brosgol, D. Holmes, and A.J. Wellings. The Real-Time Specification for Java. www.rtjs.org, 2008.Google Scholar
Recommendations
Using integer clocks to verify clock-synchronization protocols
We use the Uppaal model checker for timed automata to verify the Timing-Sync time-synchronization protocol for sensor networks (TPSN), the clock-synchronization algorithm of Lenzen, Locher and Wattenhofer (LLW) for general distributed systems, and the ...
Model-based clock synchronization in networks with drifting clocks
PRDC '00: Proceedings of the 2000 Pacific Rim International Symposium on Dependable ComputingThis paper examines a clock synchronization algorithm in which processors identify dynamic models of neighboring processor clocks. These models are then used as signature functions to develop a clock synchronization algorithm that functions in the ...






Comments