Predictable actor-oriented design strategies for timing-centric distributed embedded software

Authors:
Jing Zhang;Yunsheng Zhang;Fenghong Xiang;Weiwei Cheng
Affiliations:
Faculty of Information Engineering and Automation, Kunming University of Science and Technology, Kunrning, PRC;Faculty of Information Engineering and Automation, Kunming University of Science and Technology, Kunming, PRC;Faculty of Information Engineering and Automation, Kunming University of Science and Technology, Kunming, PRC;Faculty of Information Engineering and Automation, Kunming University of Science and Technology, Kunming, PRC
Venue:
CAR'10 Proceedings of the 2nd international Asia conference on Informatics in control, automation and robotics - Volume 2
Year:
2010

Citing 4
Cited 0

A programmable microkernel for real-time systems

Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Composable code generation for distributed giotto

LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
An Interface Algebra for Real-Time Components

RTAS '06 Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium
The embedded systems design challenge

FM'06 Proceedings of the 14th international conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.