Issue No. 05 - September (1983 vol. 9)
J.E. Coolahan , Applied Physics Laboratory, Johns Hopkins University
A methodology for the statement of timing requirements is presented for a class of embedded computer systems. The notion of a "time-driven" system is introduced which is formalized using a Petri net model augmented with timing information. Several subclasses of time-driven systems are defined with increasing levels of complexity. By deriving the conditions under which the Petri net model can be proven to be safe in the presence of time, timing requirements for modules in the system can be obtained. Analytical techniques are developed for proving safeness in the presence of time for the net constructions used in the defined subclasses of time-driven systems.
timing requirements, Modeling methodology, performance specifications, Petri nets, real-time systems
N. Roussopoulos and J. Coolahan, "Timing Requirements for Time-Driven Systems Using Augmented Petri Nets," in IEEE Transactions on Software Engineering, vol. 9, no. , pp. 603-616, 1983.