Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications

IEEE Transactions on Software Engineering

Volumn 21, Issue 1, 1995, Pages 32-49

  Tsai, Jeffrey J P ^a,b   Yang, Steve Jennhwa ^a,b   Chang, Yao Hsiung ^a,b  

^a LEADWELL CNC Machines Manufacturing Corporation ^*  (Taiwan)

^b UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

Petri nets; real time systems; specification and verification; synthesis; time Petri nets; timed Petri nets; timing analysis; Timing constraints

Indexed keywords

APPROXIMATION THEORY; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; CONSTRAINT THEORY; MATHEMATICAL MODELS; PETRI NETS;

EARLIEST FIRE BEGINNING TIME; LATEST FIRE ENDING TIME; REACHABILITY SIMULATION; REAL TIME LOGIC; SCHEDULABILITY ANALYSIS; TIMING ANALYSIS; TIMING CONSTRAINT PETRINETS;

REAL TIME SYSTEMS;

EID: 0029184479     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.341845     Document Type: Article

References (28)

1. B. Berthomieu and M. Diaz, “Modeling and verification of time dependent systems using time Petri nets,” IEEE Trans. Software Eng., vol. SE-17, pp. 259-273, Mar. 1991.
2. J. E. Coolahan, Jr. and N. Roussopoulos, “Timing requirements for time driven systems using augmented Petri nets,” IEEE Trans. Software Eng., vol. SE-9, pp. 603-616, Sept. 1983.
3. B. Dasarathy, “Timing constraints of real-time systems: constructs for expressing them, methods of validating them,” IEEE Trans. Software Eng., vol. SE-11, pp. 80-86, Jan. 1985.
4. M. Felder, D. Mandrioli, and A. Morzenti, “Proving properties of real-time systems through logical specifications and Petri net models,” IEEE Trans. Software Eng., vol. SE-20, pp. 127-141, Feb. 1994.
5. C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezze, “A unified high-level Petri net formalism for time-critical systems,” IEEE Trans. Software Eng., vol. SE-17, pp. 160-171, Feb. 1991.
6. D. Haban and K. G. Shin, “Application of real-time monitoring to scheduling tasks with random execution times,” IEEE Trans. Software Eng., vol. SE-16, pp. 1374-1389, Dec. 1990.
7. M. A. Holliday and M. K. Vernon, “A generalized timed Petri net model for performance analysis,” IEEE Trans. Software Eng., vol. SE-13, pp. 1297-1310, Dec. 1987.
8. F. Jahanian and A. K.-L. Mok, “Safety analysis of timing properties in real-time systems,” IEEE Trans. Software Eng., vol. SE-12, pp. 890-904, Sept. 1986.
9. F. Jahanian and A. K.-L. Mok, “A graph-theoretic approach for timing analysis and its implementation,” IEEE Trans. Comput., vol. C-36, pp. 961-975, Aug. 1987.
10. N. G. Leveson and J. L. Stolzy, “Safety analysis using Petri nets,” IEEE Trans. Software Eng., vol. SE-13, no. 3, pp. 386-397, Mar. 1987.
11. J. Li, I. Suzuki and M. Yamashita, “A new structural induction theorem for rings of temporal Petri nets,” IEEE Trans. on Software Engin., vol. SE-20, no. 2, pp. 115-126, Feb. 1994.
12. N. Lopez-Benitez, “Dependability modeling and analysis of distributed programs,” IEEE Trans. Software Eng., vol. SE-20, pp. 345-352, May 1994.
13. P. M. Merlin and D. J. Farber, “Recoverability of communication protocols implications of a theoretical study.” IEEE Trans. Commun., vol. COM-24, pp. 1036-1043, Sept. 1976.
14. T. Murata, “Petri nets: properties, analysis and application,” in Proc. IEEE, vol. 77, 1989, pp. 541-580.
15. M. Notomi and T. Murata, “Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis,” IEEE Trans. Software Eng., vol. SE-20, pp. 325-336, May 1994.
16. D. Peng and K. G. Shin, “Modeling of concurrent task execution in a distributed system for real-time control,” IEEE Trans. Comput., vol. C-36, pp. 500-516, Apr. 1987.
17. C. V. Ramamoorthy and G. S. Ho, “Performance evaluation of asynchronous concurrent systems using Petri nets,” IEEE Trans. Software Eng., vol. SE-6, pp. 440-449, Sept. 1980.
18. C. Ramchandani, “Analysis of asynchronous concurrent systems by Petri nets.” Cambridge, MA: MIT, Project MAC, TR-120, Feb. 1974.
19. R. R. Razouk and C. V. Phelps, “Performance analysis using time Petri nets,” in Proc. 4th IFIP Protocol Specification, Testing and Verification, Y. Yemini et al., Eds. Amsterdam, The Netherlands: North-Holland, 1985.
20. J. A. Stankovic, K. Ramamritham, and S. Cheng, “Evaluation of a flexible task scheduling algorithm for distributed hard real-time systems,” IEEE Trans. Comput., vol. 34, pp. 1130-1143, Dec. 1985.
21. A. D. Stoyenko, C. Hamacher, and R. C. Holt, “Analyzing hard-real-time programs for guaranteed schedulability,” IEEE Trans. Software Eng., vol. SE-17, pp. 737-750, Aug. 1991.
22. I. Suzuki and H. Lu, “Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter,” IEEE Trans. Comput., vol. C-38, pp. 696-704, May 1989.
23. H. Tokuda and M. Kotera, “Scheduler 1-2-3: an interactive schedulability analyzer for real-time systems,” in Proc. of IEEE 12th Int. Comput. Software and Applic. Conf., Chicago, IL, Oct. 1988. pp. 211-219.
24. J. J. P. Tsai, K. Y. Fang, H. Y. Chen, and Y. D. Bi, “A non-interference monitoring and replay mechanism for real-time software testing and debugging,” IEEE Trans. Software Eng, vol. SE-16, pp. 897-916, Aug. 1990.
25. J. J. P. Tsai, K. Y. Fang, and H. Y. Chen, “A non-invasive architecture to monitoring real-time distributed systems,” IEEE Comput., vol. 23, pp. 11-23, Mar. 1990.
26. J. J. P. Tsai and T. J. Weigert, Knowledge-Based Software Development For Real-Time Distributed Systems. Singapore: World Scientific Publication, 1993.
27. J. J. P. Tsai, T. Weigert, and H.C. Jang “A hybrid knowledge representation as a basis of requirement specification and specification analysis,” IEEE Trans. Software Eng., vol. SE-18, pp. 1076-1100, Dec. 1992.
28. J. J. P. Tsai and S. J. H. Yang, Monitoring and Debugging of Distributed Real-Time Systems. Washington, DC: IEEE Computer Society Press, 1995.