Model-driven development of time-critical protocols with SDL-MDD

Authors:
Philipp Becker;Dennis Christmann;Reinhard Gotzhein
Affiliations:
Networked Systems Group, University of Kaiserslautern, Germany;Networked Systems Group, University of Kaiserslautern, Germany;Networked Systems Group, University of Kaiserslautern, Germany
Venue:
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Year:
2009

Citing 4
Cited 1

Micro protocol design: the SNMP case study

SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Model-Driven development with SDL – process, tools, and experiences

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Efficient voltage scheduling and energy-aware co-synthesis for real-time embedded systems

ACSAC'05 Proceedings of the 10th Asia-Pacific conference on Advances in Computer Systems Architecture
ConTraST – a configurable SDL transpiler and runtime environment

SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles

Real-time signaling in SDL

SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling

Quantified Score

Hi-index	0.01

Visualization

Abstract

Contention-based medium access in wireless networks suffers from the problem of frame collisions. In previous work, we have introduced new transfer protocols for the network-wide transmission of bit sequences that overcome the problem of destructive collisions. In this paper, we present the model-driven development of these protocols with SDL-MDD and its SDL tool chain. On the one hand, we show how to formally specify low-level functionality and time-critical behavior - network-wide deterministic arbitration - using the available constructs of a high-level design language. On the other hand, we show the embedding of this high-level design into our SDL execution environment that is extended to support time-critical requirements of the introduced transfer protocols.