Abstract
In conventional networks, correlating path information to resource utilisation on the granularity of packets is a hard problem when using policy-based traffic handling schemes. We introduce a new approach termed ‘intrinsic monitoring’ which relies on the use of IPv6 extension headers in combination with formal behaviour models to gather resource information along a path. This allows a network monitoring system to delegate monitoring functionality to the network devices themselves, with the result of a drastic reduction in management traffic due to the increased autonomy of the monitoring system. As monitoring information travels in-band with the network traffic, path information remains perfectly accurate.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Duffield, N.G., Grossglauser, M.: Trajectory sampling for direct traffic observation. SIGCOMM Comput. Commun. Rev. 30(4), 271–282 (2000)
Höfig, E., Deussen, P.H.: Document-based network and system management: utilizing autonomic capabilities for enterprise management integration. In: Proc. 2nd International Conference on Autonomic Computing and Communication Systems, pp. 1–10 (2008)
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)
Moestedt, A., Sjödin, P., Köhler, T.: Header processing requirements and implementation complexity for ipv4 routers. White Paper (September 1998)
Deering, S., Hinden, R.: Internet Protocol, Version 6 (IPv6) Specification. RFC 2460 (Draft Standard), Updated by RFC 5095 (December 1998)
Krishnan, S., Woodyatt, J., Kline, E., Hoagland, J.: An uniform format for IPv6 extension headers. Internet-Draft draft-krishnan-ipv6-exthdr-06, Internet Engineering Task Force, Work in progress (October 2008)
Postel, J.: RFC 791: Internet Protocol (September 1981)
Kitamura, H.: Record Route for IPv6 (RR6) Hop-by-Hop Option Extension. Internet-Draft draft-kitamura-ipv6-record-route-00, Internet Engineering Task Force, Work in progress (November 2000)
Pezaros, D., Hutchison, D., Sventek, J., Garcia, F., Gardner, R.: In-line service measurements: an ipv6-based framework for traffic evaluation and network operations. In: Network Operations and Management Symposium, NOMS 2004, April 2004, vol. 1, pp. 497–510. IEEE/IFIP (2004)
Pezaros, D., Sifalakis, M., Schmid, S., Hutchison, D.: Dynamic link measurements using active components. In: Minden, G.J., Calvert, K.L., Solarski, M., Yamamoto, M. (eds.) Active Networks. LNCS, vol. 3912, pp. 188–204. Springer, Heidelberg (2007)
Hancock, R., Karagiannis, G., Loughney, J., den Bosch, S.V.: Next Steps in Signaling (NSIS): Framework. RFC 4080 (Informational) (June 2005)
Moore, E.: Gedanken-experiments on sequential machines. Automata studies 34, 129–153 (1956)
Mealy, G.: A method for synthesizing sequential circuits. Bell System Technical Journal 34(5), 1045–1079 (1955)
Hoare, C.A.: Communicating sequential processes. Communications of the ACM (January 1978)
Brand, D., Zafiropulo, P.: On communicating finite-state machines. Journal of the Association for Computing Machinery 30(2), 323–342 (1983)
Dong, W., Wang, J., Qi, X., Qi, Z.: Model checking UML statecharts. In: Eighth Asia-Pacific on Software Engineering Conference, APSEC 2001, pp. 363–370 (2001)
Latella, D., Majzik, I., Massink, M.: Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing 11(6), 637–664 (1999)
Knapp, A., Merz, S.: Model checking and code generation for UML state machines and collaborations. In: Proceedings of 5th Workshop on Tools for System Design and Verification, Technical Report, vol. 11, pp. 59–64 (2002)
Niaz, I., Tanaka, J.: Code generation from UML statecharts. In: Proc. 7 th IASTED International Conf. on Software Engineering and Application (SEA 2003), pp. 315–321 (2003)
Harel, D., Gery, E.: Executable object modeling with statecharts. In: Proceedings of the 18th International Conference on Software Engineering, 1996, pp. 246–257 (1996)
World Wide Web Consortium: State Chart XML (SCXML): State machine notation for control abstraction (May 2009)
Holzer, R., Meer, H., Bettstetter, C.: On autonomy and emergence in self-organizing systems. In: Hummel, K.A., Sterbenz, J.P.G. (eds.) IWSOS 2008. LNCS, vol. 5343, pp. 157–169. Springer, Heidelberg (2008)
Partridge, C., Jackson, A.: IPv6 router alert option. RFC 2711, Internet Engineering Task Force (October 1999)
Hinnerichs, A., Höfig, E.: An efficient mechanism for matching multiple patterns on XML streams. In: Proc. of the IASTED Int. Conf. on Software Engineering, pp. 164–170 (2007)
McCann, J., Deering, S., Mogul, J.: Path MTU Discovery for IP version 6. RFC 1981 (Draft Standard) (August 1996)
Omnet++ discrete event simulation system, http://www.omnetpp.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Höfig, E., Coşkun, H. (2009). Intrinsic Monitoring Using Behaviour Models in IPv6 Networks. In: Strassner, J.C., Ghamri-Doudane, Y.M. (eds) Modelling Autonomic Communications Environments. MACE 2009. Lecture Notes in Computer Science, vol 5844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05006-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-05006-0_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05005-3
Online ISBN: 978-3-642-05006-0
eBook Packages: Computer ScienceComputer Science (R0)