Formal Methods in Fieldbus Specification

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F03%3APU37568" target="_blank" >RIV/00216305:26220/03:PU37568 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Formal Methods in Fieldbus Specification
Original language description
Automation systems become more and more sophisticated and complex. Even simple device, such as a washing machine, consists of hundred components and 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-ddesigned 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 - e
Czech name
—
Czech description
—

Publication year
2003
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)