A Trusted Model of Complex Computer Networks
DOI:
https://doi.org/10.13052/jicts2245-800X.332Keywords:
computer networks, design documentation, formal models, multilayer networksAbstract
Formal methods based on abstract models are becoming more and more important in the domain of complex computer networks. On the other hand, processes of design documentation transformation into the formal models are still bound to the skills and ingenuity of individual engineers. Moreover, the human factor involved in data transformation represents a major bottleneck due to the tendency of computer networks to be more and more complex. To address this problem, this work introduces a formal model based on the concept of multilayer networks for applying a system methodology to network analysis and an appropriate presentation format of architecture descriptions as a possible part of detailed design documentation that could allow automated generation of trusted formal multilayer models based on this documentation.
Downloads
References
VMware vSphere.
IETF RFC1122 – Requirements for Internet Hosts – Communication Layers, October 1989.
IETF RFC1123 – Requirements for Internet Hosts – Application and Support, October 1989.
ISO/IEC Std 7498-1:1994 – Information technology – Open Systems Interconnection – Basic Reference Model: The Basic Model, 1994.
IEEE Std 1362-1998 (R2007) – IEEE Guide for Information Technology – System Definition – Concept of Operations (ConOps) Document, 2007.
ITU-T Rec L.72 – Databases for optical access network infrastructure, 2008.
ITU-T Rec Z.110-Z.119 – Application of formal description techniques, 2008.
ISO/IEC/IEEE Std 24765:2010(E) – Systems and software engineering – Vocabulary, 2010.
ISO/IEC Std 27005:2011 – Information technology – Security techniques – Information security risk management, 2011.
ISO/IEC/IEEE Std 15289:2011 – Systems and software engineering – Content of life-cycle information products (documentation), 2011.
ITU-T Rec Z.100-Z.109 – Specification and Description Language (SDL), 2011.
ITU-T Rec Z.120-Z.129 – Message Sequence Chart (MSC), 2011.
ITU-T Rec Z.150-Z.159 – User Requirements Notation (URN), 2011.
ISO/IEC/IEEE Std 42010:2011 – Systems and software engineering – Architecture description, 2013.
ITU-T Rec Z.160-Z.179 – Testing and Test Control Notation (TTCN), 2014.
ISO/IEC/IEEE Std 15288:2015 – Systems and software engineering – System life cycle processes, 2015.
Daniel Aceituna, Hyunsook Do, and Sudarshan Srinivasan. A syste- matic approach to transforming system requirements into model checking specifications. In Companion Proceedings of the 36th International Conference on Software Engineering (ICSE Companion 2014), pages 165–174, June 2014.
Reka Albert and Albert-Laszlo Barabasi. Statistical mechanics of complex networks. Rev. Mod. Phys. 74(1):47–97, January 2002.
Christopher Alexander, Sara Ishikawa, Murray Silverstein, Max Jacobson, Ingrid Fiksdahl-King, and Shlomo Angel. A Pattern Language: Towns, Buildings, Construction. Oxford University Press, 1977.
S. Boccaletti, G. Bianconi, R. Criado, C.I. del Genio, J. Gomez-Gardenes, M. Romance, I. Sendina-Nadal, Z. Wang, and M. Zanin. The structure and dynamics of multilayer networks. Physics Reports 544(1):1–122, November 2014.
Dennis M. Buede. The Engineering Design of Systems: Models and Methods. Wiley Publishing, 2nd edition, 2009.
Douglas E. Comer. Internetworking With TCP/IP Volume I: Principles, Protocol, And Architecture. Pearson, 6th edition, 2015.
Manlio De Domenico, Albert Sole-Ribalta, Emanuele Cozzo, Mikko Kivela, Yamir Moreno, Mason A. Porter, Sergio Gomez, and Alex Arenas. Mathematical formulation of multilayer networks. Phys. Rev. X, 3(4):041022, December 2013.
Shaun L. Hummel. Cisco Design Fundamentals: Multilayered Design Approach for Network Engineers. Cisco Press, 1st edition, 2015.
Sean Kandel, Andreas Paepcke, Joseph M. Hellerstein, and Jeffrey Heer. Enterprise data analysis and visualization: An interview study. IEEE Transactions on Visualization and Computer Graphics 18(12): 2917–2926, December 2012.
Vladimir A. Khlevnoy and Andrey A. Shchurov. A formal approach to distributed system security test generation. International Journal of Computer Trends and Technology 16(3):121–127, October 2014.
Mikko Kivela, Alex Arenas, Marc Barthelemy, James P. Gleeson, Yamir Moreno, and Mason A. Porter. Multilayer networks. Journal of Complex Networks 2(3):203–271, July 2014.
Maciej Kurant and Patrick Thiran. Layered complex networks. Phys. Rev. Lett. 96(13):138701, April 2006.
Maciej Kurant, Patrick Thiran, and Patric Hagmann. Error and attack tolerance of layered complex networks. Phys. Rev. E 76(2):026103, August 2007.
James F. Kurose and Keith W. Ross. Computer Networking: A Top-Down Approach. Pearson, 6th edition, 2012.
Nancy G. Leveson. Safeware: system safety and computers. ACM, 1995.
Thomas A. Limoncelli, Christina J. Hogan, and Strata R. Chalup. The Practice of System and Network Administration. Addison Wesley, 2nd edition, 2007.
James D. McCabe. Network Analysis, Architecture, and Design. Morgan Kaufmann, 3rd edition, 2007.
Mark Newman. The structure and function of complex networks. SIAM Review 45(2):167–256, May 2003.
Andrey A. Shchurov. A multilayer model of computer networks. International Journal of Computer Trends and Technology 26(1):12–16, August 2015.
Andrey A. Shchurov and Radek Marik. A formal approach to distributed system tests design. International Journal of Computer and Information Technology 03(4):696–705, July 2014.
Steven H. Strogatz. Exploring complex networks. Nature 410:268–276, March 2001.
Andrew S. Tanenbaum and Maarten van Steen. Distributed Systems: Principles and Paradigms. Prentice Hall Press, 3rd edition, 2013.
Andrew S. Tanenbaum and David J. Wetherall. Computer Networks. Prentice Hall Press, 5th edition, 2011.
Mark Utting, Alexander Pretschner, and Bruno Legeard. A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliab. 22(5): 297–312, August 2012.
Russ White and Denise Donohue. The Art of Network Architecture: Business-Driven Design. Cisco Press, 1st edition, 2014.
Ann Wong-Jiru. Graph Theoretical Analysis of Network-centric Operations Using Multilayer Models. BiblioScholar, 2012.
Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, and John Fitzgerald. Formal methods: Practice and experience. ACM Comput. Surv. 41(4):19:1–19:36, October 2009.
