Publication detail

FORMAL METHOD AND INDUSTRIAL COMMUNICATION

KUČERA, P.

Original Title

FORMAL METHOD AND INDUSTRIAL COMMUNICATION

Type

conference paper

Language

English

Original Abstract

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.

Key words in English

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

Authors

KUČERA, P.

RIV year

2003

Released

1. 1. 2003

Publisher

VUT Brno

Location

Brno

Pages from

54

Pages to

58

Pages count

5

BibTex

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