Publication Details

Executable specifications for Process Automation and Microelectronics

KUČERA Pavel, ZEZULKA František, ŠVÉDA Miroslav and VRBA Radimír. Executable specifications for Process Automation and Microelectronics. In: IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002, pp. 91-98. ISBN 1-85769-169-5.
Type
conference paper
Language
english
Authors
Kučera Pavel, Ing. (DAME FEECS BUT)
Zezulka František, doc. Ing., CSc. (DAME FEECS BUT)
Švéda Miroslav, Prof. Ing., CSc. (DCSY FIT BUT)
Vrba Radimír, prof. Ing., CSc. (UMEL FEECS BUT)
Keywords

executable specifications, attribute grammars, macroprocessor, Prolog, trial architecture

Abstract

In the paper, an introduction to the developed asynchronous specification language is followed by a review to the related prototyping techniques. The main part of the paper deals with an application of the language for two-level specification of an Internet-based appliance for pressure measurement. While the upper level of this specification focuses on process automation aspects, the lower level provides behavioral definitions of microelectronic system's implementation facets.

Published
2002
Pages
91-98
Proceedings
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Conference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Lund, SE
ISBN
1-85769-169-5
Publisher
University of Stirling
Place
Lund, SE
BibTeX 
@INPROCEEDINGS{FITPUB6893,
   author = "Pavel Ku\v{c}era and Franti\v{s}ek Zezulka and Miroslav \v{S}v\'{e}da and Radim\'{i}r Vrba",
   title = "Executable specifications for Process Automation and Microelectronics",
   pages = "91--98",
   booktitle = "IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
   year = 2002,
   location = "Lund, SE",
   publisher = "University of Stirling",
   ISBN = "1-85769-169-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6893"
}
Back to top