A.Olsen, O Faergemand, B. Moller-Pedersen, R. Reed and J.R.W. Smith. Systems engineering using SDL-92. Elsevier Science BV, the Netherlands, 1994.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....remainder of this paper to make this distinction clear. Model features contain the actual development information independent of its representation. Thus, for each model feature different feature views exist, which contain modelfeature information in a concrete representation, e.g. in HTML or SDL [15]. This is why feature views can be conceived as specializations of model features. Additionally, configurations are introduced, which aggregate less complex artefacts. This is reflected by the aggregation relation in Fig. 1. Usually, developers will be working on documents, which are composed ....

A. Olsen, O. Frgemand, B. Mller-Pedersen et al. System Engineering Using SDL-92. 4th Edition, Amsterdam: North Holland. 1997

....textual one (SDL PR) used as input language in all parsing tools throughout the design framework . In the following, basic SDL concepts are shortly explained. For a more detailed description of its language features and further recommendations on its use, the reader is referred to [Ols94, BHS91, BH93, ITU94c] 3.1.1 Syntax SDL system structure: A SDL specification consists of a system model that communicates with the environment. The system model can be decomposed with hierarchically decluttered blocks connected via uni or bidirectional channels. Blocks can be further ....

....design if the tolerances on the time intervals are 100 times the average instruction time of the CPU used for implementation. These observations are without any theoretical evidence: they are only based on experience with some implementations of SDL and similar timing schemes. Ols94, p. 101] 75 Generation TPG TPG 5 SM ATM Strategy Generation RTAM 6 RTAM Transitions WCET BCET 4 Start Time Calculation 7 Start Times Event Streams 3 RTOS WCET 8 SDL 1 Real Time Analysis Deadlines 2 Figure 6.1: Information Flow and Dependencies of Real Time Analysis ....

Anders Olsen. Systems engineering using SDL--92. Elsevier, Amsterdam, 1994. 19, 75

....therefore is to efficiently create prototypes from this limited information. We think efficiency can best be achieved with the generator based concept that is introduced in this paper. As code generators for operational specification languages like SDL (Specification and Description Language [OFM97]) are available, an intermediate step in our approach is the transformation of the semi formal development documents into such an operational notation. This is obviously a less complex task than generating programming language code directly. To provide a systematic solution for that ....

A. Olsen, O. Frgemand, B. Mller-Pedersen et al. System Engineering Using SDL-92. 4th Edition, Amsterdam: North Holland. 1997

....It describes how to model and simulate a heterogeneous system specification based on an abstract communication mechanism [7] which, to a large extent, can be implicitly derived from the system specification. For the two parts of control and dataflow, we adopt different languages, SDL ([9], 10] and Matlab. Both are specialized in their respective domains, well established in their user community and they enjoy sophisticated tool support. They allow the specification at the system level without bias towards implementation. Our guiding principle has been simplicity for the user. ....

A. Olsen, O. Frgemand, Systems Engineering Using SDL92, North-Holland 1997.

....Modeling Language, UML [Bo99] Although Use Cases and Interaction Diagrams are widely used in the UML community, they are not qualified for completely and precisely describing the behavior of a system. A notation with well defined semantics is the Specification and Description Language, SDL [Ol97], which therefore is supported by commercial code generators. In research projects, several of the above techniques have been extended to allow the specification of non functional aspects. One example is SDL [Sp97] which adds non functional annotations to SDL. Current development methods for ....

....how the tasks should be solved. These strategies are described in natural language, leading to semi formal control object type documents that are expressed in HTML. Therefrom, each HTML control object type document is transformed into an operational (i.e. formal) document that is specified in SDL [Ol97] in the requirements specification workflow. In these documents, the aggregation of control object types is represented by a block hierarchy and strategies are expressed by extended finite state machines, which is a suitable notation for the chosen application domain, as states of control object ....

Olsen, A.; Frgemand, O.; Mller-Pedersen, B. et al.: System Engineering Using SDL92. 4th Edition, North Holland, Amsterdam, 1997

