S. Fischer and S. Leue. Formal methods for broadband and multimedia systems. Computer Networks and ISDN Systems, Apr. 1998. To appear.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....will not always yield a reliable measure of QoS capabilities. Information on performance capabilities need to be determined during system development and be used to inform dynamic measurement systems. In response, a number of researchers have considered techniques for the specification [BBBC98,FL98] and verification [BFM98] of Quality of Service. However to date, this work has been restricted to specification and verification using deterministic timing , e.g. putting fixed upper and lower bounds on the time that actions are offered to the environment. This is a useful first step, but it ....

S. Fischer and S. Leue. Formal methods for broadband and multimedia systems. Computer Networks and ISDN Systems, Special Issue on Trends in Formal Description Techniques and their Applications, to appear, 1998.

....This prevents the costly scenario of constructing a finished system only to find that it doesn t meet its realtime requirements. Formal specification and verification offers great potential in this respect. Consequently, a number of researchers have considered techniques for the specification [3, 10, 17, 9] and verification [5] of multimedia systems. One contribution of this body of work is to identify a number of canonical examples of multimedia systems, e.g. a multimedia stream and a lip synchronisation algorithm [3] The latter is particularly important as it offers a non trivial example of ....

S. Fischer and S. Leue. Formal methods for broadband and multimedia systems. Computer Networks and ISDN Systems, Special Issue on Trends in Formal Description Techniques and their Applications, to appear, 1998.

No context found.

S. Fischer and S. Leue. Formal methods for broadband and multimedia systems. Computer Networks and ISDN Systems, Apr. 1998. To appear.

....Estelle and SDL have a built in real time mechanism. Estelle uses a delay clause to express timing constraints whereas SDL uses a timer mechanism. We analyze the suitability of these constructs to express hard real time constraints 3 . We will only summarize our findings here and we refer to [28] for a more extensive discussion. DELAY clause in Estelle. The Estelle standard [40] suggests associating a delay clause of the form delay(E1,E2) with a transition t to express a timing constraint. Consider a transition t labeled with clause delay(E1,E1) This transition will, if at all, execute ....

....are to interpret SDL specifications and Temporal Logic formulae on common model theoretic grounds. Second, our approach to a semantics definition is exemplary in nature and intended to cover only a small subset of the SDL language. A more extensive description of our definitions can be found in [55,28]. Related work. Our definitions here are close to the Basic Transition Systems of [60] Our pSTS models can be seen as a logic based formulation of Extended Finite State Machines (EFSM) 57] The modeling of SDL processes as EFSMs has been suggested in [7] and [68] However, as we will see ....

S. Fischer and S. Leue. Formal methods for broadband and multimedia systems. Technical Report 97-08, Department of Electrical and Computer Engineering, University of Waterloo, 1997. Available at: URL=http://www.swen.uwaterloo.ca/~sleue/sdl.html#stefan2.

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