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.

References

  1. Cach P., Fiedler, P., Sveda, M., Prokop, M., Wagner M., 2003. A Sensor with Embedded Ethernet, In WSEAS Transactions on Circuits, Iss.1, Vol.2, pp.213-215.
  2. Cernohlavek, I., Novotny, J., Slama, V., Zahorik, V., Sveda, M., 1994. Open-Box Routers with Academic Metropolitan Networking, Technical Report, Brno University of Technology (CVIS Department) and Masaryk University (UIVT Department). Brno.
  3. Clarke, E.M., Grumberg, O., Peled, D.A., 1999. Model Checking, MIT Press, Boston, MA.
  4. Kania, L., Smolik, S., Sveda, M., Zahorik, V., 1995. The Brno Academic Computer Network and its Future Development, In Proceedings INVEX-CCT'95, BVV Press, Brno, pp.1-5.
  5. Keshav, S., 1997. An Engineering Approach to Computer Networking: ATM Networks, the Internet, and the Telephone Network, Addison-Wesley, Reading, MA.
  6. Matousek, P., Rab, J., Rysavy, O., Sveda, M.: A Formal Model for Network-wide Security Analysis, In Proceeding of the 15 IEEE International Symposium and Workshop on the Engineering of Computer-based Systems, Belfast, GB, IEEE Computer Society, Los Alamitos, CA, 2008, pp.171-181.
  7. Nguyen, K.-K., Jaumard, B., 2009. Routing Engine Architecture for Next Generation Routers: Evolutional Trends, In International Journal of Network Protocols and Algorithms, Vol.1, No.1, Macrothink Institute, Las Vegas, Nevada, pp.62-85.
  8. Nucci, A., Papagiannaki, K., 2009. Design, Measurement and Management of Large-Scale IP Networks: Bridging the Gap between Theory and Practice, Cambridge University Press, New York.
  9. Sajdl, O., Bradac, Z., Vrba, R., Sveda, M., 2003. Data Acquisition System Exploiting Bluetooth Technology, In WSEAS Transactions on Circuits, Iss.1, Vol.2, pp.117-119.
  10. Sveda, M., 1993. Routers and Bridges for Small Area Network Interconnection, In Computers in Industry, Vol.22, No.1, Elsevier Science, Amsterdam, NL, pp.25-29.
  11. Sveda, M., Vrba, R., Zezulka, F., 2000. Coupling Architectures for Low-Level Fieldbuses, In Proceedings 7th IEEE ECBS'2000 Conference, Edinburgh, Scotland, IEEE Comp. Soc., pp.148-155.
  12. Sveda, M., Benes, P., Vrba, R., Zezulka, F., 2005. Introduction to Industrial Sensor Networking. Book Chapter in M. Ilyas, I. Mahgoub (Eds.): Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems, CRC Press LLC, Boca Raton, FL, pp.10.1-10.24.
  13. Vrba, R., Sajdl, O., Kuchta, R., Sveda, M., 2004. Wireless Smart Sensor Network System, In Proceedings of the Joint International Systems Engineering Conference (ICSE) and The International Council on Systems Engineering (INCOSE), Las Vegas, Nevada.
  14. ZigBee, 2006. ZigBee Specification. ZigBee Alliance Board of Directors Website http://www.zigbee.org/.
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