Timing Requirements for Time-Driven Systems Using Augmented Petri Nets

TitleTiming Requirements for Time-Driven Systems Using Augmented Petri Nets
Publication TypeJournal Articles
Year of Publication1983
AuthorsCoolahan JE, Roussopoulos N
JournalIEEE Transactions on Software Engineering
VolumeSE-9
Issue5
Pagination603 - 616
Date Published1983/09//
ISBN Number0098-5589
KeywordsApplication software, Concurrent computing, Control systems, Embedded computing, Embedded system, Helium, Modeling methodology, performance specifications, Petri nets, Power system modeling, Real time systems, real-time systems, Timing, timing requirements
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.

DOI10.1109/TSE.1983.235261