Detail publikace

Patterns for Embedded Systems Design

ŠVÉDA, M.

Originální název

Patterns for Embedded Systems Design

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Autoři

ŠVÉDA, M.

Vydáno

1. 1. 1999

Nakladatel

unknown

Místo

Vienna

Strany od

277

Strany do

280

Strany počet

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