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...
Uloženo v:
| Vydáno v: | Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems s. 99 - 108 |
|---|---|
| Hlavní autoři: | , , |
| 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!
|
| 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 |

