Creditability Modeling of Distributed Embedded System Based on Real-Time Interaction Specification

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.