....to a specific domain. Many existing design methods (e.g. ROPES [Douglass, 2001] based on the UML) adapt the technique of prototyping [Budde et al. 1992] for establishing communication between stakeholders. However, only with the recent advent of operational modeling languages (like SDL [Olsen et al. 1997], or Statemate [Harel et al. 1998] and respective code generators has the efficient construction of prototypes from software models become possible. 4. Building Performance Simulators Building performance simulators, when used for a virtual laboratory, have to meet specific requirements. An ....

....object types. From these control object types, operational control object types are modeled. The modeling is aided by templates to simplify recurring modeling steps, like specifying communication channels between control object types. We have chosen the Specification and Description Language SDL [Olsen et al. 1997] for that step because behavior can be specified by finite automatons, which are suitable for the control domain, and tools are readily available. After the formal control object types have been modeled, a control system prototype can be generated. A commercial SDL Tool (Telelogic Tau SDL Suite ....

A. Olsen, O. Frgemand, B. MllerPedersen, et al. System Engineering Using SDL-92. 4th Edition, Amsterdam, North Holland, 1997.

....(Figure 4) has been mapped to an SDL system. What cannot be seen in this figure is that the leaf nodes of the aggregation hierarchy have been mapped to SDL processes (process types) and the intermediate nodes to SDL blocks (block types) For a study of SDL and its object oriented features see [11]. The transition between the models was supported by the Paste As concept of SOMT, thus preserving (vertical) traceability. The following steps, refining SDL blocks and processes, defining (SDL) procedures, choosing data types etc. require lots of efforts and design decisions, but nevertheless are ....

A. Olsen et al. Systems Engineering Using SDL-92. Elsevier Science B. V.,

....toolset to the veri cation of a substantial part of a complex industrial protocol. This allowed to expose several non trivial errors in the protocol s design. 1 Introduction We present an approach to automating the formal veri cation of SDL, by model checking SDL speci cations with Spin. SDL [8] is a visual speci cation language, especially well suited for communication protocols, and quite popular in industry. Spin [5] is one of the most successful enumerative model checkers. In order to connect the Spin veri cation engine to SDL, we had to extend Spin in two ways. First, we had to ....

A. Olsen et al., System Engineering Using SDL-92, Elsevier Science, NorthHolland, 1997.

....of states and transitions connecting the states. A transition is triggered by a signal or a timer event. It can produce an output when triggered. The history of the finite state machine is expressed by its state. An extended finite state machine, additionally uses variables to maintain its history [OFM94]. Naming the Objects To get unique names (instance names) for objects in our system, we name every block instance and concatenate these names when going up to the root of the object hierarchy. Fig. 4 is used to illustrate this. The second temperature sensor of the first radiator in room number 8 ....

A. Olsen, O. Frgemand, B. Mller-Pedersen, et al. Systems Engineering Using SDL-92. Amsterdam: Elsevier Science B.V. 1994

....complex and routine at the same time. In order to master real time system development they required a language powerful and expressive enough for (i) specifying the behavior of systems, ii) mapping between specification and implementation, iii) code generation, and (iv) documentation generation [19]. There were already proprietary languages in use within those days but soon it became clear that a standard specification and description language (SDL) was necessary for further developments and inter workings. However, it took the community almost two decades to realize such a standard which ....

A. Olsen, O. Faergemand, B. Mller-Pedersen, R. Reed, and J. Smith. Systems engineering using sdl, 1994.

....Council of Canada. ObjecTime Limited provided further support. 1 Introduction Message Sequence Charts (MSCs) have been extensively used in the development of telecommunication and reactive systems. They have already been adopted within several software engineering methodologies and tools, e.g. [23], 15] 24] 9] 19] 25] 8] 2] and [3] MSCs are used to document system requirements that guide the system design [25] describe test scenarios (e.g. 19, 8] express system properties that are verified against SDL specifications [2] visualize sample behavior of a simulated system ....

A. Olsen, O. Faergemand, B. Mller-Pedersen, R. Reed, and J.R.W. Smith. Systems Engineering Using SDL-92. Elsevier Science B.V. (North-Holland), 1994.

