In: COMPEURO'90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering, 1990, Tel-Aviv, Israel, pages 288-295. Los Alamitos, CA, USA: IEEE Comput. Soc. Press, 1990.
Abstract: Preliminary results with an experimental run-time system are reported. The run-time system is designed for real-time prototyping of software specifications. Execution is based on SA/RT specifications converted to an object-oriented C language syntax from a high-level Petri net representation of SA/RT specifications. The run-time system controlling execution is based on an efficient pattern-directed implementation of the Ward scheduling algorithm. The design and the implementation issues of pattern matching and the Ward scheduling techniques on a single-processor system are presented and discussed in detail.
Keywords: real-time pattern matching (for) SA/RT specifications; structured analysis (for) real-time systems; prototyping (of) software specifications; object-oriented C language syntax high-level net representation (of) SA/RT specifications; pattern-directed implementation (of) Ward scheduling algorithm.