Statechart visual formalism as the execution language for control of real-time systems



Journal Title

Journal ISSN

Volume Title


Texas Tech University


The Statechart visual formalism is an extension to the graphical notation of Finite State Machines. Statecharts have found use in the areas of specification, design, and prototyping of complex systems. This research extends the application of Statecharts by developing both a database capable of holding the Statechart's graphical information, and an execution engine to execute the data. The result is the foundation for a graphical programming environment for real-time systems, and the programming language is the Statechart formalism. The execution engine is generic with respect to the data; therefore, the underlying execution engine remains virtually the same regardless of the nature of the real-world object represented by the original Statechart.