Publication Details

An Asynchronous Specification Language for Computer-Based Systems Design

ŠVÉDA, M. An Asynchronous Specification Language for Computer-Based Systems Design. Electronic Devices and Systems 1999 - Proceedings. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1999. p. 137-143. ISBN: 80-214-1466-9.
Type
conference paper
Language
English
Authors
Švéda Miroslav, prof. Ing., CSc. (UTKO)
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
BibTeX 
@inproceedings{BUT191533,
  author="Miroslav {Švéda}",
  title="An Asynchronous Specification Language for Computer-Based Systems Design",
  booktitle="Electronic Devices and Systems 1999 - Proceedings",
  year="1999",
  pages="137--143",
  publisher="Faculty of Electrical Engineering and Computer Science BUT",
  address="Brno",
  isbn="80-214-1466-9"
}
Back to top