A Trustworthy Software Design Approach for Real Time Embedded Systems on the Distributed Platform

Trustworthy temporal scheduling is a central feature for real time embedded systems on the distributed platform and traditional strategies are difficult to conquer this problem. In this paper, we define the notion of component that reduces complexity by separating data-related computational parts and time synchronization interaction among components. Frameworks are composed hierarchically to manage embedded models at different layers and achieve real-time component composition and reuse. We introduce a concept of monitor to discuss how to aggregate individual component's computation into a well-defined composite computation from a view of hierarchical framework. More importantly, our definition of trustworthy temporal signal model ensures interaction semantics among concurrent components.