ABSTRACT The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-specified software. We present a testing approach consisting of the foll SDL specifications are first abstracted into finite state machines with save constructs machines are transformed to equivalent finite state ...

SDL is a system design language that is being promoted for the development of reliable systems. In this paper, we apply SDL to capture design solutions to well-known mechanisms found in reliable systems a watchdog and a heartbeat for reuse. In particular, we present a methodology to augment system reliability step-by-step, and define and apply generic design solutions for reliable systems expre...

This paper is a corrigendum to the SDL speci cation of the sliding window protocol which was rst published by the ISO IEC as a technical report We present some results of a tool supported simulation of the SDL speci cation of the sliding window protocol We found out that the speci cation contains signi cant errors and does not meet the informal description of the protocol In this paper we descr...

Nowadays SDL and SystemC are two very popular languages for modelling embedded systems. Each of them provides some specific features, which are not supported by another language. So the hypothetical possibility of combined use of these two languages promises a number of benefits for researchers. There are several approaches for co-modelling on SDL and SystemC. This paper specifically addresses ...

The aim of this paper is to present an approach that allows the generation of VHDL from system level speci cations in SDL. Our approach overcome the main known problem encountered by previous work which is the communication between di erent processes. We allow SDL communication to be translated into VHDL for synthesis. This is made possible by the use of an intermediate form that support a powe...

The decomposition of distributed systems is often driven by its process structure only, focusing on the behaviour of individual agents. In previous work, we have argued that this is not always an adequate modularization of distributed systems, and have proposed “cross-cutting” collaboration modules instead. In this paper, we discuss language support for the specification of collaboration module...

Segregation distortion is a phenomenon that has been observed in many experimental systems. How segregation distortion among markers arises and its impact on mapping studies are the focus of this work. Segregation distortion of markers can be considered to arise from segregation distortion loci (SDL). I develop a theory of segregation distortion and show that the presence of only a few SDL can ...

In the last two decades the Specification and Description Language (SDL) has been established in the telecommunication sector as a domainspecific modeling language. A disadvantage of SDL is the fact that only a small number of modeling tools for SDL is available. Another graphical modeling language is the Unified Modeling Language (UML) used for the model-based development of software systems. ...

The rapidly-developing 21 st century world of work and knowledge calls for self-directed lifelong (SDL) learners. While higher education must embrace the types of pedagogies that foster SDL skills in graduates, the pace of change in education can be glacial. This paper describes a social annotation technology, the Collaborative Lecture Annotation System (CLAS), that can be used to leverage exis...