OSPERT 2007 START Conference Manager    

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.


  
START Conference Manager (V2.54.3)
Maintainer: rrgerber@softconf.com