Departmental Papers (CIS)

Date of this Version


Document Type

Conference Paper


1st International Workshop on Cyber-Physical Systems, Networks, and Applications (CPSNA), Toyama, Japan, Aug 2011 (Invited paper).


Among the key characteristics of cyber-physical systems are the ability to adapt to changes during operation, the multidimensional complexity of multi-functionality and the underlying heterogeneous distributed architecture, as well as resource use efficiency. In this paper, we propose a compositional multi-modal approach to modeling, analyzing, and designing such systems. We introduce a general framework for modeling and compositional analysis of multi-mode systems on a distributed architecture that facilitates adaptivity, efficient use of resources, and incremental integration. We present some preliminary results, and we describe some of the remaining challenges and future directions.

Subject Area

CPS Real-Time

Publication Title

17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2011)



First Page


Last Page




Permission Statement

© 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.



Date Posted: 07 September 2011

This document has been peer reviewed.