An OSEK/VDX Implementation of Synchronous Reactive Semantics Preserving Communication Protocols
Guoqiang Wang, Marco Di Natale and Alberto Sangiovanni Vincentelli
Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2007)
Pisa, Italy, July 3, 2007
Summary
Synchronous Reactive (SR) models are increasingly used in model-based design flows for the development of embedded control applications. In this paper, we present semantics preserving implementations of SR communication for multi-rate tasks. The implemented protocols define the assignment of buffer indexes to writer and reader tasks at activation time and therefore require kernel-level support. We provide the details of two constant-time solutions, developed in the C programming language, and making use of the automotive OSEK OS standard for portability and reusability. Run-time complexity and memory requirements are discussed for the two protocol implementations and tradeoffs are analyzed.