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
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"
}
Back to top