PDF

Description

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.

Details

Files

Statistics

from
to
Export
Download Full History