Casting preemptive time petri nets in the development life cycle of real-time software

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2007, Pages 291-300

  Carnevali, Laura ^a   Sassoli, Luigi ^a   Vicario, Enrico ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATION MODEL; STATE SPACE ANALYSIS;

COMPUTATION THEORY; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; LIFE CYCLE; PARAMETER ESTIMATION; VERIFICATION;

PETRI NETS;

EID: 35348873349     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECRTS.2007.86     Document Type: Conference Paper

References (22)

1. B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using time petri nets. IEEE Trans. on Soft. Eng., 17(3), March 1991.
2. B. Berthomieu, D. Lime, O. H. Roux, and F. Vemadat. Reachability problems and abstract state spaces for time petri nets with stopwatches. LAAS Report 04483, 2004.
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, 1983.
4. st Int. Conf. on Quant. Evaluation of Systems, pages 70-79, 2004.
5. A. En-Nouaary, R. Dssouli, and F. Khendek. Timed wpmethod: Testing real-time systems. IEEE Trans. Software Eng., 28(11), 2002.
6. F.Cassez and K.G.Larsen. The Impressive Power of Stopwatches, volume 1877. LNCS, August, 2000,
7. R. T. C. for Aeronautics. Do-178b, software considerations in airborne systems and equipment certification.
8. S. Fujiwara, G. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi. Test selection based on finite-state models. IEEE Trans. Software Eng., 17(2):591-603, 1991.
9. G.Bucci, A. Fedeli, L. Sassoli, and E. Vicario. Modeling flexible real time systems with preemptive time petri nets. Proc. 15-th Euromicro Conf. on Real-Time Sys. (ECRTS03), July 2003.
10. C.Bucci, A. Fedeli, L. Sassoli, and E. Vicario. Timed state space analysis of real time preemptive systems. IEEE Trans.on Soft.Eng., 30(2):97-111, February 2004.
11. G.Buttazzo. Hard Real-Time Computing Systems. Springer, 2005.
12. D. Harel and A. Pnueli. On the development of reactive systems. Logics and models of Concurrent systems, 1985.
13. A. Hessel, K. Larsen, B. Nielsen, P. Pettersson, and A. Skou. Time-optimal realtime test case generation using uppaal. Int. Work. Formal Appr. to Testing of Sw (EATES03), 2003.
14. M. Krichen and S. Tripakis. Black-box conformance testing for real-time systems. SPIN'04 Workshop on Model Checking Software, 2004.
15. K. Larsen, M. Mikucionis, and B. Nielsen. Online testing of real-time systems using uppaal: Status and future work. (04371), 2005.
16. C. L. Liu and J. W. Lay land. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM, 20(1):46-61, 1973.
17. L.Sha, R.Rajkumar, and S.S.Sathaye. Generalized rate monotonic scheduling theory: a framework for developing real time systems. IEEE Proceedings, 82(1), 1994.
18. D. of Aerospace Engineering of the Polytechnic of Milan. Rtai: Real time application interface for linux. https://www.rtai.org.
19. O. H. Roux and D. Lime. Time petri nets with inhibitor hyperarcs: formal semantics and state-space computation. 25th Int. Conf. on Theory and Application of Petri nets, 2004.
20. rd Int. Conf. on the Quant. Evaluation of Sys.(QEST), Sept., 2006.
21. J. A. Stankovic and K. Ramamritham. What is predictability for real time systems. Journal of Real Time System, 2, 1990.
22. E. Vicario. Static analysis and dynamic steering of time dependent systems using time petri nets. IEEE Trans. on Soft. Eng., August 2001.