In this cand.scient. thesis we propose a strategy for testing validity of decomposition of contract oriented specifications. The strategy is based on Abadi and Lamport’s Composition Theorem for the Temporal Logic of Actions and test case generation from executable specifications. A composition rule, inspired by the Compositon Theorem, is formulated in a semantics based on timed streams. A subse...

Faster, better networks algorithms are often being discovered, and it is desirable to be able to replace an old algorithm by a new in a manner that is completely transparent to the application using it. This paper investigates the technique for ensuring such transparency for protocols expressed in SDL, via bisimulation checking. We discuss the main issues involved in translating SDL into Concur...

In this paper, we apply our timing fault modeling strategy to writing formal specifications for communication protocols. Using the formal language of Specification and Description Language (SDL), we specify the Controller process of rail-road crossing system, a popular benchmark for real-time systems. Our extended finite state machine (EFSM) model has the capability of representing a class of t...

The problem of testing from an SDL specification is often complicated by the presence of infeasible paths. This paper introduces an approach for transforming a class of SDL specification in order to eliminate or reduce the infeasible path problem. This approach is divided into two phases in order to aid generality. First the SDL specification is rewritten to create a normal form extended finite...

The complexity measure from Shiner et al. [Physical Review E 59, 1999, 1459–1464] (henceforth abbreviated as SDL-measure) has recently been the subject of a fierce debate. We discuss the properties and shortcomings of this measure, from the point of view of our recently constructed fundamental, statistical mechanics-based measures of complexity Cs (γ, β) [Stoop et al., J. Stat. Phys. 114, 2004,...

The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typically described as TMN objects, SDL-92 is used to describe the V5 signalling stack as well as all the distributed components. The resultant combined model is used to automatically produce an efficient C++ implementatio...

The aim of this paper is to present an approach that allows the generation of VHDL from system level specifications in SDL. Our approach overcome the main known problem encountered by previous work which is the communication between different 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 po...

A Semantic Description Language (SDL) for multilingual NLP is a multi-layered description language assigned to concepts, in order to ful ll a set of di erent functions. The most traditional function is to describe restrictions in selection and co-ocurrence in a motivated and consistent way. A second function of SDLs is to de ne relations between terms of one or more languages for all kind of (m...

Network on Chip (NoC) is a new paradigm for designing large and complex systems on chips (SoCs). In this paradigm, a packet switched network is provided for on-chip communication among cores. NoC paradigm provides the required scalability and reusability to reduce design time of SoCs. A NoC simulator is an important tool required to support development of designs based on a NoC architecture. In...

This paper rst presents the SDL{oriented method of software design and then points out how to handle the non{functional, quantitative design of an SDL{system using performance analysis. Finally, a new tool, named SDL Performance Evaluation Tool (SPEET) 2 , is presented for the performance analysis of formally speciied systems under real{time conditions. SPEET facilitates the simulation and emul...