Detail publikace

Reuse of Formal Specifications in Embedded Systems Design

ŠVÉDA Miroslav. Reuse of Formal Specifications in Embedded Systems Design. In: Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 78-83. ISBN 80-214-3130-X.
Název česky
Opakovaná využitelnost formálních specifikací ve vestavěných systémech
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Abstrakt

Příspěvek pojednává o opakované využitelnosti specifikací architektury a chování vestavěných systémů využívajících konečné a časované automaty. Je zde diskutována příslušná podpora usuzováním na základě případů, která tvoří základ jazyka vzorů specifikací pro opakovaný návrh v oblasti vestavěných systémů určených pro práci v reálném čase.

Rok
2006
Strany
78-83
Sborník
Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006
Konference
IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS, Brno, CZ
ISBN
80-214-3130-X
Vydavatel
Fakulta elektrotechniky a komunikačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB8008,
   author = "Miroslav \v{S}v\'{e}da",
   title = "Reuse of Formal Specifications in Embedded Systems Design",
   pages = "78--83",
   booktitle = "Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006",
   year = 2006,
   location = "Brno, CZ",
   publisher = "Faculty of Electrical Engineering and Communication BUT",
   ISBN = "80-214-3130-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8008"
}
Nahoru