Real-time Connectors for Deterministic Data-flow

Authors:
Irfan Hamid;Elie Najm
Affiliations:
GET-Telecom Paris - LTCI-UMR 5141 CNRS , France;GET-Telecom Paris - LTCI-UMR 5141 CNRS , France
Venue:
RTCSA '07 Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Year:
2007

Citing 0
Cited 1

Adapting Models to Model Checkers, A Case Study: Analysing AADL Using Time or Colored Petri Nets

RSP '09 Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.