Detail publikace

Formal Methods and Industrial Communication

KUČERA, P., HONZÍK, P., ZEZULKA, F.

Originální název

Formal Methods and Industrial Communication

Anglický název

Formal Methods and Industrial Communication

Jazyk

en

Originální abstrakt

An Industrial communication plays an important role in industrial automation due to trend of decentralizing control systems. Industrial automation generally includes many areas of engineering (HW, SW, mechanical, chemical...) therefore close cooperation between them is necessary. But in generally all of these engineers use different descriptions and analysing tools. Even the same areas of engineering use different description tools. This contribution should show the reader one of the possible ways to solve this problem - using Formal Methods. The reader is familiarized with the railway model at first. Used inputs/outputs are described and interface module is mentioned. After it the control elements and their architecture are described, i.e. process controllers and communication bus. Finally suitable formal method is applied with the aim to check entire communication system.

Anglický abstrakt

An Industrial communication plays an important role in industrial automation due to trend of decentralizing control systems. Industrial automation generally includes many areas of engineering (HW, SW, mechanical, chemical...) therefore close cooperation between them is necessary. But in generally all of these engineers use different descriptions and analysing tools. Even the same areas of engineering use different description tools. This contribution should show the reader one of the possible ways to solve this problem - using Formal Methods. The reader is familiarized with the railway model at first. Used inputs/outputs are described and interface module is mentioned. After it the control elements and their architecture are described, i.e. process controllers and communication bus. Finally suitable formal method is applied with the aim to check entire communication system.

Dokumenty

BibTex


@inproceedings{BUT4294,
  author="Pavel {Kučera} and Petr {Honzík} and František {Zezulka}",
  title="Formal Methods and Industrial Communication",
  annote="An Industrial communication plays an important role in industrial automation due to trend of decentralizing control systems. Industrial automation generally includes many areas of engineering (HW, SW, mechanical, chemical...) therefore close cooperation between them is necessary. But in generally all of these engineers use different descriptions and analysing tools. Even the same areas of engineering use different description tools. This contribution should show the reader one of the possible ways to solve this problem - using Formal Methods.
The reader is familiarized with the railway model at first. Used inputs/outputs are described and interface module is mentioned. After it the control elements and their architecture are described, i.e. process controllers and communication bus. Finally suitable formal method is applied with the aim to check entire communication system.
",
  address="Kielce University of Technology",
  booktitle="II Scientific conference "Telecommunication in XXI century"",
  chapter="4294",
  institution="Kielce University of Technology",
  year="2002",
  month="january",
  pages="27",
  publisher="Kielce University of Technology",
  type="conference paper"
}