Detail publikace

NETWORK CONVERGENCY AND MODELING -- Design Experience with Routing SW for Intranets and Fieldbusses

ŠVÉDA, M.

Originální název

NETWORK CONVERGENCY AND MODELING -- Design Experience with Routing SW for Intranets and Fieldbusses

Anglický název

NETWORK CONVERGENCY AND MODELING -- Design Experience with Routing SW for Intranets and Fieldbusses

Jazyk

en

Originální abstrakt

The paper deals with the current software architectures for intermediate system for Intranet and small-range wireless interconnections. This article brings two case studies founded on real-world applications that demonstrate another input to network convergence and network modeling in software architecture development stemming from design experience based on industrial network applications and on metropolitan networking. The first case study focuses on IEEE 1451 family of standards that provides a design framework for creating applications based not only on IP/Ethernet profile but also on ZigBee. Next case study explores how security and safety properties of Intranets can be verified under every network configuration using model checking.

Anglický abstrakt

The paper deals with the current software architectures for intermediate system for Intranet and small-range wireless interconnections. This article brings two case studies founded on real-world applications that demonstrate another input to network convergence and network modeling in software architecture development stemming from design experience based on industrial network applications and on metropolitan networking. The first case study focuses on IEEE 1451 family of standards that provides a design framework for creating applications based not only on IP/Ethernet profile but also on ZigBee. Next case study explores how security and safety properties of Intranets can be verified under every network configuration using model checking.

Dokumenty

BibTex


@inproceedings{BUT34826,
  author="Miroslav {Švéda}",
  title="NETWORK CONVERGENCY AND MODELING -- Design Experience with Routing SW for Intranets and Fieldbusses",
  annote="The paper deals with the current software architectures for intermediate system
for Intranet and small-range wireless interconnections. This article brings two
case studies founded on real-world applications that demonstrate another input to
network convergence and network modeling in software architecture development
stemming from design experience based on industrial network applications and on
metropolitan networking. The first case study focuses on IEEE 1451 family of
standards that provides a design framework for creating applications based not
only on IP/Ethernet profile but also on ZigBee. Next case study explores how
security and safety properties of Intranets can be verified under every network
configuration using model checking.",
  address="Institute for Systems and Technologies of Information, Control and Communication",
  booktitle="Proceedings of the Fifth International Conference on Software and Data Technologies, ICSOFT 2010",
  chapter="34826",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Institute for Systems and Technologies of Information, Control and Communication",
  year="2010",
  month="july",
  pages="173--178",
  publisher="Institute for Systems and Technologies of Information, Control and Communication",
  type="conference paper"
}