Modeling flexible real time systems with preemptive time Petri nets

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2003, Pages 279-286

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

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INTERPROCESS COMMUNICATION; MIXING DYNAMICS; ONE-SHOT PROCESS; PRE-EMPTIVE SCHEDULING; PRECEDENCE RELATIONS; PREEMPTIVE TIME PETRI NETS; RESOURCE ASSIGNMENT; TIME PETRI NETS;

INTERACTIVE COMPUTER SYSTEMS;

REAL TIME SYSTEMS;

EID: 70349363806     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMRTS.2003.1212753     Document Type: Conference Paper

References (25)

1. R. Alur, T. A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. In IEEE Real-Time Systems Symposium, pages 2-11, 1993.
2. J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. UPPAAL - a tool suite for automatic verification of real-time systems. In Hybrid Systems, pages 232-243, 1995.
3. 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.
4. 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. (Pubitemid 14559987)
5. A. Bobbio, A. Puliafito, and M.Telek. A modeling framework to implement preemption policies in non-Markovian SPNs. IEEE Transactions on Software Engineering, 26(1):36-54, January 2000. (Pubitemid 30584679)
6. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool KRONOS. In Hybrid Systems III: Verification and Control, volume 1066, pages 208-219, Rutgers University, New Brunswick, NJ, USA, 22-25 October 1995. Springer.
7. D.Dill. Timing assumptions and verification of finite-state concurrent systems. In Workshop on Computer Aided Verification Methods for Finite State Systems, 1989.
8. E.Vicario. Static analysis and dynamic steering of time dependent systems using time petri nets. IEEE Trans.Soft.Eng., August 2001.
9. G.Bucci, A.Fedeli, and E.Vicario. Timed state space analysis of fixed priority preemptive systems. also submitted to IEEE Transactions on Software Engineering, 2002.
10. G.Bucci and E.Vicario. Compositional validation of timecritical systems using communicating time petri nets. IEEE Transactions on Software Engineering, 26(12), December 1995.
11. H.Ben-Abdallah, J.-Y.Choi, D.Clarke, Y.-S.Kim, I.Lee, and H.-L.Xie. A process algebraic approach to the schedulability analysis of real time systems. Real Time Systems, 15(3):189-219, 1998.
12. I.Lee, P.Bremond-Gregoire, and R.Gerber. A process algebraic approach to the specification and analysis of resource bound real time systems. Proceedings of the IEEE, 82(1):158-171, Jan. 1994.
13. J.L.Peterson. Petri nets. ACM Computing Surveys, 9(3), September 1977.
14. J.W.S.Liu and W.K.Feng. Algoritms for scheduling realtime tasks with input error and end-to-end deadliness. IEEE Transactions on Software Engineering, 1997.
15. J.W.S.Liu and W.K.Shih. Algoritms for scheduling imprecise computations with timing constraints to minimize maximum error. IEEE Transactions on Computers, 1995.
16. K.Altisen and J. G.Goessler. Scheduler modeling based on the controller synthesis paradigm. Real Time Systems, 23:55-84, 2002.
17. K.Jay, L.J.Y.Chung, and J.W.S.Liu. Scheduling periodic jobs that allow imprecise results. IEEE Transactions on Computers, 1990.
18. K.Jay, L.Kevin, and B.Kenny. Building flexible real-time system using the flex language. IEEE Computer, 1991.
19. 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.
20. M.Caccamo, L.Abeni, G.C.Buttazzo, and G.Lipari. Elastic scheduling for flexible workload management. IEEE Transactions on Computers, 2002.
21. S. Natarajan and K.J.Lin. Expressing and maintaining constraints with flex. In Real-Time Symposium, 1988.
22. P.Merlin and D.J.Farber. Recoverability of communication protocols. IEEE Transactions on Communications, 24(9), September 1976.
23. R.Alur, C.Courcoubetis, and D.Dill. Model-checking for real-timesystems. In 5th Symp. on Logic in Computer Science, 1990.
24. O. Sokolsky, I. Lee, and H. Ben-Abdallah. Specification and analysis of real-time systems with PARAGON. Annals of Software Engineering, 7:211-234, 1999.
25. T.Murata. Petri nets: Properties, analysis and applications. IEEE Proceedings, 77(4), April 1989.