Detail publikace

Formal methods in fieldbus specification

ZEZULKA, F. HINTZE, E. KUČERA, P.

Originální název

Formal methods in fieldbus specification

Anglický název

Formal methods in fieldbus specification

Jazyk

en

Originální abstrakt

To design that device requires a cooperation of several engineers: mechanical, electrical, software etc. They use different descriptive methods (drawing, electric-diagram, math equation, programming language, etc.) with the aim to achieve the best performance of their components. However, user is not interested in well-designed washing-program but in well-designed washing machine. Therefore, not only high expertise of engineers in their branches, but also close cooperation among them is strictly necessary. Washing machine is a simple example because it is an embedded system. Let us look at more complex system: factory automation system based on Profibus DP industrial bus. In this case tens of different bus segments with hundreds of different bus devices of different manufacturers are used. This heterogeneous structure is always unique - every case of automation system is different. How to proof that designed system will ever operate or will operate with required parameters or without serious failures in time of design i.e. before than we switch on the main power? The answer is to use the suitable formal method.

Anglický abstrakt

To design that device requires a cooperation of several engineers: mechanical, electrical, software etc. They use different descriptive methods (drawing, electric-diagram, math equation, programming language, etc.) with the aim to achieve the best performance of their components. However, user is not interested in well-designed washing-program but in well-designed washing machine. Therefore, not only high expertise of engineers in their branches, but also close cooperation among them is strictly necessary. Washing machine is a simple example because it is an embedded system. Let us look at more complex system: factory automation system based on Profibus DP industrial bus. In this case tens of different bus segments with hundreds of different bus devices of different manufacturers are used. This heterogeneous structure is always unique - every case of automation system is different. How to proof that designed system will ever operate or will operate with required parameters or without serious failures in time of design i.e. before than we switch on the main power? The answer is to use the suitable formal method.

Dokumenty

BibTex


@inproceedings{BUT7990,
  author="František {Zezulka} and Elke {Hintze} and Pavel {Kučera}",
  title="Formal methods in fieldbus specification",
  annote="To design that device requires a cooperation of several engineers: mechanical, electrical, software etc. They use different descriptive methods (drawing, electric-diagram, math equation, programming language, etc.) with the aim to achieve the best performance of their components. However, user is not interested in well-designed washing-program but in well-designed washing machine. Therefore, not only high expertise of engineers in their branches, but also close cooperation among them is strictly necessary. Washing machine is a simple example because it is an embedded system. Let us look at more complex system: factory automation system based on Profibus DP industrial bus. In this case tens of different bus segments with hundreds of different bus devices of different manufacturers are used. This heterogeneous structure is always unique - every case of automation system is different. How to proof that designed system will ever operate or will operate with required parameters or without serious failures in time of design i.e. before than we switch on the main power? The answer is to use the suitable formal method.",
  address="International Institute of Informatics and Systemics",
  booktitle="SCI 2003 Conference",
  chapter="7990",
  institution="International Institute of Informatics and Systemics",
  year="2003",
  month="january",
  pages="48--53",
  publisher="International Institute of Informatics and Systemics",
  type="conference paper"
}