An OSEK/VDX Implementation of Synchronous Reactive Semantics Preserving Communication Protococls

Guoqiang Wang, Marco Di Natale and Alberto L. Sangiovanni-Vincentelli

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2007-81
June 11, 2007

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-81.pdf

Synchronous Reactive semantics preserving communication buffer sizing mechanisms and buffer indexing protocols are presented for both single-port and multi-port tasks. Because these protocols define buffer indices for writers and readers at task activation time, generally they require a kernel-level implementation. In this paper, we present portable implementations for applications with SR semantics under the OSEK OS standard, which has been widely used in automotive designs. To meet the one-alarm minimum requirement, an OSEK task called dispatcher is constructed to activate all other application tasks. For the CTDBP, the hook mechanism is used to gain atomicity of the termination code for lower-priority readers. Complexities in terms of run time, memory, and implementation are compared for different versions of implementations for the SR semantics preserving protocols.


BibTeX citation:

@techreport{Wang:EECS-2007-81,
    Author = {Wang, Guoqiang and Di Natale, Marco and Sangiovanni-Vincentelli, Alberto L.},
    Title = {An OSEK/VDX Implementation of Synchronous Reactive Semantics Preserving Communication Protococls},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2007},
    Month = {Jun},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-81.html},
    Number = {UCB/EECS-2007-81},
    Abstract = {Synchronous Reactive semantics preserving communication buffer sizing mechanisms and buffer indexing protocols are presented for both single-port and multi-port tasks. Because these protocols define buffer indices for writers and readers at task activation time, generally they require a kernel-level implementation.  In this
paper, we present portable implementations for applications with SR semantics under the OSEK OS standard, which has been widely used in automotive designs. To meet the one-alarm minimum requirement, an OSEK task called dispatcher is constructed to activate all other application tasks. For the CTDBP, the hook mechanism is used to gain atomicity of the termination code for lower-priority readers. Complexities in terms of run time, memory, and implementation are compared for different versions of implementations for the SR semantics preserving protocols.}
}

EndNote citation:

%0 Report
%A Wang, Guoqiang
%A Di Natale, Marco
%A Sangiovanni-Vincentelli, Alberto L.
%T An OSEK/VDX Implementation of Synchronous Reactive Semantics Preserving Communication Protococls
%I EECS Department, University of California, Berkeley
%D 2007
%8 June 11
%@ UCB/EECS-2007-81
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-81.html
%F Wang:EECS-2007-81