EAGER: Collaborative Research: Seamless Integration of Conjoined Cyber-Physical System Properties

Abstract: Effective response and adaptation to the physical world, and rigorous management of such behaviors through programmable computational means, are mandatory features of cyber physical systems (CPS). However, achieving such capabilities across diverse application requirements surpasses the current state of the art in system platforms and tools. Current computational platforms and tools often treat physical properties individually and in isolation from other cyber and physical attributes. They do not adequately support the expression, integration, and enforcement of system properties that span cyber and physical domains. This results in inefficient use of both cyber and physical resources, and in lower system effectiveness overall. This work investigates novel approaches to these important problems, based on modularizing and integrating diverse cyber-physical concerns that cross-cut physical, hardware, instruction set, kernel, library, and application abstractions. The three major thrusts of this research are 1) establishing foundational models for expressing, analyzing, enforcing, and measuring different conjoined cyber-physical properties, 2) conducting a fundamental re-examination of system development tools and platforms to identify how different application concerns that cut across them can be modularized as cyber-physical system aspects, and 3) developing prototype demonstrations of our results to evaluate further those advances in the state of the art in aspect-oriented techniques for CPS, to help assess the feasibility of broader application of the approach. The broader impact of this work will be through dissemination of academic papers, and open platforms and tools that afford unprecedented integration of cyber-physical properties.