Creditability Modeling of Distributed Embedded System Based on Real-Time Interaction Specification
Jing Zhang, Hui Rong, Chunhong Zhang, Fenghong Xiang, Yunsheng Zhang · 2009
Creditability modeling on real-time interaction specification for embedded systems on the distributed platform is a continuing challenge to developers. This paper presents a creditability modeling strategy that reduces complexity by separating data-related computational parts and time synchronization interaction among components. We introduce a notion of supervisor to discuss how to aggregate individual component's computation into a well-defined composite computation from a view of causality interaction analysis. A prototyping system is implemented to prove the feasibility and flexibility of our methodology.