M. Broy, R. Grosu, and C. Klein. Reconciling real--time with asynchronous message passing. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97, 4th International Symposium of Formal Methods Europe, Graz, Austria, Lecture Notes in Computer Science 1313. Springer, 1997. 17, 26 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Scheduling with Message Deadlines for Hard Real-Time SDL Systems - Kolloch (2002) (1 citation) (Correct)
.... passing communication scheme which allows a loose coupling of independent system parts (a sender will never be blocked through a non ready to communicate receiver) is unsuited for real time systems because the delay until the receiver proceeds its execution can not predictably be bounded [BGK97] Having this in mind the question arises, what is the general purpose of a specification language, especially its semantics A language should provide a frame of rules that allow the system designer to describe the application under development in an abstract and implementation independent way. ....
....Depending on the urgency of this timer signal, it will be immediately consumed by the process to alarm, but preemption through third party processes may cause a jitter comparable to normal SDL timeout signals. To demonstrate consequences with an example, a simple telephone handler application [BGK97] is shortly analyzed (Fig. 3.4) There exists the following requirement: Process TelHandler has to respond within deadline d to incoming signal o#H, process Caller uses timeout signal T to monitor a timely response of process TelHandler. For expressiveness reasons, a message sequence chart ....
M. Broy, R. Grosu, and C. Klein. Reconciling real--time with asynchronous message passing. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97, 4th International Symposium of Formal Methods Europe, Graz, Austria, Lecture Notes in Computer Science 1313. Springer, 1997. 17, 26
Modeling the Dynamic Behavior of Objects On Events, Messages.. - Breu, Grosu Self-citation (Grosu) (Correct)
....unclear and is left to the interpretation of the system designer. The focus of our paper is to provide clear concepts and techniques for the dynamic modeling of objects in concurrent environments. The central description technique we rely on is a powerful variant of state transition diagrams [4, 3]. In these diagrams, transitions are associated with triples consisting of a precondition (the guard) a set of input output events and a postcondition describing the change of state. The notion of methods we consider is more general than the notion of procedures in a programming language. In our ....
M. Broy, R. Grosu, and C. Klein. Reconciling real-time with asynchronous message passing. Will appear in FME'97 Proceedings, September 1997.
Visual Formalisms Revisited - Grosu, Stefanescu, Broy (1998) (8 citations) Self-citation (Broy Grosu) (Correct)
....studied in isolation by the authors, e.g. in [6, 8, 10, 12, 13, 23] and also by other researchers like Abramski, Bartha, Bergstra, Bloom, Cazanescu, Elgot, Esik, Joyal, Milner, Stark, Street, Verity etc. The combination of data flow networks with statetransition diagrams was also studied e.g. in [7, 9]. However, the way we combine the additive and the multiplicative interpretations in this paper to obtain a state based description of reactive systems is new and it is guided by the computation model presented in the next section. 3 The Computation Model We model an interactive system by a ....
M. Broy, R. Grosu, and C. Klein. Reconciling real-time with asynchronous message passing. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME '97, 4th International Symposium of Formal Methods Europe, Graz, Austria, Lecture Notes in Computer Science 1313. Springer, September 1997.
Relating Events, Messages and Methods of Multiple-Threaded Objects - Breu, Grosu Self-citation (Grosu) (Correct)
....diagrams in which state transitions can be associated with outgoing events and state transitions can be guarded by preconditions and followed by postconditions. The kind of state transition diagrams we propose are well founded and provided with a formal semantics in a concurrent setting of objects [6, 4]. The notion of methods we conceive is more general than to be an equivalent to procedures in a programming language. In our intuition, methods in the analysis phase model high level activities of objects. Examples for such methods are the transfer of money in a bank or the reservation of a hotel ....
M. Broy, R. Grosu, and C. Klein. Reconciling real-time with asynchronous message passing. Will appear in FME'97 Proceedings, September 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC