Specifying input port bounds in SDL

Authors:
Reinhard Gotzhein;Rüdiger Grammes;Thomas Kuhn
Affiliations:
Networked Systems Group, University of Kaiserslautern, Germany;Networked Systems Group, University of Kaiserslautern, Germany;Networked Systems Group, University of Kaiserslautern, Germany
Venue:
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Year:
2007

Citing 4
Cited 2

On efficient program synthesis from statecharts

Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Model-Driven Software Development

Model-Driven Software Development
Formal operations for SDL language profiles

SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
ConTraST – a configurable SDL transpiler and runtime environment

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

Model-Driven Platform-Specific Testing through Configurable Simulations

ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Real-time signaling in SDL

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

According to the SDL semantics, input ports "may retain any number of input signals", and therefore may grow without upper bound. While this is a convenient property on design level, it may lead to illegal behaviour on concrete hardware platforms when a queue overflow occurs, especially in the context of distributed embedded systems with severe storage constraints. In this paper, we present a straightforward extension of SDL in order to specify input port bounds formally. In our solution, bounds are associated with signals and input ports. We define both the concrete and abstract grammar and the formal dynamic semantics of the proposed SDL extension. We have implemented the extension in Cmicro, and illustrate our solution by examples from the Assisted Bicycle Trainer, a wireless sensor network.