Reconciling real-time with asynchronous message passing

M. Broy, R. Grosu, C. Klein

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations


At first sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In this paper, we show how to reconcile real-time with asynchronous message passing, by using an assumption which is supported by every mailing system throughout the world, namely that messages are time-stamped with their sending and arrival time. This assumption allows us to develop a formalism which is adequate to model and to specify real-time constraints. The proposed formalism is shown at work on a small real-time example.

Original languageEnglish
Title of host publicationFME 1997
Subtitle of host publicationIndustrial Applications and Strengthened Foundations of Formal Methods - 4th International Symposium of Formal Methods Europe, Proceedings
EditorsPeter Lucas, Cliff B. Jones, John Fitzgerald
PublisherSpringer Verlag
Number of pages19
ISBN (Print)3540635335, 9783540635338
StatePublished - 1997
Event4th International Symposium of Formal Methods Europe, FME 1997 - Graz, Austria
Duration: 15 Sep 199719 Sep 1997

Publication series

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


Conference4th International Symposium of Formal Methods Europe, FME 1997


Dive into the research topics of 'Reconciling real-time with asynchronous message passing'. Together they form a unique fingerprint.

Cite this