In this paper we propose some extensions necessary to enable the specification and
description language Sdl to become a more appropriate formalism for the design of real-time …

In this paper we review the needs of a real-time systems developer that are not covered, for
various reasons, by SDL. The issues that we examine are heterogeneous, ranging from pure …

The usage of formal description techniques (FDTs) has arisen as a promising way of dealing
with the increasing complexity of embedded real-time systems. However, FDTs do not take …

The usage of object-oriented methodologies in conjunction with formal description
techniques has arisen as a promising way of dealing with the increasing complexity of …

The use of SDL (Specification and Description Language) has arisen as a promising way of
dealing with the increasing complexity of embedded real-time systems. However, SDL does …

Abstract The Specification and Description Language (SDL) and its supporting CASE tools
have a major potential for the development of real-time systems. Unfortunately, SDL does …

The use of formal description techniques (FDTs), and specifically SDL, has emerged as an
interesting way of designing embedded real time distributed systems (ERTDSs) taking into …

Hard real-time system design requires both, a methodology that allows to control the
increasing functional complexity and additionally an a-priori proof that all timing …

Abstract The use of Formal Description Techniques (FDT) has been proposed as a
promising alternative for the development of real-time embedded systems. However, FDT do …

Real time embedded systems. Nevertheless, the associated code generators do not
integrate the management of temporal constraints. In this paper, we propose a real-time …