loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Irfan Hamid, GET-Telecom Paris - LTCI-UMR 5141 CNRS , France
Elie Najm, GET-Telecom Paris - LTCI-UMR 5141 CNRS , France
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
Usage of this product signifies your acceptance of the Terms of Use.