Publication result detail

An Asynchronous Specification Language for Computer-Based Systems Design

ŠVÉDA, M.

Original Title

An Asynchronous Specification Language for Computer-Based Systems Design

English Title

An Asynchronous Specification Language for Computer-Based Systems Design

Type

Paper in proceedings outside WoS and Scopus

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

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

Authors

ŠVÉDA, M.

Released

01.01.1999

Publisher

Faculty of Electrical Engineering and Computer Science BUT

Location

Brno

ISBN

80-214-1466-9

Book

Electronic Devices and Systems 1999 - Proceedings

Pages from

137

Pages to

143

Pages count

7

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