Time-closed layer: a design principle for time-critical applications

A design principle, called time-closed layer, is developed for specifying and designing time-critical computing systems. The principle is based on the pseudoserialization to the systems activities. Each sub-activity is represented by a layer that satisfies both communication and time closedness prop...

Full description

Saved in:
Bibliographic Details
Published in:Euromicro Workshop on Real Time, 1989: Proceedings pp. 138 - 145
Main Author: Zedan, H.
Format: Conference Proceeding
Language:English
Published: IEEE Comput. Soc. Press 1989
Subjects:
Distributed computing
Tellurium
Time factors
ISBN:0818619562, 9780818619564
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A design principle, called time-closed layer, is developed for specifying and designing time-critical computing systems. The principle is based on the pseudoserialization to the systems activities. Each sub-activity is represented by a layer that satisfies both communication and time closedness properties. Operations such as SEQ, WHILE, ELSE, and ALT may be performed on layers. These operations allow the designer to manipulate layers in an algebraic manner. Formal semantics of the layers is also given using operational semantics approach to programming languages. The use of the time-closed layer is illustrated by designing a simple time-critical system which monitors and controls a reactor.< >
ISBN:0818619562
9780818619564
DOI:10.1109/EMWRT.1989.43452