This paper presents a first attempt to embed a restricted version of SDL as a target language in Focus. Brief introductions to both Focus and SDL are given, and it is shown how both methods can be assigned a denotational semantics based on streams and stream processing functions. A set of Focus specifications, referred to as F-SDL, is characterized whose elements structurally and semantically m...

Behaviour composition is a means to achieve modularity and adaptability. Differently from process algebra, SDL does not explicitly define composition operators. In this paper, we propose design patterns and rules for expressing elementary behaviours called roles and their composition in SDL. The composite state concept newly introduced in SDL-2000 is used in an original and innovative way to mo...

The paper introduces a new web-based system that provides on-line access to software source codes developed using the Specification and Description Language (SDL). The purpose of this web system is to support the teaching of protocol techniques by offering practical examples of protocol implementation. However, examples developed in low-level languages such as C++ do not clearly describe the co...

Serum digoxin levels (SDL) were compared with tolerance for the rapidly acting cardiac aglycone, acetyl strophanthidin (AS). AS titration tests were performed on 133 patients with diverse cardiac disorders. All were receiving maintenance digoxin. Both exquisite AS sensitivity and tolerance for a 1.0 mg AS were associated with a wide range of SDL values. Concordance and discordance between the t...

In this paper, we present the first version of a simulator that allows executing models defined using Discrete Event System Specification and models defined using Specification and Description Language. Specification and Description Language (SDL) is a graphical language, standardized under the ITU Z.100 recommendation, widely used to represent telecommunication systems, process control and rea...

State Machine Semantics of SDL Uwe Glasser (Heinz Nixdorf Institut Universitat-GH Paderborn, Germany [email protected]) Ren e Karges (metronet GmbH Koln, Germany [email protected]) Abstract: Based on the ITU-T Recommendation Z.100 [27]|also known as SDL-92| we de ne a formal semantic model of the dynamic properties of Basic SDL in terms of an abstract SDL machine. More precisel...

Thus, SDL supports the rapid development and extension of complex systems to meet stringent time-to-market and cost constraints. In conjunction with SDL, Message Sequence Charts (MSC) are employed to describe specific use cases of the system. However, SDL and MSC abstract from nonfunctional aspects and implementational details as time, performance and other limitations of physical systems. Thus...

We present an attempt to use the model checker Spin as a verification engine for SDL, with special emphasis put on the verification of timing properties of SDL models. We have extended Spin with a front-end that allows to translate SDL to Promela (the input language of Spin), and a back-end that allows to analyse timing properties. Compared with the previous attempts, our approach allows to ver...

In this paper we propose some extensions necessary to enable the speci-cation and description language SDL to become an appropriate formalism for the design of real-time and embedded systems. The extensions we envisage concern both roles of SDL: First, in order to make SDL a real-time speciication language, allowing to correctly simulate and verify real-time speciications, we propose a set of a...

This paper presents a tool chain to compile SDL specifications into simulators. Such simulators can be used to analyse and verify the specification. The SITE code generator translates the specification into C++, which allows to flexibly replace the underlying run-time system. INTRODUCTION INTO SDL The following description of SDL is a simplification, for a complete reference, the reader is refe...