Publication result detail

Formal specification of control system design in industrial domain

VACULOVIČ, S.; ARM, J.

Original Title

Formal specification of control system design in industrial domain

English Title

Formal specification of control system design in industrial domain

Type

Paper in proceedings (conference paper)

Original Abstract

When designing an industrial control system, multiple aspects need to be taken into account and it is often necessary to make some trade-offs in the choice of hardware resources, communication technologies and topologies of the system being built. Usually a balance is sought between the cost and functionality of the selected components and the overall system architecture. A formalised description of the architecture allows the standardisation of individual industrial control system design solutions, on the basis of which the optimal solution can be selected. Another use of the formalization of the control system architecture description is to automate the design or traceability of the implementation from design to implementation. A formal specification of the electrical part containing the control system was performed on a sample industrial machine, followed by an analysis of the suitability of the different architectures using Theory of Inventive Problem Solving (TRIZ).

English abstract

When designing an industrial control system, multiple aspects need to be taken into account and it is often necessary to make some trade-offs in the choice of hardware resources, communication technologies and topologies of the system being built. Usually a balance is sought between the cost and functionality of the selected components and the overall system architecture. A formalised description of the architecture allows the standardisation of individual industrial control system design solutions, on the basis of which the optimal solution can be selected. Another use of the formalization of the control system architecture description is to automate the design or traceability of the implementation from design to implementation. A formal specification of the electrical part containing the control system was performed on a sample industrial machine, followed by an analysis of the suitability of the different architectures using Theory of Inventive Problem Solving (TRIZ).

Keywords

Formal specification, industrial control system

Key words in English

Formal specification, industrial control system

Authors

VACULOVIČ, S.; ARM, J.

Released

29.04.2025

Publisher

Brno University of Technology, Faculty of Electrical Engineering and Communication

Location

Brno

ISBN

978-80-214-6321-9

Book

Proceedings I of the 31st Conference STUDENT EEICT 2025

Pages from

336

Pages to

340

Pages count

5

URL

https://www.eeict.cz/eeict_download/archiv/sborniky/EEICT_2025_sbornik_1.pdf

BibTex

@inproceedings{BUT198670,
  author="Silvestr {Vaculovič} and Jakub {Arm}",
  title="Formal specification of control system design in industrial domain",
  booktitle="Proceedings I of the 31st Conference STUDENT EEICT 2025",
  year="2025",
  pages="336--340",
  publisher="Brno University of Technology, Faculty of Electrical Engineering and Communication",
  address="Brno",
  isbn="978-80-214-6321-9",
  url="https://www.eeict.cz/eeict_download/archiv/sborniky/EEICT_2025_sbornik_1.pdf"
}