Title :
Semantics of Modechart in real time logic
Author :
Jahanian, Famam ; Lee, Raymond ; Mok, Aloysius K.
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Abstract :
The authors present a specification language called Modechart, which is especially amenable to the specification of real-time systems by graphical means. In addition to the behavioral description, Modechart permits the specification of timing constraints, an important element in real-time systems. A formal semantics for Modechart is provided in terms of real-time logic.<>
Keywords :
real-time systems; specification languages; Modechart; behavioral description; formal semantics; real time logic; real-time systems; specification language; timing constraints; Contracts; Logic; Machinery; Military aircraft; Real time systems; Safety devices; Software safety; Software tools; Specification languages; Timing;
Conference_Titel :
System Sciences, 1988. Vol.II. Software Track, Proceedings of the Twenty-First Annual Hawaii International Conference on
Conference_Location :
Kailua-Kona, HI, USA
Print_ISBN :
0-8186-0842-0
DOI :
10.1109/HICSS.1988.11840
