D. Hogrefe. Estelle, LOTOS und SDL - Standard Spezifikationssprachen fur verteilte Systeme. Springer Verlag, 1989.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....procedure is to increase the quality of the standards. Here, we have to distinguish between the description of the protocol behavior and the specification of the exchanged data units. For the behavior description the use of standardized formal description techniques, i.e. LOTOS, Estelle and SDL [10], can help to avoid ambiguities and misinterpretations. The behavior description in existing protocol standards are mainly written in plain text which is enriched with more or less informal drawings. Furthermore, it is not always possible to specify all relevant properties with the standardized ....

D. Hogrefe. Estelle, LOTOS und SDL - Standard Spezifikationssprachen fur verteilte Systeme. Springer Verlag, 1989.

....between processes in different blocks is feasable if a route consisting of signalroutes and channels exists that interconnect the processes. All blocks build a so called SDl system that may be stimulated by signals from an environment. A detailed introduction into SDL may be found in [1] and [7]. The SDL method is widely used in the field of telecommunication systems as well as in the field of incar electronics, consumer electronics and embedded real time systems. A system specified with SDL may serve as a basis for validation, functional simulation and animation, code generation, ....

Hogrefe, Dieter: Estelle, Lotos und SDL: Standardspezifikationssprachen für verteilte Systeme. Springer Verlag, Heidelberg, 1989

....commercial tools which support and automate several parts of standardized conformance testing procedure emphasizes the broad acceptance and increasing dissemination of CTMF. In parallel with the development of CTMF, ISO IEC and ITU TS developed the formal description techniques SDL, Estelle, LOTOS [16] and MSC [26] The application of these languages in protocol standards should support implementation, validation and conformance testing of communication protocols. For this reason the joint project Formal Methods in Conformance Testing (FMCT) 18, 23] of ISO IEC and ITU TS formalizes CTMF, ....

....transition system, i.e. by an infinite automaton. The labeled transition system accepts all traces which do not violate the safety property. This approach is general enough to handle safety properties which are specified with a standardized formal description technique, i.e. LOTOS, Estelle, or SDL [16]. A guarantee property is represented by a finite automaton. The automaton accepts all traces which validate the property. Examples for formalisms which can be used to specify guarantee properties are the MSC language and temporal logic formulas [34] 5 Test case generation by SAMSTAG In general, ....

D. Hogrefe. Estelle, LOTOS und SDL - Standard Spezifikationssprachen fur verteilte Systeme. Springer Verlag, 1989.

....Techniques and their Semantics When describing software systems as well as hardware systems or combinations like embedded systems a notation is necessary. Today lots of different description techniques, including the ones defined by UML [Gro97b] Petri Nets [Rei90] StateCharts [Har87] SDL [Hog89] MSC [IT96] and for continuous systems differential equations and the like, have been developed. Although these notations usually do have an intuitive meaning, the intuition of the users of such notations often differs significantly in some points from the semantics of these description ....

D. Hogrefe. Estelle, LOTOS und SDL: Standard--Spezifikationssprachen fur verteilte Systeme. Springer-Verlag, 1989.

....procedure is to increase the quality of the standards. Here, we have to distinguish between the description of the protocol behavior and the specification of the exchanged data units. For the behavior description the use of standardized formal description techniques, i.e. LOTOS, Estelle and SDL [10], can help to avoid ambiguities and misinterpretations. The behavior description in existing protocol standards are mainly written in plain text which is enriched with more or less informal drawings. Furthermore, it is not always possible to specify all relevant properties with the standardized ....

D. Hogrefe. Estelle, LOTOS und SDL - Standard Spezifikationssprachen fur verteilte Systeme. Springer Verlag, 1989.

....FAIL. These possible verdicts are reflected by the two final states ST14 and ST16 in Figure 27. 6.2 A parallel TTCN test case based on Inres The second example includes parallel test components. The system for which the test case is defined, is called Inres. Details about Inres can be found in [6, 7]. We intend to analyze a test case for testing the Initiator part of Inres. A test architecture in which our test case is applicable is shown in Figure 28. The system under test (SUT) consists of the implementation under test (IUT) i.e. the Initiator process, and a Medium service which is used ....

D. Hogrefe. Estelle, LOTOS und SDL - Standard Spezifikationssprachen fur verteilte Systeme. Springer Verlag, 1989.

....independent of their implementors. Furthermore, the conformance of these protocols to a given standard can be checked with the help of predefined tests. The Specification and Description Language (SDL) 23, 30, 12] is the most widely used FDT in the area of telecommunications. According to HOGREFE [17] SDL supports object oriented software design by dedicated elements of the language in contrast to other FDTs and, moreover, its quick to learn graphical notation is self documenting and, thus, easily maintainable. The following sections first present the SDL oriented method of software design ....

Dieter Hogrefe. Estelle, LOTOS und SDL --- Standard--Spezifikationssprachen fur verteilte Systeme. Springer Verlag, 1989. ISBN 3--540--50477--X. This book can be ordered via http://www.springer.de.

....phase both mentioned tasks are described only informally. Protocol specification and test cases, i.e. the other input and output data of the two tasks (cf. Figure 2) can be assumed to be represented formally. Standardized formal description techniques (FDTs) i.e. SDL, Estelle, and LOTOS [2], can be used to specify protocols formally and the standardized test notation TTCN [3] can be used to represent test cases. Within the project Conformance Testing A Tool for the Generation of Test Cases , funded by Swiss PTT under contract no. 233 257, we developed the SaMsTaG 1 method which ....

D. Hogrefe. Estelle, LOTOS und SDL - Standard Spezifikationssprachen fur verteilte Systeme. Springer Verlag, 1989.

....step is completely evaluated before the next test steps starts. This restriction is especially relevant for MSCs with more than two instances axes where there is no total ordering of the events of the environment. 4 Examples In this section we present some examples based on the Inres protocol [2]. Figure 4 shows a complete test run which tests whether it is possible to establish a connection, send one packet of data and then release the connection. Autolink allows to use test steps in test cases. Therefore the test case above can be structured into a preamble (connection establishment) ....

D. Hogrefe. Estelle, LOTOS und SDL - Standard Spezifikationssprachen fur verteilte Systeme. Springer, 1989.

.... 122 FSFC SRT SRE NDFS 34 68 102 129 178 FSFC SRT SRE NDFS NNC Table 2: Explored behavior tree by a given time and a given heuristics combination prioritizing simulation (IPS) and condition locking simulation (CLS) The effects of these methods have been tested by means of the Inres protocol (cf. [4, 5]) The results of these experiments are described in this section. 4.2 Heuristics We have tested the mentioned heuristics and several combinations of them. The results of these experiments are shown in table 2 and figure 3. 5 During the test runs we measured the average branching factor for ....

D. Hogrefe. Estelle, LOTOS und SDL - Standard Spezifikationssprachen fur verteilte Systeme. Springer Verlag, 1989.

No context found.

D. Hogrefe. Estelle, LOTOS und SDL - Standard Spezifikationssprachen fur verteilte Systeme. Springer Verlag, 1989.

No context found.

D. Hogrefe. Estelle, LOTOS und SDL: Standard--Spezifikationssprachen fur verteilte Systeme. Springer-Verlag, 1989.

No context found.

D. Hogrefe. Estelle, LOTOS und SDL: Standard--Spezifikationssprachen fur verteilte Systeme. Springer-Verlag, 1989.

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