In: ACM SIGSOFT Enginneering Notes, Vol. 14, No. 3; Proceedings of the Fifth International Workshop on Software Specification, 1989, Pittsburgh, Pennsylvania, USA, pages 83-90. May 1989.
Abstract: A means of determing the timing characteristics of hard real time sytems has been developed. It is an extension of an established software analysis methodology. The primary emphasis of this method is the effective use of synergism which exists among data flow, logic flow, and concurrency oriented techniques (Petri nets). The specialized, mutually supportive role that the concepts play in an improved technology is described and demonstrated.
Keywords: real time system; structured analysis extension; logic flow; data flow.