Derivation of Efficient Implementations from SDL Specifications Employing Data Referencing, Integrated Packet Framing and Activity Threads

Henke, Ralf; König, Hartmut; Mitschele‐Thiel, Andreas

doi:10.1016/b978-044482816-3/50027-7

Cited by 19 publications

(32 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The automatic implementation methods can match the requirements of the modem high speed network environment only if they integrate the highly efficient techniques already used in hand-coded implementations [9,13]. Of main interest are the solutions used for data and packets manipulation and for mapping the system's components (e.g., entities in a layered protocol architecture) to processes or threads of the target implementation environment.…”

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

On the improvement of Estelle based automatic implementations

Catrina¹,

Nogai

1998

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

Abstract:The main challenges for the tools which derive implementations from formal descriptions are to enhance the efficiency and facilitate the integration in various implementation contexts. We study in this paper the Estelle based implementations. Using the Estelle Development Toolset (EDT), we obtained a realistic implementation of a complex transport protocol, XTP 4.0, functionally comparable with the hand-coded reference implementation. This offered an experimental ground for a survey concerning the automated implementation. Based on runtime measurements, analysis of the Estelle model and of the tool's support, we studied the factors influencing the performance and the solutions to improve it.

show abstract

Section: Discussionmentioning

confidence: 99%

“…Such a solution is proposed in [9]. Alternatively, the code generator could be guided with annotations inserted in the specification, indicating explicitly the context of the desired application of some optimisation technique.…”

Section: Communication Mechanismsmentioning

confidence: 99%

On the improvement of Estelle based automatic implementations

Catrina¹,

Nogai

1998

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

show abstract

“…The performance gain achieved is not adequate for final implementations. Other approaches such as a flexible runtime support system [Lang99] and the integration of efficient manual implementation techniques like activity threads [Henk97a,Henk97b] and integrated layer processing [Clar90,Abbo93,Brau96,Leue96] promise more optimistic results. The mapping strategies used in these techniques, however, do not permit it to straightly map the FDT semantics into the implementation.…”

Section: Motivationmentioning

confidence: 99%

“…In [Henk97a,Henk97b] we presented an approach to derive activity thread implementations from formal descriptions. As shown in these papers we could observe a considerably performance gain.…”

Section: Motivationmentioning

confidence: 99%

Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering

Langendoerfer

König

1999

IFIP Advances in Information and Communication Technology

Self Cite

View full text Add to dashboard Cite

In this paper we show how formal descriptions can efficiently be mapped into activity thread implementations using transition reordering. This technique prevents semantic conflicts by reordering of statements at compile time. It considerably simplifies the derivation process and improves the efficiency of the generated code. The technique is implemented in the SDL compiler COCOS. We describe the approach as well as its implementation and show how semantic conflicts are resolved. Finally we present measurements which prove a considerable performance gain up to 120 per cent.

show abstract

“…In [8] and [9] authors propose a new mechanism called "activity threads", which passes messages by procedure calls. This mechanism is very interesting, however it is not applicable to Unix STREAMS e.g., the STREAMS technique is based on message passing via queues not by procedure calls.…”

Section: Introductionmentioning

confidence: 99%