Real-time communication protocol development using SDL for an embedded system on chip based on ARM microcontroller

Drosos, Christos; Zayadine, M.; Metafas, D. E.

doi:10.1109/emrts.2001.934007

Cited by 4 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The behavioral aspects of SDL are based on the communicating extended finite state machines. Even though SDL has been developed for telecommunication systems, it has been increasingly used for the specification and design of real-time, embedded, and safety-critical systems [1,2,5,10,18,22]. However, SDL lacks some key real-time features support and present difficulties to express real-time constraints [1,2].…”

Section: Sdlmentioning

confidence: 99%

A Framework for the Evaluation of Real-Time Specification Techniques

Khwaja

Urban

2006

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

Real-time and embedded software systems are becoming increasingly prevalent in everyday life. Well-defined and robust methods and methodologies are needed to support development and maintenance of such large and complex systems. Specification of a system is a critical phase of the development life cycle and has a major impact on the quality of a system. Formal specification languages and techniques are needed to be able to comprehensively and correctly define and prototype large and complex systems. The quality of a specification directly depends upon the capability of the language or technique used to express the specification. There is a need to determine language appropriateness for real-time systems. This paper establishes a real-time specification technique evaluation framework based on the features of real-time systems. The features are presented and the paper summarizes the result in terms of major features and their sub-features in a tabular form. This detailed list of features should serve not only to compare the techniques using a common framework, but also to determine the extent of real-time support that these techniques provide for specification. Application of the framework is demonstrated by testing a set of specification techniques for the specification of a real-time embedded cell phone software system.

show abstract

Section: Sdlmentioning

confidence: 99%

A Framework for the Evaluation of Real-Time Specification Techniques

Khwaja

Urban

2006

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

show abstract

“…It is a popular language for protocol modeling (cf. [9], [10], [11]). Formal verfication can be employed to design reliable systems.…”

Section: Introductionmentioning

confidence: 99%

Embedded System Protocol Design Flow based on SDL: From Specification to Hardware/Software Implementation

Dietterle¹

2008

Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Syste

View full text Add to dashboard Cite

SDL (Specification and Description Language) is popular for communication protocol design. SDL tools allow simulating and verifying SDL models. In this paper, we show how SDL models can be transformed into hardware/software implementations for embedded systems. Our design flow contains a lightweight operating system integration layer and a cosimulation framework that supports hardware/software partitioning.The design methodology has been applied to an implementation of the IEEE 802.15.3 MAC protocol. We present results from a prototypical system including a protocol accelerator.

show abstract