Intrinsic monitoring using behaviour models in IPv6 networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5844 LNCS, Issue , 2009, Pages 86-99

  Höfig, Edzard ^a   Coşkun, Hakan ^b  

^a FRAUNHOFER FOKUS   (Germany)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Autonomic communication; Behaviour model; Intrinsic monitoring; IPv6; IPv6 extension headers; Network management; State charts

Indexed keywords

AUTONOMIC COMMUNICATIONS; BEHAVIOUR MODEL; BEHAVIOUR MODELS; EXTENSION HEADERS; IPV6; STATE CHARTS;

COMMUNICATION; INTERNET PROTOCOLS;

MONITORING;

EID: 77349122347     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-05006-0_7     Document Type: Conference Paper

References (26)

1. Duffield, N.G., Grossglauser, M.: Trajectory sampling for direct traffic observation. SIGCOMM Comput. Commun. Rev. 30(4), 271-282 (2000)
2. 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)
3. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231-274 (1987)
4. Moestedt, A., Sjödin, P., Köhler, T.: Header processing requirements and implementation complexity for ipv4 routers. White Paper (September 1998)
5. Deering, S., Hinden, R.: Internet Protocol, Version 6 (IPv6) Specification. RFC 2460 (Draft Standard), Updated by RFC 5095 (December 1998)
6. 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)
7. Postel, J.: RFC 791: Internet Protocol (September 1981)
8. 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)
9. 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)
10. 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)
11. Hancock, R., Karagiannis, G., Loughney, J., den Bosch, S.V.: Next Steps in Signaling (NSIS): Framework. RFC 4080 (Informational) (June 2005)
12. Moore, E.: Gedanken-experiments on sequential machines. Automata studies 34, 129-153 (1956)
13. Mealy, G.: A method for synthesizing sequential circuits. Bell System Technical Journal 34(5), 1045-1079 (1955)
14. Hoare, C.A.: Communicating sequential processes. Communications of the ACM (January 1978)
15. Brand, D., Zafiropulo, P.: On communicating finite-state machines. Journal of the Association for Computing Machinery 30(2), 323-342 (1983)
16. 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)
17. 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)
18. 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)
19. 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)
20. Harel, D., Gery, E.: Executable object modeling with statecharts. In: Proceedings of the 18th International Conference on Software Engineering, 1996, pp. 246-257 (1996)
21. World Wide Web Consortium: State Chart XML (SCXML): State machine notation for control abstraction (May 2009)
22. 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)
23. Partridge, C., Jackson, A.: IPv6 router alert option. RFC 2711, Internet Engineering Task Force (October 1999)
24. 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)
25. McCann, J., Deering, S., Mogul, J.: Path MTU Discovery for IP version 6. RFC 1981 (Draft Standard) (August 1996)
26. Omnet++ discrete event simulation system, http://www.omnetpp.org