SDL is a formal specification language for distributed systems, which provides significant, yet limited real-time expressiveness by its notion of time (now) and its timer mechanism. In our current work, we are investigating various ways to augment this expressiveness, by proposing language extensions and exploiting degrees of freedom offered by SDL’s formal semantics. This paper presents some r...

The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-oriented and formal techniques by means of UML-SDL models are used as knowledge (data) providers to the fuzzy-neuro analyser. The paper includes an introductory description of DRT systems and the presentation of the UML and ...

When the conference preparations started, the general situation was that the telecommunication industry was still short on budget and the interest in research in SDL and related technology was not that big from the industry. Universities also tended to go for other “fashionable” technologies, like the Unified Modelling Language (UML)3). So the big question was how to attract enough good people ...

The language SDL has long been applied in the development of various kinds of systems. Real-time systems are one application area where SDL has been applied extensively. Whilst SDL allows for certain modelling aspects of real-time systems to be represented, the language and its associated tool support have certain drawbacks for modelling and reasoning about such systems. In this paper we highli...

A goal of this project is reproducing human design process by accumulating knowledge and experience of human designers. Particularly, this paper presents an SDL-based software design tool, the experimental expert system CREATOR2, featuring: 1) integration of SDL-based CASE tools with knowledge-based reasoning techniques; 2) object-oriented (O-O) representation of the design process knowledge, c...

The Point-to-Point Protocol (PPP) in RFC-1661 [1] provides a standard method for transporting multi-protocol datagrams over point-to-point links, and RFCs 1662 [2] and 1619 [3] provide a means to carry PPP over Synchronous Optical Network (SONET) [5] and Synchronous Digital Hierarchy (SDH) [6] circuits. PPP over Simple Data Link (SDL) using SONET/SDH with ATM-like framing (PPPEXT WG work in Pro...

The Specification and Description Language SDL and Message Sequence Charts (MSCs) are widely used in the telecommunication industry to support the software development process. In the paper, a methodology and a set of tools are described for the development of high performance parallel systems in the context of SDL and MSCs. While SDL and MSCs only support the formal specification of functional...

The OpenGL raster graphics API is well known amongst computer graphics programmers. However, while raster graphics dominates the interactive computer graphics industry, these systems are not able to produce scenes with the realism required by ventures such as the movie industry. For markets that require high levels of realism but not online generation of the scene, raytracing has become popular...