Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools

Remigiusz Wisniewski, Grzegorz Bazydlo, Luis Gomes, Aniko Costa, Marcin Wojnakowski

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings
Subtitle of host publicationIECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society
PublisherIEEE Computer Society Press
Pages5843-5848
Number of pages6
ISBN (Electronic)9781728148786
DOIs
Publication statusPublished - Oct 2019
Event45th Annual Conference of the IEEE Industrial Electronics Society, IECON 2019 - Lisbon, Portugal
Duration: 14 Oct 201917 Oct 2019

Publication series

NameIECON Proceedings (Industrial Electronics Conference)
PublisherIEEE Computer Society Press
Volume2019-October

Conference

Conference45th Annual Conference of the IEEE Industrial Electronics Society, IECON 2019
Country/TerritoryPortugal
CityLisbon
Period14/10/1917/10/19

Keywords

  • computer aided design and analysis
  • cyber-physical systems
  • Hippo
  • IOPT
  • Petri nets

Fingerprint

Dive into the research topics of 'Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools'. Together they form a unique fingerprint.

Cite this