Context-sensitive synthesis of executable functional models of cyber-physical systems

  • Authors:
  • Arquimedes Canedo;Eric Schwarzenbach;Mohammad Abdullah Al Faruque

  • Affiliations:
  • Siemens Corporation, Princeton;Princeton University, Princeton;University of California, Irvine

  • Venue:
  • Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

The high complexity of cross-domain engineering in combination with the pressure for product innovation, higher quality, time-to-market, and budget constraints make it imperative for companies to use integrated engineering methods and tools. Computer engineering tools are mainly focused on a particular domain and therefore it is difficult to combine different tools for systemlevel analysis. This paper presents a novel approach and tool for integrated cyber-physical systems (CPS) design based on the FBS (Function-Behavior-State) methodology where multi-domain simulation models capturing both the behavioral-structural aspects of a system are automatically generated from its functional description. Our approach focuses on simulation-enabled FBS models using automatic and context-sensitive mappings of standard Functional Basis elementary functions to simulation components described in physical modeling languages (i.e. Modelica). Using a real electro-mechanical CPS application we demonstrate how our context-sensitive synthesis approach generates industry-quality executable functional models of higher quality than state-of-the-art approaches using manual mapping.