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

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"
}

Research groups

Supercomputing Technologies Research Group SC@FIT (RG SC@FIT)

Departments

Faculty of Information Technology (FIT)