Investigation on Composition Mechanisms for Cyber Physical Systems

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.

[1]  Adam Dunkels,et al.  Contiki - a lightweight and flexible operating system for tiny networked sensors , 2004, 29th Annual IEEE International Conference on Local Computer Networks.

[2]  Tomas Krilavicius,et al.  Hybrid Techniques for Hybrid Systems , 2006 .

[3]  Goran Frehse.  PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech , 2005, HSCC.

[4]  Heiko Krumm,et al.  Service-Orientation and Flexible Service Binding in Distributed Automation and Control Systems , 2008, 22nd International Conference on Advanced Information Networking and Applications - Workshops (aina workshops 2008).

[5]  Peyman Oreizy.  Issues in the Runtime Modification of Software Architectures , 1997 .

[6]  Chris J. Myers,et al.  Automatic abstraction for verification of cyber-physical systems , 2010, ICCPS '10.

[7]  Insup Lee,et al.  Compositional modeling and refinement for hierarchical hybrid systems , 2006, J. Log. Algebraic Methods Program..

[8]  Jos C. M. Baeten,et al.  Process Algebra , 2007, Handbook of Dynamic System Modeling.

[9]  Janos Sztipanovits,et al.  Composition of Cyber-Physical Systems , 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).

[10]  Gordon S. Blair,et al.  A generic component model for building systems software , 2008, TOCS.

[11]  Pedro R. D'Argenio,et al.  A Calculus for Timed Automata , 1996, FTRTFT.

[12]  Thomas A. Henzinger.  Masaccio: A Formal Model for Embedded Components , 2000, IFIP TCS.

[13]  Wouter Joosen,et al.  LooCI: a loosely-coupled component infrastructure for networked embedded systems , 2009, MoMM.

[14]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[15]  Cecilia Mascolo,et al.  The RUNES Middleware for Networked Embedded Systems and its Application in a Disaster Management Scenario , 2007, Fifth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom'07).

[16]  T. Henzinger.  The theory of hybrid automata , 1996, LICS 1996.

[17]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[18]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[19]  Robert Szewczyk,et al.  System architecture directions for networked sensors , 2000, ASPLOS IX.

[20]  Wouter Joosen,et al.  Building Wireless Sensor Network Applications with LooCI , 2010, Int. J. Mob. Comput. Multim. Commun..

[21]  Gordon S. Blair,et al.  Experiences with open overlays: a middleware approach to network heterogeneity , 2008, Eurosys '08.

[22]  Jeremy S. Bradbury.  Organizing Definitions and Formalisms for Dynamic Software Architectures , 2004 .

[23]  Insup Lee,et al.  Compositional Analysis of Multi-mode Systems , 2010, 2010 22nd Euromicro Conference on Real-Time Systems.

[24]  John Daniels,et al.  Java™ on the bare metal of wireless sensor devices: the squawk Java virtual machine , 2006, VEE '06.

[25]  Philip Levis,et al.  The nesC language: a holistic approach to networked embedded systems , 2003, SIGP.

[26]  Michel A. Reniers,et al.  Hybrid process algebra , 2005, J. Log. Algebraic Methods Program..