Formal simulation and analysis of the CASH scheduling algorithm in Real-Time Maude

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3922 LNCS, Issue , 2006, Pages 357-372

  Ölveczky, Peter Csaba ^a,b   Caccamo, Marco ^a  

^a University of Illinois at Urbana Champaign   (United States)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; COMPUTER SOFTWARE REUSABILITY; MONTE CARLO METHODS; REAL TIME SYSTEMS; SCHEDULING;

REACHABILITY ANALYSIS; REAL-TIME MAUDE; SCHEDULING ALGORITHMS; SYMBOLIC SIMULATION;

ALGORITHMS;

EID: 33745784778     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11693017_26     Document Type: Conference Paper

References (19)

1. G. Behrmann, A. David, and K. G. Larsen. A tutorial on UPPAAL. In Proc. SFMRT 2004, volume 3185 of LNCS. Springer, 2004.
2. G. Buttazzo, G. Lipari, L. Abeni, and M. Caccamo. Soft Real-Time Systems: Predictability vs. Efficiency. Springer, 2005.
3. M. Caccamo, G. Buttazzo, and L. Sha. Capacity sharing for overrun control. In Proc. IEEE Real-Time Systems Symposium, Orlando, December 2000.
4. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and programming in rewriting logic. Theoretical Computer Science, 285:187-243, 2002.
5. M. Clavel, F. Dúran, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. Maude Manual (Version 2.2), December 2005. http://maude.cs.uiuc.edu.
6. P. Gai, L. Abeni, M. Giorgi, and G. Buttazzo. A new kernel approach for modular real-time systems development. In ECRTS'01. IEEE, 2001.
7. T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: A model checker for hybrid systems. Software Tools for Technology Transfer, 1:110-122, 1997.
8. D. E. Knuth. The Art of Computer Programming: Seminumerical Algorithms, volume 2. Addison-Wesley, second edition, 1981.
9. E. Lien. Formal modelling and analysis of the NORM multicast protocol using Real-Time Maude. Master's thesis, Dept. of Linguistics, University of Oslo, 2004.
10. J. Meseguer. Membership algebra as a logical framework for equational specification. In Proc. WADT'97, volume 1376 of LNCS. Springer, 1998.
11. P. C. Ölveczky. Formal simulation and analysis of the CASH scheduling algorithm in Real-Time Maude (extended version), http://www.ifi.uio. no/RealTimeMaude/CASH.
12. P. C. Ölveczky, M. Keaton, J. Meseguer, C. Talcott, and S. Zabele. Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. In Proc. FASE 2001, volume 2029 of LNCS. Springer, 2001.
13. P. C. Ölveczky and J. Meseguer. Specification of real-time and hybrid systems in rewriting logic. Theoretical Computer Science, 285:359-405, 2002.
14. P. C. Ölveczky and J. Meseguer. Specification and analysis of real-time systems using Real-Time Maude. In FASE 2004, volume 2984 of LNCS. Springer, 2004.
15. P. C. Ölveczky and J. Meseguer. Real-Time Maude 2.1. Electronic Notes in Theoretical Computer Science, 117:285-314, 2005.
16. P. C. Ölveczky and J. Meseguer. Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation, 2006. To appear.
17. P. C. Ölveczky, J. Meseguer, and C. L. Talcott. Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude, 2004. http://www.ifi.uio.no/RealTimeMaude.
18. S. Thorvaldsen and P. C. Ölveczky. Formal modeling and analysis of the OGDC wireless sensor network algorithm in Real-Time Maude. Manuscript. http://www.ifi.uio.no/RealTimeMaude/OGDC, October 2005.
19. S. Yovine. Kronos: A verification tool for real-time systems. Software Tools for Technology Transfer, 1(1-2):123-133, 1997.