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

Peter Csaba Ölveczky; José Meseguer

doi:10.1007/978-3-540-24721-0_26

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

Peter Csaba Ölveczky, José Meseguer

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Abstract

Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, emphasizes generality and ease of specification, and is particularly suitable to specify objectoriented real-time systems. The tool offers a wide range of analysis techniques, including timed rewriting for simulation purposes, search, and time-bounded linear temporal logic model checking. It has been used to model and analyze sophisticated communication protocols and scheduling algorithms. Real-Time Maude is an extension of Maude and a major redesign of an earlier prototype.

Original language	English (US)
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Michel Wermelinger, Tiziana Margaria-Steffen
Publisher	Springer
Pages	354-358
Number of pages	5
ISBN (Print)	3540213058, 9783540213055
DOIs	https://doi.org/10.1007/978-3-540-24721-0_26
State	Published - 2004

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2984
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1007/978-3-540-24721-0_26

Library availability

Discover UIUC Full Text

Cite this

Ölveczky, P. C., & Meseguer, J. (2004). Specification and Analysis of Real-Time Systems Using Real-Time Maude. In M. Wermelinger, & T. Margaria-Steffen (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 354-358). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2984). Springer. https://doi.org/10.1007/978-3-540-24721-0_26

Specification and Analysis of Real-Time Systems Using Real-Time Maude. / Ölveczky, Peter Csaba; Meseguer, José.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / Michel Wermelinger; Tiziana Margaria-Steffen. Springer, 2004. p. 354-358 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2984).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Ölveczky, PC & Meseguer, J 2004, Specification and Analysis of Real-Time Systems Using Real-Time Maude. in M Wermelinger & T Margaria-Steffen (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2984, Springer, pp. 354-358. https://doi.org/10.1007/978-3-540-24721-0_26

Ölveczky PC, Meseguer J. Specification and Analysis of Real-Time Systems Using Real-Time Maude. In Wermelinger M, Margaria-Steffen T, editors, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer. 2004. p. 354-358. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-24721-0_26

Ölveczky, Peter Csaba ; Meseguer, José. / 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). editor / Michel Wermelinger ; Tiziana Margaria-Steffen. Springer, 2004. pp. 354-358 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{aff1d67018474edda2e78ac0e79eef12,

title = "Specification and Analysis of Real-Time Systems Using Real-Time Maude",

abstract = "Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, emphasizes generality and ease of specification, and is particularly suitable to specify objectoriented real-time systems. The tool offers a wide range of analysis techniques, including timed rewriting for simulation purposes, search, and time-bounded linear temporal logic model checking. It has been used to model and analyze sophisticated communication protocols and scheduling algorithms. Real-Time Maude is an extension of Maude and a major redesign of an earlier prototype.",

author = "{\"O}lveczky, {Peter Csaba} and Jos{\'e} Meseguer",

year = "2004",

doi = "10.1007/978-3-540-24721-0_26",

language = "English (US)",

isbn = "3540213058",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "354--358",

editor = "Michel Wermelinger and Tiziana Margaria-Steffen",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

address = "Germany",

}

TY - CHAP

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

AU - Ölveczky, Peter Csaba

AU - Meseguer, José

PY - 2004

Y1 - 2004

N2 - Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, emphasizes generality and ease of specification, and is particularly suitable to specify objectoriented real-time systems. The tool offers a wide range of analysis techniques, including timed rewriting for simulation purposes, search, and time-bounded linear temporal logic model checking. It has been used to model and analyze sophisticated communication protocols and scheduling algorithms. Real-Time Maude is an extension of Maude and a major redesign of an earlier prototype.

AB - Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, emphasizes generality and ease of specification, and is particularly suitable to specify objectoriented real-time systems. The tool offers a wide range of analysis techniques, including timed rewriting for simulation purposes, search, and time-bounded linear temporal logic model checking. It has been used to model and analyze sophisticated communication protocols and scheduling algorithms. Real-Time Maude is an extension of Maude and a major redesign of an earlier prototype.

UR - http://www.scopus.com/inward/record.url?scp=33745769604&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33745769604&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-24721-0_26

DO - 10.1007/978-3-540-24721-0_26

M3 - Chapter

AN - SCOPUS:33745769604

SN - 3540213058

SN - 9783540213055

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

SP - 354

EP - 358

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

A2 - Wermelinger, Michel

A2 - Margaria-Steffen, Tiziana

PB - Springer

ER -

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

Abstract

Publication series

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this