Priority scheduling in SDL

Authors:
Dennis Christmann;Philipp Becker;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'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Year:
2011

Citing 8
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
Hard Real-Time Systems

Hard Real-Time Systems
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
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

In real-time systems, the capability to achieve short or even predictable reaction times is essential. In this paper, we take a pragmatic approach by proposing priority-based scheduling in SDL combined with a mechanism to suspend and resume SDL agents. More specifically, we define adequate syntactical extensions of SDL and show that they are compliant with the formal SDL semantics. We have implemented all proposed extensions in our SDL tool chain, consisting of SDL compiler, SDL runtime environment, and environment interfacing routines, thereby being compatible with model-driven development processes with SDL. In a series of runtime experiments on sensor nodes, we show that compared to customary SDL scheduling policies, priority scheduling with suspension of SDL agents indeed achieves significantly shortened reaction times.