Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2009/09/24 17:23] barakat |
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2011/10/28 14:37] 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 494: | Zeile 491: | ||
| * It allows quantitatively comparing formal models and making early choices about modifications and improvements. | * It allows quantitatively comparing formal models and making early choices about modifications and improvements. | ||
| * It shortens the software development cycle by limiting the need to go back to the model and make modifications for issues discovered after implementation. | * It shortens the software development cycle by limiting the need to go back to the model and make modifications for issues discovered after implementation. | ||
| + | |||
| + | Our simulator tool SimPiCal can be found [[http://web.embedded.rwth-aachen.de/pical/|here]]. | ||
| </style> | </style> | ||
| Zeile 499: | Zeile 498: | ||
| === Simulating the Protocol === | === Simulating the Protocol === | ||
| \\ | \\ | ||
| - | {{ :forschung:image009.jpg |Copyright OPNET Technologies, Inc.(r)}} | + | \\ |
| + | {{ :en:forschung:opnet.jpg |}} | ||
| + | \\ | ||
| \\ | \\ | ||
| <style justify> | <style justify> | ||
| - | 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. [[http://web.embedded.rwth-aachen.de/opnet/|<more info>]] |
| </style> | </style> | ||
| - | {{ :forschung:image011.jpg |Copyright OPNET Technologies, Inc.(r)}} | ||
| - | <style justify> | + | \\ |
| - | * 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. | + | === Acknowledgement === |
| - | * Create core-network components that will provide the required messaging to perform handover and domain administration. These components are described in 3GPP-23.401 and 3GPP-23.402. These specifications describe network structure for different scenarios (homing or visiting) in addition to mobility management, network selection, network access strategies and QoS provisioning. | + | This work was funded by the DFG Cluster of Excellence on Ultra-high Speed Information and Communication (UMIC), German Research Foundation grant DFG EXC 89. |
| - | * NEMO BS has to be modeled using our extensions of π-Calculus. Afterwards, the protocol can be implemented for simulation based on the prototyped model. This has to be done in this order because strong interdependency between simulation and formalization is required for further study purposes. | + | |
| - | * Extend MIPv6 to include NEMO BS as described in RFC3963 and according to the prototyped π-Calculus model. To allow code-reuse NEMO BS will be written above an abstraction layer that will integrate it with OPNET. | + | |
| - | * Integrate the NEMO BS extension with OPNET. At this point, full functionality of NEMO BS should be available for testing. | + | |
| - | * Create test scenarios for use with simulations. These scenarios will be based on the use cases described in 3GPP-22.259. This document describes use-cases for PANs in IMS for which NEMO BS represents a suitable solution. This particular approach has been chosen in order to keep a close to industry requirements. | + | |
| - | * Collect baseline measurements against which QoS improvements are going to be evaluated. | + | |
| - | * Modify the implementation of NEMO BS to propagate the QoS improvements made using the π-Calculus based model and collect simulation measurements. These measurements will be compared with the baseline results to assess the improvements. In addition, they will be semantically compared to the quantitative attributes of the QoS improved model to see how these results match or differ. | + | |
| - | </style> | + | |
| \\ | \\ | ||