13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007)
Real-time Connectors for Deterministic Data-flow
Daegu, Korea
August 21-August 24
ISBN: 0-7695-2975-5
In this paper we introduce deterministic bridge connectors, a type of construct that ensures deterministic data-flow communication in asynchronous real-time systems. We also present a methodology for generating these connectors automatically from the application?s architecture description in order to reduce programmer effort and the chance of error. We provide a process algebraic verification of the determinism property of these connectors. We conclude by presenting arguments in favor of using this verification in lieu of expensive certification to qualify these constructs for onboard deployment.
Citation:
Irfan Hamid, Elie Najm, "Real-time Connectors for Deterministic Data-flow," rtcsa, pp.173-182, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007