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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Euromicro Workshop on Real Time, 1989: Proceedings s. 138 - 145
Hlavní autor: Zedan, H.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE Comput. Soc. Press 1989
Témata:
Distributed computing
Tellurium
Time factors
ISBN:0818619562, 9780818619564
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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