Pattern-directed real-time execution of SA/RT specifications

Initial results with an experimental run-time system are reported. The run-time system makes possible real-time execution of software specifications created according to the structured analysis for real-time systems (SA/RT) techniques. A prototype of the run-time system is implemented in C language and runs in an Apple MacIntosh II/MPW C environment. Average execution speeds of approximately 2000 state transitions or data transformations/s were measured for nontrivial benchmark specifications. The run-time system is capable of executing SA/RT specifications that are generated automatically into object-oriented C language format from high-level Petri-net representation of SA/RT specifications. The run-time system is based on an efficient pattern-directed implementation of the Ward scheduling algorithms