Cross-layer design of wireless networked control systems with energy limitations

Chamaken, A.; Litz, Lothar; Kraemer, Marc; Gotzhein, Reinhard

doi:10.23919/ecc.2009.7074752

Cited by 8 publications

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, we have reported on measurement results which have revealed improvements by a factor of up to 22. We have successfully applied the introduced concepts to a realtime communication system for an inverted pendulum [20].…”

Section: Discussionmentioning

confidence: 99%

Real-Time Signaling in SDL

Krämer

Braun

Christmann

et al. 2011

Lecture Notes in Computer Science

View full text Add to dashboard Cite

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.

show abstract

Section: Discussionmentioning

confidence: 99%