Detail publikace

Formalni metody a prumyslove komunikace

KUČERA, P.

Český název

Formalni metody a prumyslove komunikace

Anglický název

FORMAL METHOD AND INDUSTRIAL COMMUNICATION

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

en

Originální abstrakt

Industrial communication plays an important role in industrial automation due to trend of decentralization of 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 analyzing 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 Method. The reader is familiarized with the railway model, control elements and communication bus. Suitable formal method is applied with the aim to check entire system.

Český abstrakt

Clanek popisuje navrh ridici struktury za pouziti formalnich metod.

Anglický abstrakt

Industrial communication plays an important role in industrial automation due to trend of decentralization of 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 analyzing 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 Method. The reader is familiarized with the railway model, control elements and communication bus. Suitable formal method is applied with the aim to check entire system.

Klíčová slova anglicky

Formal methods, VHDL, FT system, FT control, Industrial communication

Rok RIV

2003

Vydáno

01.01.2003

Nakladatel

VUT Brno

Místo

Brno

Kniha

Student EEICT 2003

Počet stran

5

BIBTEX


@inproceedings{BUT7992,
  author="Pavel {Kučera},
  title="FORMAL METHOD AND INDUSTRIAL COMMUNICATION",
  booktitle="Student EEICT 2003",
  year="2003",
  month="January",
  publisher="VUT Brno",
  address="Brno"
}