Christian facchi, Markus Haubner, and Ursula Hinkel. "The SDL Specification of the Sliding Window Protocol Revisited". Technical Report TUM-I9614, Technische Univeritit Mfinchen, 1996.  Home/Search   Document Details and Download   Summary   Related Articles   Check

.... middleware . This study shows that FDTs can help detect requirements errors earlier, thus indirectly implying that long term cost savings should result. Our study is not unique in applying SDL to the telecommunications domain. SDL has been used from the traditional use of protocol specifications [4, 44, 19] to high level specification [35] prototyping [49] design [38] code generation [20] and testing [24] of telecommunications applications. The goal of these studies was different: they were aimed at investigating technical advantages or a feasibility of SDL in a given environment, or were ....

Christian facchi, Markus Haubner, and Ursula Hinkel. "The SDL Specification of the Sliding Window Protocol Revisited". Technical Report TUM-I9614, Technische Univeritit Mfinchen, 1996.

....the more complete specifications during the design and the implementation phases. This is an area where SDL can potentially significantly improve the development process. In fact, SDL has been successfully applied in the telecommunications field: from the traditional use of protocol specifications [3, 26, 8] to high level specification [22] prototyping [29] design [24] code generation [10] and testing [11] of telecommunications applications. Although the results reported in these studies were similar to ours, the goal of the studies was different: they were aimed to investigate technical ....

Christian Facchi, Markus Haubner, and Ursula Hinkel. The SDL Specification of the Sliding Window Protocol Revisited. Technical Report TUM-I9614, Technische Univeritat Munchen, 1996.

.... N from the application s point of view. The new protocols are specified in Specification and Description Language (SDL) which was first standardized by CCITT ITU T [14] in 1976 as Recommendation Z.100. SDL has been widely used in the telecommunications field, mostly for specifying protocols [1, 2, 7]. Typically, designers would like to establish that protocols are free of logical errors, e.g. deadlock, and are semantically correct, i.e. the protocols behave exactly as the specifier intended [20] Several approaches have been proposed to automatically detect both logic and semantic errors ....

C. Facchi, M. Haubner, and U. Hinkel. "The SDL Specification of the Sliding Window Protocol Revisited ". Technical Report TUM-I9614, Technische Univerit at Munchen, 1996.

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