Specifying Real-Time Systems in Rewriting Logic

Peter Csaba Ölveczky, Jose Meseguer

Research output: Contribution to journalArticle

Abstract

This work investigates the suitability of rewriting logic as a semantic framework for modeling real-time and hybrid systems. We present a general method to specify and symbolically simulate such systems in rewriting logic and illustrate it with a well-known benchmark. We also show how a wide range of real-time and hybrid system models can be naturally expressed and are unified within our approach. The relationships with timed rewriting logic [9,10] are also investigated.

Original languageEnglish (US)
Pages (from-to)284-309
Number of pages26
JournalElectronic Notes in Theoretical Computer Science
Volume4
Issue numberC
DOIs
StatePublished - 1996
Externally publishedYes

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this