Specification and Analysis of Real-Time Systems Using Real-Time Maude

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

Volumn 2984, Issue , 2004, Pages 354-358

  Ölveczky, Peter Csaba ^a,b   Meseguer, José ^a  

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

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL SPECIFICATION; HYBRID SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING; OBJECT ORIENTED PROGRAMMING; RECONFIGURABLE HARDWARE; SCHEDULING ALGORITHMS; SOFTWARE ENGINEERING; SPECIFICATIONS;

ANALYSIS TECHNIQUES; FORMAL SPECIFICATION AND ANALYSIS; LINEAR TEMPORAL LOGIC; OBJECT ORIENTED; REAL-TIME MAUDE; REWRITING LOGIC; TIMED REWRITING; TOOL SUPPORTING;

REAL TIME SYSTEMS;

EID: 33745769604     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24721-0_26     Document Type: Article

References (11)

1. Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a. nutshell. Int. Journal on Software Tools for Technology Transfer 1 (1997) 134-152
2. Henzinger, T.A., Ho, P.H., Wong-Toi, H.: HyTech: A model checker for hybrid systems. Software Tools for Technology Transfer 1 (1997) 110-122
3. Yovine, S.: Kronos: A verification tool for real-time systems. Software Tools for Technology Transfer 1 (1997) 123-133
4. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126 (1994) 183-235
5. Ölveczky, P.C., Keaton, M., Meseguer, J., Talcott, C., Zabele, S.: Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. In: FASE 2001. Volume 2029 of Lecture Notes in Computer Science., Springer (2001) 333-347
6. Ding, H., Zheng, C., Agha, G., Sha, L.: Automated verification of the dependability of object-oriented real-time systems. In: 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03), IEEE Computer Society Press (2003)
7. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science 285 (2002) 187-243
8. Ölveczky, P.C., Meseguer, J.: Real-Time Maude: A tool for simulating and analyzing real-time and hybrid systems. In: Third International Workshop on Rewriting Logic and its Applications. Volume 36 of Electronic Notes in Theoretical Computer Science., Elsevier (2000) http://www.elsevier.nl/locate/ entcs/volume36.html.
9. Ölveczky, P.C., Meseguer, J.: Real-Time Maude 2.0. Submitted for publication. http://heim.ifi.uio.no/~peterol/RealTimeMaude/rtm-papers.html (2004)
10. Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker. In: Fourth International Workshop on Rewriting Logic and its Applications. Volume 71 of Electronic Notes in Theoretical Computer Science., Elsevier (2002)
11. Ölveczky, P.C., Meseguer, J.: Specification of real-time and hybrid systems in rewriting logic. Theoretical Computer Science 285 (2002) 359-405