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

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

doi:10.1109/IECON.2019.8926692

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 proceeding › Conference contribution › peer-review

14 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 language	English
Title of host publication	Proceedings
Subtitle of host publication	IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society
Publisher	IEEE Computer Society Press
Pages	5843-5848
Number of pages	6
ISBN (Electronic)	9781728148786
DOIs	https://doi.org/10.1109/IECON.2019.8926692
Publication status	Published - Oct 2019
Event	45th Annual Conference of the IEEE Industrial Electronics Society, IECON 2019 - Lisbon, Portugal Duration: 14 Oct 2019 → 17 Oct 2019

Publication series

Name	IECON Proceedings (Industrial Electronics Conference)
Publisher	IEEE Computer Society Press
Volume	2019-October

Conference

Conference	45th Annual Conference of the IEEE Industrial Electronics Society, IECON 2019
Country/Territory	Portugal
City	Lisbon
Period	14/10/19 → 17/10/19

Keywords

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

Access to Document

10.1109/IECON.2019.8926692

Cite this

Wisniewski, R., Bazydlo, G., Gomes, L., Costa, A., & Wojnakowski, M. (2019). Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. In Proceedings: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society (pp. 5843-5848). Article 8926692 (IECON Proceedings (Industrial Electronics Conference); Vol. 2019-October). IEEE Computer Society Press. https://doi.org/10.1109/IECON.2019.8926692

@inproceedings{eeec6e407bf245e9be2001eba5df69b1,

title = "Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools",

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.",

keywords = "computer aided design and analysis, cyber-physical systems, Hippo, IOPT, Petri nets",

author = "Remigiusz Wisniewski and Grzegorz Bazydlo and Luis Gomes and Aniko Costa and Marcin Wojnakowski",

note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 45th Annual Conference of the IEEE Industrial Electronics Society, IECON 2019 ; Conference date: 14-10-2019 Through 17-10-2019",

year = "2019",

month = oct,

doi = "10.1109/IECON.2019.8926692",

language = "English",

series = "IECON Proceedings (Industrial Electronics Conference)",

publisher = "IEEE Computer Society Press",

pages = "5843--5848",

booktitle = "Proceedings",

}

Wisniewski, R, Bazydlo, G, Gomes, L , Costa, A & Wojnakowski, M 2019, Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. in Proceedings: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society., 8926692, IECON Proceedings (Industrial Electronics Conference), vol. 2019-October, IEEE Computer Society Press, pp. 5843-5848, 45th Annual Conference of the IEEE Industrial Electronics Society, IECON 2019, Lisbon, Portugal, 14/10/19. https://doi.org/10.1109/IECON.2019.8926692

Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. / Wisniewski, Remigiusz; Bazydlo, Grzegorz; Gomes, Luis et al.
Proceedings: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE Computer Society Press, 2019. p. 5843-5848 8926692 (IECON Proceedings (Industrial Electronics Conference); Vol. 2019-October).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

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

AU - Wisniewski, Remigiusz

AU - Bazydlo, Grzegorz

AU - Gomes, Luis

AU - Costa, Aniko

AU - Wojnakowski, Marcin

PY - 2019/10

Y1 - 2019/10

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

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

KW - computer aided design and analysis

KW - cyber-physical systems

KW - Hippo

KW - IOPT

KW - Petri nets

UR - http://www.scopus.com/inward/record.url?scp=85084045592&partnerID=8YFLogxK

U2 - 10.1109/IECON.2019.8926692

DO - 10.1109/IECON.2019.8926692

M3 - Conference contribution

AN - SCOPUS:85084045592

T3 - IECON Proceedings (Industrial Electronics Conference)

SP - 5843

EP - 5848

BT - Proceedings

PB - IEEE Computer Society Press

T2 - 45th Annual Conference of the IEEE Industrial Electronics Society, IECON 2019

Y2 - 14 October 2019 through 17 October 2019

ER -

Wisniewski R, Bazydlo G, Gomes L , Costa A, Wojnakowski M. Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. In Proceedings: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE Computer Society Press. 2019. p. 5843-5848. 8926692. (IECON Proceedings (Industrial Electronics Conference)). doi: 10.1109/IECON.2019.8926692

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

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this