%0 Journal Article
%T Investigation on Composition Mechanisms for Cyber Physical Systems
%A Kaiyu Wan
%A Danny Hughes
%A Ka Lok Man
%A Tomas Krilavicius
%J International Journal of Design, Analysis and Tools for Integrated Circuits and Systems
%D 2011
%I Solari (HK) Co., Hong Kong
%X A wide variety of programming abstractions have been developed for cyber-physical systems. These approaches provide support for the composition of cyber-physical systems from generic units of application functionality. This paper surveys the current state-of-the-art in composition mechanisms for cyber physical systems and reviews each approach in terms of its support for composition analysis, re-use and adaptation. We then review approaches for modeling and verifying cyber-physical application compositions and conclude by proposing promising research directions that will address these shortcomings.
%K Composition mechanisms
%K programming paradigms
%K cyber physical systems
%U http://ijdatics.distributedthought.com/current_issues/IJDATICS_02_01_03.pdf