Specifying and Analyzing Real-Time Object Systems in Real-Time Maude

By Peter Csaba Ölveczky and José Meseguer

In Proc. Workshop on Real-Time Tools, Aalborg University, 2001.

This paper gives a light-weight introduction to the main features of (the now obsolete version 1 of) Real-Time Maude. It illustrates these features by the AER/NCA case study reported elsewhere. The paper is not very different from our contribution to FASE'2001, but emphasizes relating Real-Time Maude to other real-time tools. Furthermore, it covers some parts of the case study not covered by that paper.

Download paper: ps, dvi, gzipped ps, gzipped dvi.

Bibtex-entry