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{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" }