A discrete time model for performance evaluation and correctness verification of real time systems

10th International Workshop on Petri Nets and Performance Models, PNPM 2003

Volumn , Issue , 2003, Pages 134-143

  Bucci, G ^a   Sassoli, L ^a   Vicario, E ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; PETRI NETS; PROBABILITY; PROBABILITY DENSITY FUNCTION; REAL TIME SYSTEMS;

ANALYSIS TECHNIQUES; CORRECTNESS VERIFICATIONS; DISCRETE-TIME MODEL; INTEGRAL APPROACH; MODELLING TECHNIQUES; PERFORMANCE REQUIREMENTS; PERFORMANCES EVALUATION; REACTIVE SYSTEM; REAL - TIME SYSTEM; SYSTEM REQUIREMENTS;

SEMANTICS;

EID: 34250763915     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.2003.1231550     Document Type: Conference Paper

References (39)

1. R. Alur and T. A. Henzinger. Logics and models of real time: a survey. Real Time: Theory in Practice, Lecture Notes in Computer Science, 600:74-106, 1992.
2. B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using time petri nets. IEEE Transactions on Software Engineering, 17(3), March 1991.
3. B. Berthomieu and M. Menasche. An enumerative approach for analyzing time Petri nets. In R. E. A. Mason, editor, Information Processing: proceedings of the IFIP congress 1983, volume 9, pages 41-46. Elsevier Science Publishers, Amsterdam, 1983.
4. A. Bobbio and A. Horvath. Petri nets with discrete phase type timing: A bridge between stochastic and functional analysis. Electronic Notes in Theoretical Comp. Science, 52(3), 2001.
5. A. Bobbio, A. Puliafito, and M. Telek. New primitives for interlaced memory policies in Markov regenerative stochastic petri nets. In Petri Net Performance Models'97, June 1997.
6. A. Bobbio, A. Puliafito, and M. Telek. A modelling framework to implement preemption policies in non-markovian SPNs. IEEE Transactions on Software Engineering, 26(1), January 2000.
7. A. Bobbio and M. Scarpa. Kronecker representation of stochastic petri nets with discrete PH distributions. In Proc. 3-rd IEEE Annual Int. Computer Performance and Dependability Symposium (IPDS'98), pages 52-61, September 1998.
8. A. Bobbio and M. Telek. A benchmark for PH estimation algorithms: result for acyclic-PH. Stochastic models, 10(661-677), 1994.
9. A. Bobbio and M. Telek. Markov regenerative SPN with non-overlapping activity cycles. International Computer Performance and Dependability Symposium - IPDS95, pages 124-133, 1995.
10. G. Bucci, A. Fedeli, and E. Vicario. Timed state space analysis of fixed priority preemptive systems. Technical report, Dip. Sistemi e Informatica, Università di Firenze, Italy, 2002.
11. G. Bucci, A. Fedeli, and E. Vicario. Predicting timeliness of reactive systems under flexible scheduling. Sixth Int.Symp. on Autonomous Decentralized Systems - ISADS 2003, April 2003.
12. G. Bucci, L. Sassoli, and E. Vicario. Performance evaluation and correctness verification of flexible real time systems. Submitted to 15th Euromicro Conference on Real-Time Systems, December 2002.
13. G. Bucci and E. Vicario. Compositional validation of time-critical systems using communicating time petri nets. IEEE Transactions on Software Engineering, 26(12), December 1995.
14. G. C. Buttazzo. Sistemi in Tempo Reale. Pitagora Editrice, 1995.
15. H. Choi, V. G. Kulkarni, and K. Trivedi. Transient analysis of deterministic and stochastic petri nets. In Proceedings of the 14-th International Conference on Application and theory of Petri Nets, June 1993.
16. H. Choi, V. G. Kulkarni, and K. Trivedi. Markov regenerative stochastic petri nets. Performance Evaluation, 20(337-357), 1994.
17. G. Ciardo. Discrete time markovian stochastic petri nets. 2nd Workshop on numerical solution of Markovian chains, 1995.
18. G. Ciardo, J. Muppala, and K. Trivedi. SPNP: stochastic petri net package. In IEEE Int. Workshop on Petri Nets and Performance Models - PNPM89, pages 142-151, 1989.
19. G. Ciardo and R. Zijal. Well defined sthocastic petri nets. In Proceedings of the 4-th International Workshop on Modeling Analysis and Simulation of Computer and Telecomunication Systems (MASCOTS'96), pages 278-284, 1996.
20. E. M. Clarke, E. A. Emerson, and A. Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications. ACM Trans. on Progr.Lang., 8(2):244-263, 1986.
21. R. Cleaveland and S. A. Smolka. Strategic directions in computing research - concurrency working group report. Bulletin of the European Association for Theoretical Computer Science, 60:97-122, 1996.
22. R. German, D. Logothetis, and K. Trivedi. Transient analysis of Markov regenerative stochastic petri nets: a comparison of approaches. 6-th International Conference on Petri Nets and Performance models - PNPM95, pages 103-112, 1995.
23. K. Goseva, Popstojanova, and K. Trivedi. Stochastic modeling formalisms for dependability, performance and performability. Performance Evaluation - Origins and Directions, Lecture Notes in Computer Science, 2000.
24. D. Harel and A. Pnueli. On the development of reactive system. Logics and models of Concurrent systems, 1985.
25. K. Jay, L. Kevin, and B. Kenny. Building flexible real-time system using the flex language. IEEE Computer, 1991.
26. L. Lamport. A fast mutual exclusion protocol. ACM trans.on Computer systems, 1986.
27. M. A. Marsan, G. Balbo, and G. Conte. A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Trans. on Comp. sys., 1984.
28. M. A. Marsan and G. Chiola. On petri nets with deterministic and exponentially distributed firing times. Lecture Notes in Computer Science, 266(132-145), 1987.
29. P. Merlin and D. J. Farber. Recoverability of communication protocols. IEEE Transactions on Communications, 24(9), September 1976.
30. M. K. Molloy. Discrete time stochastic petri nets. IEEE Transactions on Software Engineering, 11(1), January 1985.
31. T. Murata. Petri nets: Properties, analysis and applications. IEEE Proceedings, 77(4), April 1989.
32. S. Natarajan and K. J. Lin. Expressing and maintaining constraints with flex. In Real-Time Symposium, 1988.
33. M. F. Neuts. Matrix Geometric Solutions in Sthocastic Models. Johns Hopkins University Press, 1981.
34. M. F. Neuts and K. S. Meier. On the use of phase type distributions in reliability modelling of systems with two components. OR Spektrum, 2:227-234, 1981.
35. R. D. Nicola and F. W. VanDraager. Action versus state based logics for transition systems. In Proceedings LITP Spring School on Theoretical Computer Science, pages 407-419, 1990.
36. R.K.Ahuja, T.L.Magnanti, and J.B.Orlin. Network Flows. Prentice Hall, 1993.
37. L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: an approach to real time synchronization. IEEE Trans.on Computers, 39(9), September 1990.
38. J. A. Stankovic and K. Ramamritham. What is predictability for realtime systems. Journal of Real Time Systems, 2, December 1990.
39. E. Vicario. Static analysis and dynamic steering of time dependent systems using time petri nets. IEEE Trans.Soft.Eng., August 2001.