Detail publikačního výsledku

A Design Framework for Internet-Based Embedded Distributed Systems

ŠVÉDA, M.

Originální název

A Design Framework for Internet-Based Embedded Distributed Systems

Anglický název

A Design Framework for Internet-Based Embedded Distributed Systems

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

Framework, formal specification, HW/SW components, IP multicast, 1451.1

Klíčová slova v angličtině

Framework, formal specification, HW/SW components, IP multicast, 1451.1

Autoři

ŠVÉDA, M.

Vydáno

24.05.2004

Nakladatel

IEEE Computer Society

Místo

Los Alamitos, California

ISBN

0-7695-2125-8

Kniha

Proceedings of the International IEEE Conference and Workshop ECBS'2004

Strany od

113

Strany do

120

Strany počet

8

BibTex

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