Timing requirements for time-driven systems using augmented Petri nets
Journal Article
·
· IEEE Trans. Software Eng.; (United States)
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. 18 references.
- Research Organization:
- Johns Hopkins Univ., Laurel, MD
- OSTI ID:
- 5081810
- Journal Information:
- IEEE Trans. Software Eng.; (United States), Journal Name: IEEE Trans. Software Eng.; (United States) Vol. 5; ISSN IESED
- Country of Publication:
- United States
- Language:
- English
Similar Records
New NP-complete problems in performance evaluation of concurrent systems using Petri nets
Analysis of distributed system software design based Structured Petri Net Model
Stochastic high-level petri nets and applications
Journal Article
·
Fri May 01 00:00:00 EDT 1987
· IEEE Trans. Software Eng.; (United States)
·
OSTI ID:6311187
Analysis of distributed system software design based Structured Petri Net Model
Thesis/Dissertation
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:5063183
Stochastic high-level petri nets and applications
Journal Article
·
Fri Jul 01 00:00:00 EDT 1988
· IEEE Trans. Comput.; (United States)
·
OSTI ID:7177527