Detail publikace

A Design Framework for Internet-Based Embedded Distributed Systems

ŠVÉDA Miroslav. A Design Framework for Internet-Based Embedded Distributed Systems. In: Proceedings of the International IEEE Conference and Workshop ECBS'2004. Los Alamitos, California: IEEE Computer Society, 2004, s. 113-120. ISBN 0-7695-2125-8.
Název česky
Rámec pro návrh vestavěných distribuovaných systémů založených na Internetu
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Klíčová slova

rámec, formální popis, komponenty HW/SW, 1451.1

Abstrakt

Presentovaný návrhový rámec vychází z verifikovatelných formálních specifikací jako počátečního paradigmatu, z ditribuovaných HW/SW komponent se skupinovým adresováním na Internetu jako paradigmatu architektury a z paradigmatu opakované využitelnosti podporující všechny fáze procesu návrhu od specifikací po implementaci a testování. Příspěvek pojednává koncepci zaměřenou na systémy respektující standardy IEEE 1451 a sestávající z komponent připojených k Internetu. Integrovaný rámec je založen na objektovém síťovém modelu IEEE 1451.1 doplněném o IP multicast. Jádro příspěvku pojednává o nástrojích a technikách podporujících specifikační a návrhovou fázi životního cyklu vyvíjených aplikací.

Rok
2004
Strany
113-120
Sborník
Proceedings of the International IEEE Conference and Workshop ECBS'2004
Konference
Eleventh IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems, Brno, CZ
ISBN
0-7695-2125-8
Vydavatel
IEEE Computer Society
Místo
Los Alamitos, California, US
BibTeX
@INPROCEEDINGS{FITPUB7465,
   author = "Miroslav \v{S}v\'{e}da",
   title = "A Design Framework for Internet-Based Embedded Distributed Systems",
   pages = "113--120",
   booktitle = "Proceedings of the International IEEE Conference and Workshop ECBS'2004",
   year = 2004,
   location = "Los Alamitos, California, US",
   publisher = "IEEE Computer Society",
   ISBN = "0-7695-2125-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7465"
}
Nahoru