Semantics of Modechart in real time logic

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.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>