Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools
| Autor: | Remigiusz Wisniewski, Marcin Wojnakowski, Luis Gomes, Grzegorz Bazydlo, Anikó Costa |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Computer science
business.industry 020208 electrical & electronic engineering Cyber-physical system 02 engineering and technology Solid modeling Petri net Unified Modeling Language 0202 electrical engineering electronic engineering information engineering Decomposition (computer science) Electronic design automation Design methods Software engineering business computer computer.programming_language |
| Zdroj: | IECON |
| DOI: | 10.1109/iecon.2019.8926692 |
| Popis: | The paper presents a novel design methodology of cyber-physical systems supported by computer aided tools. In particular, IOPT and Hippo tools are involved in the design and analysis techniques of the system. The proposed idea combines the main advantages of both tools by offering the complex design path of the control part of the cyber-physical system, including specification, analysis and verification, decomposition, and modelling stages. Additionally, the designer is able to choose the most suitable representation of the system (graphical or formal). The presented concepts are illustrated by a case-study example. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|