Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

PDF-Datei  Reconciling Real-Time with Asynchronous Message Passing

Conference Paper

Author:M. Broy, R. Grosu, C. Klein
Conference:FME '97, 4th International Symposium of Formal Methods Europe, Graz, Austria, Lecture Notes in Computer Science 1313
Editor:J. Fitzgerald, C.B. Jones, P. Lucas
Abstract: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.

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact