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...
Gespeichert in:
| Veröffentlicht in: | Euromicro Workshop on Real Time, 1989: Proceedings S. 138 - 145 |
|---|---|
| 1. Verfasser: | |
| Format: | Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
IEEE Comput. Soc. Press
1989
|
| Schlagworte: | |
| ISBN: | 0818619562, 9780818619564 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | 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 |