The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.12 - December (1994 vol.20)
pp: 933-947
ABSTRACT
<p>Present a specification language for real-time systems called Modechart. The semantics of Modechart is given in terms of real-time logic (RTL), which is especially amenable to reasoning about the absolute (real-time clock) timing of events. The semantics of Modechart has an important property that the translation of a Modechart specification into RTL formulas results in a hierarchical organization of the resulting RTL assertions. This gives us significant leverage in reasoning about properties of a system by allowing us to filter out assertions that concern lower levels of abstraction. Some results about desirable properties of Modechart specifications are given. A graphical implementation of Modechart has been completed.</p>
INDEX TERMS
real-time systems; specification languages; logic programming languages; Modechart; specification language; real-time systems; semantics; real-time logic; absolute timing; real-time clock; RTL formulas; hierarchical organization; RTL assertions; abstraction levels; graphical implementation; rapid prototyping; timing constraints; SARTOR
CITATION
F. Jahanian, A.K. Mok, "Modechart: A Specification Language for Real-Time Systems", IEEE Transactions on Software Engineering, vol.20, no. 12, pp. 933-947, December 1994, doi:10.1109/32.368134
14 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool