Publication Details

An Asynchronous Specification Language for Computer-Based Systems Design

ŠVÉDA Miroslav. An Asynchronous Specification Language for Computer-Based Systems Design. In: Electronic Devices and Systems 1999 - Proceedings. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1999, pp. 137-143. ISBN 80-214-1466-9.

Type

conference paper

Language

english

Authors

Švéda Miroslav, Doc. Ing., CSc. (DCSE FEECS BUT)

Abstract

This paper describes an approach to computer-based applications design. The concept used stems from an asynchronous specification language in frame of a design method based on the modelling paradigm of local time. The case study, accompanying the general description, deals with a simple but real-world device that is embedded in lift control system. After reviewing emerging discipline the Engineering of Computer-Based Systems, main attention is focused on the Local-Time Design Method and on the Asynchronous Specification Language.

Published

1999

Pages

137-143

Proceedings

Electronic Devices and Systems 1999 - Proceedings

ISBN

80-214-1466-9

Publisher

Faculty of Electrical Engineering and Computer Science BUT

Place

Brno, CZ

BibTeX

@INPROCEEDINGS{FITPUB6501,
   author = "Miroslav \v{S}v\'{e}da",
   title = "An Asynchronous Specification Language for Computer-Based Systems Design",
   pages = "137--143",
   booktitle = "Electronic Devices and Systems 1999 - Proceedings",
   year = 1999,
   location = "Brno, CZ",
   publisher = "Faculty of Electrical Engineering and Computer Science BUT",
   ISBN = "80-214-1466-9",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6501"
}