Conference paper

Š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
Pages:277-280
Proceedings:Preprints EUROCAST´99
Place:Vienna, AT
Year:1999
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=6499}
}

Your IPv4 address: 54.163.210.170
Switch to IPv6 connection

DNSSEC [dnssec]