NETWORK CONVERGENCE AND MODELING - Design of Interconnecting SW for Intranets and Fieldbuses

Miroslav Sveda

2010

Abstract

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.

Download


Paper Citation


in Harvard Style

Sveda M. (2010). NETWORK CONVERGENCE AND MODELING - Design of Interconnecting SW for Intranets and Fieldbuses . In Proceedings of the 5th International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-989-8425-22-5, pages 173-178. DOI: 10.5220/0002863201730178

in Bibtex Style

@conference{icsoft10,
author={Miroslav Sveda},
title={NETWORK CONVERGENCE AND MODELING - Design of Interconnecting SW for Intranets and Fieldbuses},
booktitle={Proceedings of the 5th International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2010},
pages={173-178},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002863201730178},
isbn={978-989-8425-22-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - NETWORK CONVERGENCE AND MODELING - Design of Interconnecting SW for Intranets and Fieldbuses
SN - 978-989-8425-22-5
AU - Sveda M.
PY - 2010
SP - 173
EP - 178
DO - 10.5220/0002863201730178