Hierarchical Integration of Runtime Models
Modern embedded systems tend to be heterogeneous in the sense that components in a system have diverse interaction styles. The systems of components must be precisely controlled to address the heterogeneity nature and the assurance issues. To achieve this goal, we have defined a componentbased operating system architecture, Pcanel, that supports hierarchical integration of concurrent, runtime models. The behavior of a component is implemented by a sequence of transitions and controlled by Pcanel. The execution of component is driven by models of computation, allowing for formal analysis and verification of final software system. Massive concurrency of transitions is supported on two runtime forms, functions and reactions.Pcanel treats each transition as three split-phases to separate models from computation and recomposes them to achieve high performance. The infrastructure advances the synergy between design-time models and runtime models. The design of the infrastructure is represented in details.
XIE Cheng CHEN Wenzhi SHI Jiaoying YE Lü
College of Computer Science, Zhejiang University, Hangzhou 310027, P.R.China Department of Computer Science and Electronics Engineering, ZheJiang University of Science and Techn
国际会议
首届嵌入式软件与系统国际会议(Proceedings of the First International Conference on Embedded Software and System)
杭州
英文
506-511
2004-12-09（万方平台首次上网日期，不代表论文的发表时间）