Predictable actor-oriented design strategies for timing-centric distributed embedded software
Jing Zhang, Fenghong Xiang, Yunsheng Zhang, Weiwei Cheng · 2010
Timed event is an essential part of concurrent actor interaction. This paper presents predictable time-centric semantic framework for designing actor-oriented embedded control software on the distributed platform, which reduces complexity by separating actor's data-centric computational parts from timed interaction among actors. Actors are concurrent components. Signal, timed metric distance and causality support hierarchical composition of real-time concurrent actors. Composition analysis preserves the relevant dependencies of actor-oriented model in a real time environment. An execution strategy is described to prove the feasibility in choosing distributed platforms as well as a great deal of timed series specification in the validation and synthesis of time-centric embedded control component execution.