Specifying, Predicting, and Verifying the Timing Properties of Hard- Real-Time Programming Languages and Systems
Abstract
The major research accomplishments supported by the grant were: (1) predicting the Deterministic Timing Behavior of Programs. Much work was done in developing concepts and techniques to predict the deterministic execution times of sequential and parallel programs. This also included substantial experimental work and the construction of software tools to validate our ideas and methodology, especially for sequential programs. The basis for this work was our notion of source program timing schema that provided a machine-independent timing semantics for higher-level language software. (2) Specifying Requirements and Designs for Real-Time Systems. A new specification method, called communicating real-time state machines, was invented for describing requirements and designs of distributed real-time systems. (3) Other Research - We designed a methodology for the software engineering of real-time operating systems, based on a straightforward process/abstract-data-type (object) model, and built an operating system kernel using our scheme.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 15, 1992
- Accession Number
- ADA257296
Entities
People
- Alan C. Shaw
Organizations
- University of Washington