TY - GEN
T1 - Reconciling real-time with asynchronous message passing
AU - Broy, M.
AU - Grosu, R.
AU - Klein, C.
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1997.
PY - 1997
Y1 - 1997
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84944267823&partnerID=8YFLogxK
U2 - 10.1007/3-540-63533-5_10
DO - 10.1007/3-540-63533-5_10
M3 - Conference contribution
AN - SCOPUS:84944267823
SN - 3540635335
SN - 9783540635338
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 182
EP - 200
BT - FME 1997
A2 - Lucas, Peter
A2 - Jones, Cliff B.
A2 - Fitzgerald, John
PB - Springer Verlag
T2 - 4th International Symposium of Formal Methods Europe, FME 1997
Y2 - 15 September 1997 through 19 September 1997
ER -