Interdisciplinary Foundations for Open Cyber-Physical Systems - (Invited Talk)

A significant amount of literature addressed challenges in building dependable embedded systems. Next-generation cyber-physical systems offer more challenges that arise by virtue of openness, distribution, and scale. Emerging applications interact with both a physical and a social environment in both space and time. They are subjected to unpredictable workloads and are composed of a large number of subsystems of different degrees of criticality, not all of which are well-understood. Analyzing their overall behavior, diagnosing their interaction problems, and ensuring cooperation among their constituents requires new, often interdisciplinary tools and theoretical foundations not typically explored in classical embedded computing. This talk overviews some such tools and foundations, and outlines emerging broad challenges in building next-general open cyber-physical systems. K. Chatterjee and T.A. Henzinger (Eds.): FORMATS 2010, LNCS 6246, p. 1, 2010. c © Springer-Verlag Berlin Heidelberg 2010