Publication detail

Patterns for Embedded Systems Design

ŠVÉDA, M.

Original Title

Patterns for Embedded Systems Design

Type

article in a collection out of WoS and Scopus

Language

English

Original Abstract

To reuse an architectural component whose implementation usually consists both of software and hardware, it means to reuse its formal specification, which is very expensive and, hence, worthwhile for reuse. The paper is aimed at behavioral specifications employing state or timed-state sequences, which correspond to the Kripke style semantics of linear discrete time temporal or real-time logics, and at their closed-form descriptions by finite-state or timed automata. Employing application patterns fitting a class of real-time embedded systems, the kernel of this contribution presents two design projects: petrol pumping station dispenser controller and multiple lift control system.

Authors

ŠVÉDA, M.

Released

1. 1. 1999

Publisher

unknown

Location

Vienna

Pages from

277

Pages to

280

Pages count

4

BibTex

@inproceedings{BUT191535,
  author="Miroslav {Švéda}",
  title="Patterns for Embedded Systems Design",
  booktitle="Preprints EUROCAST´99",
  year="1999",
  pages="277--280",
  publisher="unknown",
  address="Vienna"
}