Addressing Modeling Challenges in Cyber-Physical Systems

Abstract

Public reporting burden for the collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden, to Washington Headquarters Services, Directorate for Information Operations and Reports, 1215 Jefferson Davis Highway, Suite 1204, Arlington VA 22202-4302. Respondents should be aware that notwithstanding any other provision of law, no person shall be subject to a penalty for failing to comply with a collection of information if it does not display a currently valid OMB control number. This paper focuses on the challenges of modeling cyber-physical systems that arise from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It uses a portion of an aircraft vehicle management systems (VMS), specifically the fuel management subsystem, to illustrate the challenges and then discusses technologies that at least partially address the challenges. Specific technologies described include hybrid system modeling and simulation, concurrent and heterogeneous models of computation, the use of domain-specific ontologies to enhance modularity, and the joint modeling of functionality and implementation architectures. Copyright © 2011, by the author(s).All rights reserved.Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission. AcknowledgementThis work was supported in part by the Center for Hybrid and Embedded Software Systems (CHESS) at UC Berkeley, which receives support from the National Science Foundation (NSF awards #0720882 (CSR-EHS: PRET), #0931843 (ActionWebs), and #1035672 (CSR-CPS Ptides)), the U. S. Army Research Office (ARO #W911NF-07-2-0019), the U. Abstract This paper focuses on the challenges of modeling cyber-physical systems that arise from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It uses a portion of an aircraft vehicle management systems (VMS), specifically the fuel management subsystem, to illustrate the challenges, and then discusses technologies that at least partially address the challenges. Specific technologies described include hybrid system modeling and simulation, concurrent and heterogeneous models of computation, the use of domain-specific ontologies to enhance modularity, and the joint modeling of functionality and implementation architectures. 1

Communicating and Negotiating Proof Events in the Cyber – Physical Systems

“…It is inevitable that Cyber -Physical Systems evolve over a span of time. Data facilitates the Understanding, Modeling [29,30], Predicting, Controlling, Automating, Visualizing and Improving the process of the evolution of the system. "[Data is] a representation of facts or ideas in a formalized manner capable of being communicated or manipulated by some process.…”

Physically informed assertions for cyber physical systems development and debugging

“…To capture the complex nature of continuous and discrete dynamics in CPS, we are creating a modeling language, Cyber Physical Systems Processes (CPSP) which is both simple to use and expressive enough to provide accurate modeling support for both development and debugging, including checking invariants at runtime. The intrinsic heterogeneity and complexity of CPS stresses existing modeling languages and frameworks [3]. For instance, a model of a CPS usually contains heterogenous models of various physical dynamic processes as well as models of computations, networks and software.…”

Towards the Development of the Future Internet Based Enterprise in the Context of Cyber-Physical Systems

“…[12] represent a integration of stems and processes. [8]. The ngs together the actual physical nt computing and networking PS is concerned with the actual cal and computer systems thus search for understanding of the pt integrates Cyber which refers n, and control that are discrete, sical which relates to natural and ed by the laws of physics and me.…”