Detail publikace
A Design Framework for Internet-Based Embedded Distributed Systems
rámec, formální popis, komponenty HW/SW, 1451.1
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í.
@inproceedings{BUT17114,
author="Miroslav {Švéda}",
title="A Design Framework for Internet-Based Embedded Distributed Systems",
booktitle="Proceedings of the International IEEE Conference and Workshop ECBS'2004",
year="2004",
pages="113--120",
publisher="IEEE Computer Society",
address="Los Alamitos, California",
isbn="0-7695-2125-8"
}