Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2009/09/24 17:00] barakat |
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2009/09/24 17:23] barakat |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| + | ====== ...::: UNDER CONSTRUCTION :::... ====== | ||
| + | \\ | ||
| + | \\ | ||
| ====== Applying Formal Methods for QoS Provisioning in Mobile Architectures ====== | ====== Applying Formal Methods for QoS Provisioning in Mobile Architectures ====== | ||
| Zeile 6: | Zeile 9: | ||
| This project focuses on the application of formal methods to model and manage QoS for Network Mobility. {{ :forschung:image007.jpg|}}The field of network mobility is gaining ground in telecommunications because of the evolution of broadband technologies and the increasing applications that demand broadband access, e.g. connectivity in public transportation and IMS. Network Mobility is the field that considers sets of mobile devices moving together as one entity with one or more access points which are called mobile routers. These networks are standardized under the IETF-RFC3963 specification also known as NEMO Basic Support, while QoS challenges are described in IETF-RFC4980. NEMO BS is an extension to MIPv6 described under IETF-RFC3775. Mobile routers can possess multiple Radio Access Technologies (RATs) and have to perform real-time operations, e.g. handover, managing binding updates, merging/splitting mobile networks and managing QoS. The intelligent management of mobility, data streams of different QoS requirements and the available RATs makes the formalization of this problem a necessity due to its complexity. The importance of this study comes from the industry focus on network operator’s IP services, especially IMS. NEMO BS provides a solution for this system and at the same time requires investment in research to improve QoS. | This project focuses on the application of formal methods to model and manage QoS for Network Mobility. {{ :forschung:image007.jpg|}}The field of network mobility is gaining ground in telecommunications because of the evolution of broadband technologies and the increasing applications that demand broadband access, e.g. connectivity in public transportation and IMS. Network Mobility is the field that considers sets of mobile devices moving together as one entity with one or more access points which are called mobile routers. These networks are standardized under the IETF-RFC3963 specification also known as NEMO Basic Support, while QoS challenges are described in IETF-RFC4980. NEMO BS is an extension to MIPv6 described under IETF-RFC3775. Mobile routers can possess multiple Radio Access Technologies (RATs) and have to perform real-time operations, e.g. handover, managing binding updates, merging/splitting mobile networks and managing QoS. The intelligent management of mobility, data streams of different QoS requirements and the available RATs makes the formalization of this problem a necessity due to its complexity. The importance of this study comes from the industry focus on network operator’s IP services, especially IMS. NEMO BS provides a solution for this system and at the same time requires investment in research to improve QoS. | ||
| </style> | </style> | ||
| + | |||
| \\ | \\ | ||
| === Work Plan === | === Work Plan === | ||