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 16:12] barakat |
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2009/09/24 16:18] barakat |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| - | Applying Formal Methods for QoS Provisioning in Mobile Architectures | + | ==== Applying Formal Methods for QoS Provisioning in Mobile Architectures ==== |
| - | This project focuses on the application of formal methods to model and manage QoS for Network Mobility. 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. |
| - | {{:forschung:image007.jpg|}} | + | |
| - | Work Plan | + | |
| + | === Work Plan === | ||
| This work consists of two main parts; building the formal model and simulating the NEMO protocol. These parts are to be run in parallel to achieve interdependability between each other. This means that simulation measurements will be used to support theoretic hypothesis made by the formalized description of the QoS problem. On the other hand, formal tools have to be implemented in order to be able to incorporate extensions which in turn will allow making predictions of the behavior of the modeled system in a similar way to simulations. This means that these tools will be designed to be able to generate quantitative as well as qualitative conclusions. | This work consists of two main parts; building the formal model and simulating the NEMO protocol. These parts are to be run in parallel to achieve interdependability between each other. This means that simulation measurements will be used to support theoretic hypothesis made by the formalized description of the QoS problem. On the other hand, formal tools have to be implemented in order to be able to incorporate extensions which in turn will allow making predictions of the behavior of the modeled system in a similar way to simulations. This means that these tools will be designed to be able to generate quantitative as well as qualitative conclusions. | ||
| - | The Formal Model | + | === The Formal Model === |
| <html> | <html> | ||
| Zeile 485: | Zeile 485: | ||
| - | Simulating the Protocol | + | === Simulating the Protocol === |
| - | {{:forschung:image009.jpg|}} | + | {{ :forschung:image009.jpg |Copyright OPNET Technologies, Inc.(r)}} |
| For this purpose OPNET Modeler® is being used under university licensing. This simulator contains a huge library of standardized protocols and devices as well as commercial ones, e.g. MIPv6 and mobile routers. The hierarchical structure of components and their modular design shortens the time required to develop own devices and extend particular protocols. To complete the required infrastructure for performing simulations the following tasks are ahead: | For this purpose OPNET Modeler® is being used under university licensing. This simulator contains a huge library of standardized protocols and devices as well as commercial ones, e.g. MIPv6 and mobile routers. The hierarchical structure of components and their modular design shortens the time required to develop own devices and extend particular protocols. To complete the required infrastructure for performing simulations the following tasks are ahead: | ||
| - | {{:forschung:image011.jpg|}} | + | {{ :forschung:image011.jpg|Copyright OPNET Technologies, Inc.(r)}} |
| * Create a multi-RAT router on which the NEMO BS protocol is going to be run. Multiple RAT interfaces are necessary to study the effect of access technology switching on ongoing data sessions and to test possible QoS enhancements and strategies. This router shares its network layer between the different RATs by setting MIPv6 on top of Link Layer (LL) and Radio Resource Control (RRC) layers of available RATs. Each RAT will have its own physical, MAC, LL, Radio Link Control (RLC) and RRC of its own. On top of MIPv6 NEMO BS is going to be implemented. This structure allows for unified session management and QoS control. For this research, WiFi, WiMAX and LTE are going to be the RATs of our mobile routers. | * Create a multi-RAT router on which the NEMO BS protocol is going to be run. Multiple RAT interfaces are necessary to study the effect of access technology switching on ongoing data sessions and to test possible QoS enhancements and strategies. This router shares its network layer between the different RATs by setting MIPv6 on top of Link Layer (LL) and Radio Resource Control (RRC) layers of available RATs. Each RAT will have its own physical, MAC, LL, Radio Link Control (RLC) and RRC of its own. On top of MIPv6 NEMO BS is going to be implemented. This structure allows for unified session management and QoS control. For this research, WiFi, WiMAX and LTE are going to be the RATs of our mobile routers. | ||