This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
September 1983 (vol. 9 no. 5)
pp. 603-616
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.
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, Sept. 1983, doi:10.1109/TSE.1983.235261
Usage of this product signifies your acceptance of the Terms of Use.