Computation of performance bounds for Real-time systems using time petri Nets

IEEE Transactions on Industrial Informatics

Volumn 5, Issue 2, 2009, Pages 168-180

  Bernardi, Simona ^a   Campos, Javier ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

D.2.8.b. performance measures; D.4.8.b. modeling and prediction; D.4.8.d. operational analysis; G.1.6.g. linear programming; I.6.4. model validation and analysis; J.7.g. real time

Indexed keywords

D.2.8.B. PERFORMANCE MEASURES; D.4.8.B. MODELING AND PREDICTION; D.4.8.D. OPERATIONAL ANALYSIS; G.1.6.G. LINEAR PROGRAMMING; I.6.4. MODEL VALIDATION AND ANALYSIS; J.7.G. REAL TIME;

DYNAMIC PROGRAMMING; GRAPH THEORY; LINEARIZATION; PETRI NETS; RANDOM PROCESSES; VERIFICATION;

REAL TIME SYSTEMS;

EID: 67349095899     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2009.2017201     Document Type: Article

References (40)

1. L. Thiele and R. Wilhelm, "Design for timing predictability," Real- Time Systems, vol.28, no. 2-3, pp. 157-177, Nov. 2004.
2. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol.77, pp. 541-580, Apr. 1989.
3. G. Chiola, "Timed Petri nets," in Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques, G. Balbo and M. Silva, Eds. Zaragoza, Spain: Editorial KRONOS, 1998, vol.1.
4. P. Merlin and D. Faber, "Recoverability of communication protocols," IEEE Trans Commun., vol.COM-24, no. 9, pp. 1036-1043, 1976.
5. G. Chiola, M. A. Marsan, G. Balbo, and G. Conte, "Generalized stochastic Petri nets: A definition at the net level and its implications," IEEE Trans. Softw. Eng., vol.19, no. 2, pp. 89-107, 1993. (Pubitemid 23675584)
6. G. Juanole and Y. Atamna, "Dealing with arbitrary time distributions with the stochastic timed Petri net model - Application to queueing systems," in Proc. PNPM, 1991, pp. 32-41.
7. J. Roux and G. Juanole, "Functional and performance analysis using extended time Petri nets," in Proc. PNPM, 1987, pp. 14-23. (Pubitemid 17647873)
8. B. Berthomieu and M. Diaz, "Modeling and verification of time dependent systems using time Petri nets," IEEE Trans. Soft. Eng., vol.12, no. 3, pp. 259-273, Mar. 1991.
9. B. Berthomieu and M. Menasche, "An enumerative approach for analysing time Petri nets," in Proc. IFIP Congr., Paris, France, 1983, pp. 41-46. (Pubitemid 14559987)
10. L. Popova, "On time Petri nets," J. Inform. Process. Cybern., EIK (Formerly: Elektron. Inform. Verarb. Kybern.), vol.27, no. 4, pp. 227-244, 1991.
11. R. H. Sloan and U. A. Buy, "Reduction rules for time Petri nets," Acta Informatica, vol.33, no. 7, pp. 687-706, 1996. (Pubitemid 126329780)
12. L. Popova-Zeugmann and D. Schlatter, "Analyzing paths in time Petri nets," Fundam. Inf., vol.37, no. 3, pp. 311-327, 1999. (Pubitemid 129524610)
13. P. Denning and J. Buzen, "The operational analysis of queueing network models," ACM Comput. Surv., vol.10, no. 3, pp. 225-261, 1978.
14. C. Ramchandani, "Analysis of asynchronous concurrent systems by timed Petri nets," Ph.D. dissertation, MIT, Cambridge, MA, 1974.
15. G. Chiola, C. Anglano, J. Campos, J. M. Colom, and M. Silva, "Operational analysis of timed Petri nets and application to the computation of performance bounds," in Proc. 5th Int. Workshop on Petri Nets and Performance Models, Toulouse, France, Oct. 1993, pp. 128-137.
16. S. Bernardi and J. Campos, "On performance bounds for interval time Petri nets," in Proc. 1st Int. Conf. Quantitative Evaluation of Syst. (QEST'04), Enschede, The Netherlands, Sep. 2004, pp. 50-59.
17. E. Pacini, S. Bernardi, and M. Gribaudo, "ITPN-PerfBound: A performance bound tool for interval time Petri nets," in Proc. TACAS,S. Kowalewski and A. Philippou, Eds., 2009, vol.5505, LNCS, pp. 50-53.
18. E. Vicario, "Static analysis and dynamic steering of time-dependent systems," IEEE Trans. Softw. Eng., vol.27, no. 8, pp. 728-748, Aug.2001.
19. J. Wang, Y. Deng, and G. Xu, "Reachability analysis of real-time systems using time Petri nets," IEEE Trans. Syst., Man, Cybern. - Part B: Cybern., vol.30, no. 5, pp. 725-736, Oct. 2000.
20. D. Xu, X. He, and Y. Deng, "Compositional schedulability analysis of real-time systems using time Petri nets," IEEE Trans. Softw. Eng., vol.28, no. 10, pp. 984-996, Oct. 2002.
21. Z. Gu and K. Shin, B. Kleinjohann, K. Kim, L. Kleinjohann, and A. Rettberg, Eds., "Analysis of event-driven real-time systems with time Petri nets: A translation-based approach," in Proc. IFIP 17th World Comput. Congr., Stream Distrib. Parallel Embedded Syst. (DIPES), Montreal, Canada, Aug. 2002, pp. 31-40.
22. R. Mascarenhas, D. Karumuri, U. Buy, and R. Kenyon, "Modeling and analysis of a virtual reality system with time Petri nets," in Proc. Int. Conf. Softw. Eng. (ICSE), Kyoto, Japan, Apr. 1998, pp. 33-42.
23. G. Bucci, A. Fedeli, L. Sassoli, and E. Vicario, "Timed state space analysis ofreal-time preemptive systems," IEEETrans. Softw. Eng., vol.30, no. 2, pp. 97-111, Feb. 2004.
24. D. Lime and O. Roux, "A translation based method for the timed analysis of scheduling extended time Petri nets," in Proc. 25th IEEE Int. Real-Time Syst. Symp. (RTSS04), 2004, pp. 187-196.
25. G. Bucci, R. Piovosi, S. Sassoli, and E. Vicario, "Introducing probability within state class analysis of dense-time-dependent systems," in Proc. 2nd Int. Conf. Quant. Eval. Syst., Sep. 2005, pp. 13-22. (Pubitemid 46313712)
26. V. Sassoli and E. Vicario, "Close form derivation ofstate-density functions over DBM domains in the analysis of non-Markovian models," in Proc. 4th Int. Conf. Quant. Eval. Syst., Sep. 2007, pp. 59-68.
27. G. Avrunin, J. Corbett, L. Dillon, and J. Wileden, "Automated derivation of time bounds in uniprocessor concurrent systems," IEEE Trans. Softw. Eng., vol.20, no. 9, pp. 708-719, 1994.
28. S. Majumdar, "Application of relational interval arithmetic to computer performance analysis: A survey," Constraints, vol.2, no. 2, pp. 215-235, 1997. (Pubitemid 127506907)
29. S. Majumdar and R. Ramadoss, P. W. Dowd and E. Gelenbe, Eds., "Interval-based performance analysis ofcomputing systems," in , Proc. 3rd Int. Workshop Modeling, Anal. Simulation Comput. Telecommun. Syst., MASCOTS'95, Durham, NC, USA, Jan. 1995, pp. 345-351.
30. J. Luthi and C. Llado, "Splitting techniques for interval parameters and their application to performance models," Perform. Eval., vol.51, no. 1, pp. 47-74, 2003. (Pubitemid 35405869)
31. M. A. Marsan et al. , "The effect of execution policies on the semantics and analysis of stochastic Petri nets," IEEE Trans. Soft. Eng., vol.15, no. 7, pp. 832-846, 1989.
32. B. Berthomieu, "La méthode des classes d'états pour l'ana- lyse des réseaux temporels - Mise en oeuvre, extension à la multi-sensibilisation, modélisation des systèmes réactifs," in Proc. MSR'2001. Toulouse, France: Hermes Sciences, 2001, pp. 254-263.
33. H. Ohl, "Foncionnements Repetitifs de Systemes Flexibles de Production Manufacturiere: Analyse et Optimisation des Performances a L'aide de Reseaux de Petri," Ph.D. dissertation, L'Université des sciences et technologies de Lille, Laboratoire d'Automatique et Informa- tique industrielle de Lille, Ecole Centrale de Lille, 1995.
34. L. Recalde, E. Teruel, and M. Silva, "On linear algebraic techniques for liveness analysis of P/T systems," J. Circuits Syst. Comput., vol.8, no. 1, pp. 223-265, 1998. (Pubitemid 128540254)
35. N. Bengston, "Measuring errors in operational analysis assumptions," IEEE Trans. Softw. Eng., vol.13, no. 7, pp. 767-776, 1987. (Pubitemid 17632248)
36. S. Bernardi and G. Balbo, "Concurrent generalized Petri nets: Regenerative conditions," in Proc. 9th Int. Conf. Petri Nets Perform. Models (PNPM'01), Aachen, Germany, Sep. 2001, pp. 125-134.
37. Z. Liu, "Performance analysis of stochastic timed Petri nets using linear programming approach," IEEE Trans. Soft. Eng., vol.24, no. 11, Nov. 1998. (Pubitemid 128740288)
38. N. Karmarkar, "A new polynomial time algorithm for linear programming," Combinatorica, vol.4, pp. 373-395, 1984.
39. L. Montano, F. Garcia, and J. Villarroel, "Using the time Petri net formalism for specification, validation, and code generation in robot-control applications," Int. J. Robot. Res., vol.19, no. 1, pp. 59-76, Jan.2000. (Pubitemid 30542014)
40. G. Gribaudo, D. Codetta Raiteri, and F. Franceschinis, "Draw-Net, A customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems," in Proc. 2nd Int. Conf. Quant.. Eval. Syst. (QEST 2005, Sep. 2005, pp. 257-258. (Pubitemid 46313743)