Detail publikačního výsledku

Formal specification of control system design in industrial domain

VACULOVIČ, S.; ARM, J.

Originální název

Formal specification of control system design in industrial domain

Anglický název

Formal specification of control system design in industrial domain

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

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

Anglický abstrakt

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

Klíčová slova

Formal specification, industrial control system

Klíčová slova v angličtině

Formal specification, industrial control system

Autoři

VACULOVIČ, S.; ARM, J.

Vydáno

29.04.2025

Nakladatel

Brno University of Technology, Faculty of Electrical Engineering and Communication

Místo

Brno

ISBN

978-80-214-6321-9

Kniha

Proceedings I of the 31st Conference STUDENT EEICT 2025

Strany od

336

Strany do

340

Strany počet

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"
}