Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools
Remigiusz Wiśniewski, Grzegorz Bazydło, Lúıs Gomes, Anikó Costa, Marcin Wojnakowski · 2019
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.