conference paper

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

Proceedings of the ACM/IEEE 4th international conference on cyber-physical systems - ICCPS '13

Publication Date

January 1, 2013

Author(s)

Arquimedes Canedo, Eric Schwarzenbach, Mohammad Al Faruque

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 system-level 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 electromechanical 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.

Suggested Citation
Arquimedes Canedo, Eric Schwarzenbach and Mohammad Abdullah Al Faruque (2013) “Context-sensitive synthesis of executable functional models of cyber-physical systems”, in Proceedings of the ACM/IEEE 4th international conference on cyber-physical systems - ICCPS '13. ACM Press (ACM-IEEE international conference on cyber-physical systems), pp. 99–108. Available at: 10.1145/2502524.2502539.