Real-time signaling in SDL

Authors:
Marc Krämer;Tobias Braun;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;Networked Systems Group, University of Kaiserslautern, Germany
Venue:
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Year:
2011

Citing 10
Cited 1

Real-Time Systems: Design Principles for Distributed Embedded Applications

Real-Time Systems: Design Principles for Distributed Embedded Applications
Systems Engineering with SDL: Developing Performance-Critical Communication

Systems Engineering with SDL: Developing Performance-Critical Communication
Integrating Schedulability Analysis and Design Techniques in SDL

Real-Time Systems
Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network - A Case Study

LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Timed Extensions for SDL

SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Verification of Quantitative Temporal Properties of SDL Specifications

SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Specifying input port bounds in SDL

SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Model-driven development of time-critical protocols with SDL-MDD

SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Design and development of a CPU scheduler simulator for educational purposes using SDL

SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
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 tasks in SDL

SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice

Quantified Score

Hi-index	0.00

Visualization

Abstract

SDL is a formal specification language for distributed systems, which provides significant, yet limited real-time expressiveness by its notion of time (now) and its timer mechanism. In our current work, we are investigating various ways to augment this expressiveness, by proposing language extensions and exploiting degrees of freedom offered by SDL's formal semantics. This paper presents some recent results of our work: a mechanism for real-time signaling, which can be roughly characterized as a generalization of SDL timers. More specifically, we propose to add the possibility of specifying a time interval for the reception of ordinary SDL signals, by stating their time of arrival and expiry. This extension can be used, for instance, to specify time-triggered scheduling, which is required in many real-time systems. In the paper, we present the concept of real-time signaling, propose a syntactical extension of SDL, define its formal semantics, outline our implementation, show excerpts of a control application, and report on measurement results.