Detail publikace

Design Experience with Routing SW and Related Applications

Originální název

Design Experience with Routing SW and Related Applications

Anglický název

Design Experience with Routing SW and Related Applications

Jazyk

en

Originální abstrakt

The paper deals with the current software architectures for intermediate systems for Intranet and small-range wireless interconnection using case studies founded on real-world applications. The approach demonstrates another contribution to network convergence in interconnecting software architecture development, which stems from a 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 systems for Intranet and small-range wireless interconnection using case studies founded on real-world applications. The approach demonstrates another contribution to network convergence in interconnecting software architecture development, which stems from a 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.

BibTex


@inproceedings{BUT76266,
  author="Miroslav {Švéda}",
  title="Design Experience with Routing SW and Related Applications",
  annote="The paper deals with the current software architectures for intermediate systems
for Intranet and small-range wireless interconnection using case studies founded
on real-world applications. The approach demonstrates another contribution to
network convergence in interconnecting software architecture development, which
stems from a 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="International Academy, Research, and Industry Association",
  booktitle="Proceedings of The Tenth International Conference on Networks - ICN 2011",
  chapter="76266",
  edition="NEUVEDEN",
  howpublished="print",
  institution="International Academy, Research, and Industry Association",
  year="2011",
  month="january",
  pages="133--138",
  publisher="International Academy, Research, and Industry Association",
  type="conference paper"
}