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

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 particu...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems s. 99 - 108
Hlavní autoři: Canedo, Arquimedes, Schwarzenbach, Eric, Al Faruque, Mohammad Abdullah
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: New York, NY, USA ACM 08.04.2013
IEEE
Edice:ACM Conferences
Témata:
ISBN:1450319963, 9781450319966
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
ISBN:1450319963
9781450319966
DOI:10.1145/2502524.2502539