Detail publikace

An Approach to the Design of Networked Embedded Systems

ŠVÉDA, M.; VRBA, R. An Approach to the Design of Networked Embedded Systems. In Proceedings of the 16th IFAC WORLD CONGRESS, 2005. Programmable devices and systems. Kidlington, Oxford: Elsevier Science, 2005. p. 2223 ( p.)ISBN: 0-08-045108-X. ISSN: 1474-6670.
Název česky
Jeden přístup k návrhu síťových vestavěných systémů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Vrba Radimír, prof. Ing., CSc. (CEITEC VUT)
Klíčová slova

Embedded systems, design systems, formal specification, computer communication networks, sensor systems

Abstrakt

Příspěvek presentuje přístup k formální specifikaci, verifikaci a prototypování síťových aplikací vestavěných systémů. Je zaměřen zejména na proveditelné specifikace a rychlé prototypování pro strukturální návrh a specifikace architektury a verifikace pro objektově orientovaný návrh. Příspěvek představuje dva původní jazyky vyvinuté pro tento účel.

Rok
2005
Strany
6
Časopis
Programmable devices and systems, roč. 16, č. 1, ISSN 1474-6670
Sborník
Proceedings of the 16th IFAC WORLD CONGRESS, 2005
ISBN
0-08-045108-X
Vydavatel
Elsevier Science
Místo
Kidlington, Oxford
BibTeX 
@inproceedings{BUT21517,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="An Approach to the Design of Networked Embedded Systems",
  booktitle="Proceedings of the 16th IFAC WORLD CONGRESS, 2005",
  year="2005",
  journal="Programmable devices and systems",
  volume="16",
  number="1",
  pages="6",
  publisher="Elsevier Science",
  address="Kidlington, Oxford",
  isbn="0-08-045108-X",
  issn="1474-6670"
}
Nahoru