Publication result detail

Patterns for Embedded Systems Design

ŠVÉDA, M.

Original Title

Patterns for Embedded Systems Design

English Title

Patterns for Embedded Systems Design

Type

Paper in proceedings outside WoS and Scopus

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.

English 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

01.01.1999

Publisher

unknown

Location

Vienna

Book

Preprints EUROCAST´99

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