The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September (1983 vol.9)
pp: 603-616
J.E. Coolahan , Applied Physics Laboratory, Johns Hopkins University
ABSTRACT
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.
INDEX TERMS
timing requirements, Modeling methodology, performance specifications, Petri nets, real-time systems
CITATION
J.E. Coolahan, N. Roussopoulos, "Timing Requirements for Time-Driven Systems Using Augmented Petri Nets", IEEE Transactions on Software Engineering, vol.9, no. 5, pp. 603-616, September 1983, doi:10.1109/TSE.1983.235261
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool