The specification of digital logic in SDL (Specification and Description Language) is investigated. A specification approach is proposed for multi-level descriptions of hardware behaviour and structure. The modelling method exploits features introduced in SDL-92. The approach also deals with the specification, analysis and simulation of timing aspects at any level in the specification of digita...

This paper deals with mobility protocols specification, validation and testing using a formal approach. A well suited SDL model is proposed to handle the component-based nature of Mobile systems. Two solutions are proposed to derive automatically TTCN-3 test cases from the SDL model.

Background: Self-directed learning (SDL) is considered a vital learning parameter in health professions studies. This dynamic technique helps the medical graduates to take initiative for solving their learning problems and become a lifelong learner to meet the challenges in health care profession. Methods: The 100 students of first year M.B.B.S were randomly divided into two batches of 50 stude...

Specification and Description Language (SDL) is a formal object-oriented language for modelling real-time interactive systems. It is an International Telecommunication Union (ITU) standard. A software architecture is the structure of a program including a set of inter-communication components. These components are often independently executable super objects. We use the architecture design to a...

In this paper we summarize our experiences in building and integrating new generation, formal-methods based CASE tools to yield pragmatic improvements in software engineering processes in the telecommunication industry. We define an accelerated development methodology (ADM) for the specification, design, testing and re-engineering of telecommunications software. We identify two of the most sign...

We report an in-well and barrier coupling pump scheme of semiconductor disk laser (SDL). An in-well-absorbed (940 nm) a barrier-absorbed (808 source were used to measure output characteristics. The power the can be significantly improved compared only under similar thermal load conditions. scaling SDL is caused by interaction dynamics photoexcited carrier between quantum-well barrier. results a...

We present a tool that automatically checks the existence of a bisimulation relation between an SDL specification and the corresponding auto-generated C code. The tool has been used to verify part of the C implementation of a WiFi Medium Access Controller (i.e.; IEEE 802.11) that has been derived from its original SDL specification using the Telelogic CAdvanced Code Generator.

We have used SDL to support the design and implementation of SLACP, a novel logical link layer protocol to enhance the performance of TCP over wireless WAN links. The protocol was modeled in SDL and successive refinements of its design were carried out based on feedback obtained from using the validation facilities of Telelogic Tau 4.4 SDT.

This paper presents a methodology to provide behavioral description starting with TINA ODL. It defines a mapping from TINA ODL to the ITU-T specification and description language SDL. SDL guarantees a formal and executable semantics for behavior and a smooth development process from computational viewpoint to engineering viewpoint. Experience, using this technology for implementing parts of the...