Publication detail

Executable specifications for Process Automation and Microelectronics

KUČERA, P., ZEZULKA, F., ŠVÉDA, M., VRBA, R.

Original Title

Executable specifications for Process Automation and Microelectronics

English Title

Executable specifications for Process Automation and Microelectronics

Type

conference paper

Language

en

Original 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.

English 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.

Keywords

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

RIV year

2003

Released

19.04.2002

Publisher

University of Stirling

Location

Lund

ISBN

1-85769-169-5

Book

IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems

Pages from

91

Pages to

98

Pages count

8

BibTex


@inproceedings{BUT9819,
  author="Pavel {Kučera} and František {Zezulka} and Miroslav {Švéda} and Radimír {Vrba}",
  title="Executable specifications for Process Automation and Microelectronics",
  annote="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.",
  address="University of Stirling",
  booktitle="IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
  chapter="9819",
  institution="University of Stirling",
  year="2002",
  month="april",
  pages="91--98",
  publisher="University of Stirling",
  type="conference paper"
}