Timing Requirements for Time-Driven Systems Using Augmented Petri Nets
- 1 September 1983
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-9 (5) , 603-616
- https://doi.org/10.1109/tse.1983.235261
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.Keywords
This publication has 9 references indexed in Scilit:
- Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating ThemIEEE Transactions on Software Engineering, 1985
- An Operational Approach to Requirements Specification for Embedded SystemsIEEE Transactions on Software Engineering, 1982
- Software Design Representation Using Abstract Process NetworksIEEE Transactions on Software Engineering, 1980
- Performance Evaluation of Asynchronous Concurrent Systems Using Petri NetsIEEE Transactions on Software Engineering, 1980
- Performance Abstract Data Types as a Tool in Software Performance Analysis and DesignIEEE Transactions on Software Engineering, 1980
- Special Feature: Putting Petri Nets to WorkComputer, 1979
- Petri NetsACM Computing Surveys, 1977
- Macro E-Nets for Representation of Parallel SystemsIEEE Transactions on Computers, 1973
- Evaluation nets for computer system performance analysisPublished by Association for Computing Machinery (ACM) ,1972