Abstract. The Specification and Description Language (SDL) is a worldwide accepted standard for development of new protocols, e.g. an increasing number of IEEE protocol standards uses SDL. Especially for mobile devices it is impor-tant that the protocol implementation is as energy efficient as possible. This cannot be achieved with a straight forward code generation from SDL to a tar-get language as for example C. Thus, the normal way is that after the specifica-tion is done, parts of the protocol are implemented by hand using C or even VHDL. In this paper we are presenting our profiling tool, profSDL, which is designed to support engineers in determining the partitioning of the SDL speci-fication. profSDL allows to determine static effort ...
We are concerned with the software implementation of baseband processing for the physical layer of r...
Packet broadcast networks are in widespread use in modern wireless communication systems. Medium acc...
Formal methods and Formal Description Techniques (FDT) are becoming more and more important for deve...
A known problem in the area of hardware/software codesign is the selection of the proper interface b...
The use of SDL (Specification and Description Language) for digital hardware description and analysi...
Over a period of 30 years, ITU-T’s Specification and Description Language (SDL) has matured to a sop...
If formal techniques are to be more widely accepted then they should evolve as current software engi...
We proposed a formalized method that allows to automatically derive an optimized implementation from...
We describe the design and implementation of an interface that compiles an SDL protocol specificatio...
Abstract: This paper describes the use of the Specification and Description Language (SDL
We are introducing and discussing a method for the optimized and parallel implementation of protocol...
The integration of Formal Description Techniques (FDTs) in the software process enables formal valid...
: The Specification and Description Language (SDL) and Message Sequence Charts (MSC) are playing a m...
This is a pre-print of an article whose final and definitive form has been published in the IFIP Adv...
Software systems go through different phases during their life cycle. From user requirements to the ...
We are concerned with the software implementation of baseband processing for the physical layer of r...
Packet broadcast networks are in widespread use in modern wireless communication systems. Medium acc...
Formal methods and Formal Description Techniques (FDT) are becoming more and more important for deve...
A known problem in the area of hardware/software codesign is the selection of the proper interface b...
The use of SDL (Specification and Description Language) for digital hardware description and analysi...
Over a period of 30 years, ITU-T’s Specification and Description Language (SDL) has matured to a sop...
If formal techniques are to be more widely accepted then they should evolve as current software engi...
We proposed a formalized method that allows to automatically derive an optimized implementation from...
We describe the design and implementation of an interface that compiles an SDL protocol specificatio...
Abstract: This paper describes the use of the Specification and Description Language (SDL
We are introducing and discussing a method for the optimized and parallel implementation of protocol...
The integration of Formal Description Techniques (FDTs) in the software process enables formal valid...
: The Specification and Description Language (SDL) and Message Sequence Charts (MSC) are playing a m...
This is a pre-print of an article whose final and definitive form has been published in the IFIP Adv...
Software systems go through different phases during their life cycle. From user requirements to the ...
We are concerned with the software implementation of baseband processing for the physical layer of r...
Packet broadcast networks are in widespread use in modern wireless communication systems. Medium acc...
Formal methods and Formal Description Techniques (FDT) are becoming more and more important for deve...