....models of the structure and behavior of the GSM example . 24 17 OMT diagram of object classes of the linear form . vi v 1 Introduction Message Sequence Charts (MSCs) have been adopted within several software engineering methodologies and tools, e.g. [24], 14] 25] 9] 16] 27] 8] 1] 2] and [18] MSCs are used to document system requirements that guide the system design [27] describe test scenarios (e.g. 16, 8] express system properties that are verified against SDL specifications [1] visualize sample behavior of a simulated ....

....In this case, the next transition would have to be triggered by an auxiliary RECEIVE event before executing START ACK. 7 These RECEIVE events may originate from message exchanges or from expiring timers. Note that ROOM does not know spontaneous transitions as they can be found in SDL 92 [24] as well as many process algebras. 8 toasterSystemHeatingProtocol toasterSystemHeatingProtocol toasterSystemHeatingProtocol toasterSystemHeatingProtocol toasterSystemHeatingProtocol toasterSystemHeatingProtocol toasterSystemHeatingProtocol toasterSystemHeatingProtocol ....

A. Olsen, O. Faergemand, B. Mller-Pedersen, R. Reed, and J.R.W. Smith. Systems Engineering Using SDL-92. Elsevier Science B.V. (North-Holland), 1994.

....for the graphical and textual representation of the communication structure of systems. MSCs focus on the temporal ordering of interaction among system components by specifying the executable traces of a system. They are for instance used as a graphical representation of executable traces of SDL [13] specifications but also as a specification language in their own right. The language has been standardised in the standard ITU T Z.120 of the International Telecommunication Union [6] Communication in MSCs is asynchronous; the synchronous variant are Interworkings [12] MSC like diagrams have ....

A. Olsen, O. Faergemand, B. Mller-Pedersen, R. Reed, and J. Smith. Systems Engineering Using SDL-92. North Holland, 1994.

No context found.

Olsen, A., Faergemand, O., Mller-Pedersen, B., Smith, J. R. W. and Reed, R. (1994). Systems Engineering Using SDL-92. North Holland 0 444 89872 7

No context found.

A.Olsen, O Faergemand, B. Moller-Pedersen, R. Reed and J.R.W. Smith. Systems engineering using SDL-92. Elsevier Science BV, the Netherlands, 1994.

No context found.

A., Olsen, O.Frgemand, B.Mller-Pedersen, J. R. W. Smith, and R.Reed; Systems Engineering Using SDL-92. North Holland 1994, ISBN 0 444 89872 7.

No context found.

A. Olsen,O. Frgemand,B. Mller-Pedersen,et al., System Engineering Using SDL-92,fo,;6 ed., No,, Ho,,#W[[S,;6)#16, 1997.

No context found.

A. Olsen, O. Rrgemand, B. Mller-Pedersen, R. Reed, and J. R. W. Smith. Systems Engineering Using SDL-92. Elsevier, 1997.

No context found.

A. Olsen, O. Rrgemand, B. Mller-Pedersen, R. Reed, and J. R. W. Smith. Systems Engineering Using SDL-92. Elsevier, 1997.

No context found.

Anders Olsen, Ove Faergemand, Birger Mller-Pedersen, Rick Reed, and J. R. W. Smith. Systems Engineering Using SDL-92. Elsevier Science, 1994.

No context found.

A. Olsen et al., System Engineering Using SDL92, Elsevier Sciences B.V., 1994.

No context found.

A. Olsen, O. Faergemand, B. Mller-Pedersen, R. Reed, and J. R. W. Smith, Systems Engineering Using SDL-92, Elsevier Science B.V., Amsterdam, The Netherlands, 1994.

No context found.

A. Olsen, O. Frgemand, B. Moller-Pedersen, R. Reed, and J. R. W. Smith. Systems Engineering Using SDL-92. North-Holland, 1994.

No context found.

A. Olsen, O. Faergemand, B. Pedersen, R. Reed, and J. Smith. Systems engineering using SDL-92. Elsevier, Amsterdam/Oxford, 1994.

No context found.

A. Olsen, O. Faergemand, B. Mller-Pedersen, R. Reed, and J.R.W. Smith, Systems engineering using SDL-92, Elsevier Science B.V. (North-Holland), 1994.

First 50 documents  Next 50

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