Prof. Ing. Miroslav Švéda, CSc.

Š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, pp. 113-120. ISBN 0-7695-2125-8.
Publication language:english
Original title:A Design Framework for Internet-Based Embedded Distributed Systems
Title (cs):Rámec pro návrh vestavěných distribuovaných systémů založených na Internetu
Pages:113-120
Proceedings:Proceedings of the International IEEE Conference and Workshop ECBS'2004
Conference:Eleventh IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems
Place:Los Alamitos, California, US
Year:2004
ISBN:0-7695-2125-8
Publisher:IEEE Computer Society
Keywords
Framework, formal specification, HW/SW components, IP multicast, 1451.1
Annotation
The presented design framework stems from verifiable formal specifications as a launching paradigm, from Internet-based distributed HW/SW components with multicast as an architectural paradigm, and from reusability paradigm supporting all phases of the design process ranging from specification to implementation and testing. This paper presents concepts of a specification-driven design framework aiming at IEEE 1451-based embedded distributed systems that consist of smart components connected to Internet. It deals with an integrated networking framework stemming from the IEEE 1451.1 object-based networking model, complemented by the Internet Protocol (IP) multicast that mediates efficient and unified access from Internet to distributed components. The kernel of the paper deals with tools and techniques aiming to prop specification and design life cycle phases of applications under development.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=7465}
}

Your IPv4 address: 54.198.104.202
Switch to IPv6 connection

DNSSEC [dnssec]