Prof. Ing. Miroslav ©véda, CSc.

©VÉDA Miroslav. Patterns for Embedded Systems Design. In: Preprints EUROCAST´99. Vienna: unknown, 1999, pp. 277-280.
Publication language:english
Original title:Patterns for Embedded Systems Design
Proceedings:Preprints EUROCAST´99
Place:Vienna, AT
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.
   author = {Miroslav {\v{S}}v{\'{e}}da},
   title = {Patterns for Embedded Systems Design},
   pages = {277--280},
   booktitle = {Preprints EUROCAST99},
   year = {1999},
   location = {Vienna, AT},
   language = {english},
   url = {}

Your IPv4 address:
Switch to https

DNSSEC [dnssec]