Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
|
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2009/09/24 12:37] barakat angelegt |
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2009/09/24 16:22] barakat |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| - | <html> | + | ==== 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. {{ :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. | ||
| + | |||
| + | === 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. | ||
| + | |||
| + | === The Formal Model === | ||
| + | |||
| + | <html> | ||
| <html xmlns:v="urn:schemas-microsoft-com:vml" | <html xmlns:v="urn:schemas-microsoft-com:vml" | ||
| xmlns:o="urn:schemas-microsoft-com:office:office" | xmlns:o="urn:schemas-microsoft-com:office:office" | ||
| Zeile 13: | Zeile 21: | ||
| <meta name=Generator content="Microsoft Word 12"> | <meta name=Generator content="Microsoft Word 12"> | ||
| <meta name=Originator content="Microsoft Word 12"> | <meta name=Originator content="Microsoft Word 12"> | ||
| - | <link rel=File-List href="Projekt%20webseite-Dateien/filelist.xml"> | + | <link rel=File-List href="πCalculus-Dateien/filelist.xml"> |
| - | <link rel=Edit-Time-Data href="Projekt%20webseite-Dateien/editdata.mso"> | + | |
| - | <!--[if !mso]> | + | |
| - | <style> | + | |
| - | v\:* {behavior:url(#default#VML);} | + | |
| - | o\:* {behavior:url(#default#VML);} | + | |
| - | w\:* {behavior:url(#default#VML);} | + | |
| - | .shape {behavior:url(#default#VML);} | + | |
| - | </style> | + | |
| - | <![endif]--> | + | |
| - | <title>Applying Formal Methods for QoS Provisioning in Mobile Architectures</title> | + | |
| <!--[if gte mso 9]><xml> | <!--[if gte mso 9]><xml> | ||
| <o:DocumentProperties> | <o:DocumentProperties> | ||
| <o:Author>Kamal Barakat</o:Author> | <o:Author>Kamal Barakat</o:Author> | ||
| <o:LastAuthor>Kamal Barakat</o:LastAuthor> | <o:LastAuthor>Kamal Barakat</o:LastAuthor> | ||
| - | <o:Revision>24</o:Revision> | + | <o:Revision>1</o:Revision> |
| - | <o:Created>2009-09-24T09:54:00Z</o:Created> | + | <o:Created>2009-09-24T14:08:00Z</o:Created> |
| - | <o:LastSaved>2009-09-24T10:29:00Z</o:LastSaved> | + | <o:LastSaved>2009-09-24T14:09:00Z</o:LastSaved> |
| - | <o:Pages>2</o:Pages> | + | <o:Pages>1</o:Pages> |
| - | <o:Words>1266</o:Words> | + | <o:Words>1</o:Words> |
| - | <o:Characters>7979</o:Characters> | + | <o:Characters>9</o:Characters> |
| <o:Company>RWTH Aachen</o:Company> | <o:Company>RWTH Aachen</o:Company> | ||
| - | <o:Lines>66</o:Lines> | + | <o:Lines>1</o:Lines> |
| - | <o:Paragraphs>18</o:Paragraphs> | + | <o:Paragraphs>1</o:Paragraphs> |
| - | <o:CharactersWithSpaces>9227</o:CharactersWithSpaces> | + | <o:CharactersWithSpaces>9</o:CharactersWithSpaces> |
| <o:Version>12.00</o:Version> | <o:Version>12.00</o:Version> | ||
| </o:DocumentProperties> | </o:DocumentProperties> | ||
| </xml><![endif]--> | </xml><![endif]--> | ||
| - | <link rel=dataStoreItem href="Projekt%20webseite-Dateien/item0001.xml" | + | <link rel=themeData href="πCalculus-Dateien/themedata.thmx"> |
| - | target="Projekt%20webseite-Dateien/props0002.xml"> | + | <link rel=colorSchemeMapping href="πCalculus-Dateien/colorschememapping.xml"> |
| - | <link rel=themeData href="Projekt%20webseite-Dateien/themedata.thmx"> | + | |
| - | <link rel=colorSchemeMapping | + | |
| - | href="Projekt%20webseite-Dateien/colorschememapping.xml"> | + | |
| <!--[if gte mso 9]><xml> | <!--[if gte mso 9]><xml> | ||
| <w:WordDocument> | <w:WordDocument> | ||
| + | <w:SpellingState>Clean</w:SpellingState> | ||
| + | <w:GrammarState>Clean</w:GrammarState> | ||
| <w:TrackMoves>false</w:TrackMoves> | <w:TrackMoves>false</w:TrackMoves> | ||
| <w:TrackFormatting/> | <w:TrackFormatting/> | ||
| Zeile 344: | Zeile 341: | ||
| </w:LatentStyles> | </w:LatentStyles> | ||
| </xml><![endif]--> | </xml><![endif]--> | ||
| - | |||
| <style> | <style> | ||
| <!-- | <!-- | ||
| /* Font Definitions */ | /* Font Definitions */ | ||
| @font-face | @font-face | ||
| - | {font-family:"MS Mincho"; | ||
| - | panose-1:2 2 6 9 4 2 5 8 3 4; | ||
| - | mso-font-alt:"\FF2D\FF33 \660E\671D"; | ||
| - | mso-font-charset:128; | ||
| - | mso-generic-font-family:modern; | ||
| - | mso-font-pitch:fixed; | ||
| - | mso-font-signature:-1610612033 1757936891 16 0 131231 0;} | ||
| - | @font-face | ||
| {font-family:"Cambria Math"; | {font-family:"Cambria Math"; | ||
| panose-1:2 4 5 3 5 4 6 3 2 4; | panose-1:2 4 5 3 5 4 6 3 2 4; | ||
| Zeile 363: | Zeile 351: | ||
| mso-font-pitch:variable; | mso-font-pitch:variable; | ||
| mso-font-signature:-1610611985 1107304683 0 0 159 0;} | mso-font-signature:-1610611985 1107304683 0 0 159 0;} | ||
| - | @font-face | ||
| - | {font-family:Cambria; | ||
| - | panose-1:2 4 5 3 5 4 6 3 2 4; | ||
| - | mso-font-charset:0; | ||
| - | mso-generic-font-family:roman; | ||
| - | mso-font-pitch:variable; | ||
| - | mso-font-signature:-1610611985 1073741899 0 0 159 0;} | ||
| @font-face | @font-face | ||
| {font-family:Calibri; | {font-family:Calibri; | ||
| Zeile 377: | Zeile 358: | ||
| mso-font-pitch:variable; | mso-font-pitch:variable; | ||
| mso-font-signature:-1610611985 1073750139 0 0 159 0;} | mso-font-signature:-1610611985 1073750139 0 0 159 0;} | ||
| - | @font-face | ||
| - | {font-family:Tahoma; | ||
| - | panose-1:2 11 6 4 3 5 4 4 2 4; | ||
| - | mso-font-charset:0; | ||
| - | mso-generic-font-family:swiss; | ||
| - | mso-font-pitch:variable; | ||
| - | mso-font-signature:1627400839 -2147483648 8 0 66047 0;} | ||
| - | @font-face | ||
| - | {font-family:"Arial Black"; | ||
| - | panose-1:2 11 10 4 2 1 2 2 2 4; | ||
| - | mso-font-charset:0; | ||
| - | mso-generic-font-family:swiss; | ||
| - | mso-font-pitch:variable; | ||
| - | mso-font-signature:647 0 0 0 159 0;} | ||
| @font-face | @font-face | ||
| {font-family:"Bradley Hand ITC"; | {font-family:"Bradley Hand ITC"; | ||
| Zeile 405: | Zeile 372: | ||
| mso-font-pitch:variable; | mso-font-pitch:variable; | ||
| mso-font-signature:3 0 0 0 1 0;} | mso-font-signature:3 0 0 0 1 0;} | ||
| - | @font-face | ||
| - | {font-family:"\@MS Mincho"; | ||
| - | panose-1:2 2 6 9 4 2 5 8 3 4; | ||
| - | mso-font-charset:128; | ||
| - | mso-generic-font-family:modern; | ||
| - | mso-font-pitch:fixed; | ||
| - | mso-font-signature:-1610612033 1757936891 16 0 131231 0;} | ||
| - | @font-face | ||
| - | {font-family:Aharoni; | ||
| - | panose-1:0 0 0 0 0 0 0 0 0 0; | ||
| - | mso-font-charset:177; | ||
| - | mso-generic-font-family:auto; | ||
| - | mso-font-pitch:variable; | ||
| - | mso-font-signature:2049 0 0 0 32 0;} | ||
| /* Style Definitions */ | /* Style Definitions */ | ||
| p.MsoNormal, li.MsoNormal, div.MsoNormal | p.MsoNormal, li.MsoNormal, div.MsoNormal | ||
| Zeile 424: | Zeile 377: | ||
| mso-style-qformat:yes; | mso-style-qformat:yes; | ||
| mso-style-parent:""; | mso-style-parent:""; | ||
| - | margin:0cm; | ||
| - | margin-bottom:.0001pt; | ||
| - | mso-pagination:widow-orphan; | ||
| - | font-size:12.0pt; | ||
| - | font-family:"Times New Roman","serif"; | ||
| - | mso-fareast-font-family:"MS Mincho"; | ||
| - | mso-ansi-language:EN-US; | ||
| - | mso-fareast-language:JA;} | ||
| - | h1 | ||
| - | {mso-style-priority:9; | ||
| - | mso-style-unhide:no; | ||
| - | mso-style-qformat:yes; | ||
| - | mso-style-link:"Überschrift 1 Zchn"; | ||
| - | mso-style-next:Standard; | ||
| - | margin-top:24.0pt; | ||
| - | margin-right:0cm; | ||
| - | margin-bottom:0cm; | ||
| - | margin-left:0cm; | ||
| - | margin-bottom:.0001pt; | ||
| - | mso-pagination:widow-orphan lines-together; | ||
| - | page-break-after:avoid; | ||
| - | mso-outline-level:1; | ||
| - | font-size:14.0pt; | ||
| - | font-family:"Cambria","serif"; | ||
| - | mso-ascii-font-family:Cambria; | ||
| - | mso-ascii-theme-font:major-latin; | ||
| - | mso-fareast-font-family:"Times New Roman"; | ||
| - | mso-fareast-theme-font:major-fareast; | ||
| - | mso-hansi-font-family:Cambria; | ||
| - | mso-hansi-theme-font:major-latin; | ||
| - | mso-bidi-font-family:"Times New Roman"; | ||
| - | mso-bidi-theme-font:major-bidi; | ||
| - | color:#365F91; | ||
| - | mso-themecolor:accent1; | ||
| - | mso-themeshade:191; | ||
| - | mso-font-kerning:0pt; | ||
| - | mso-ansi-language:EN-US; | ||
| - | mso-fareast-language:JA;} | ||
| - | h2 | ||
| - | {mso-style-priority:9; | ||
| - | mso-style-qformat:yes; | ||
| - | mso-style-link:"Überschrift 2 Zchn"; | ||
| - | mso-style-next:Standard; | ||
| - | margin-top:12.0pt; | ||
| - | margin-right:0cm; | ||
| - | margin-bottom:3.0pt; | ||
| - | margin-left:0cm; | ||
| - | line-height:115%; | ||
| - | mso-pagination:widow-orphan; | ||
| - | page-break-after:avoid; | ||
| - | mso-outline-level:2; | ||
| - | font-size:14.0pt; | ||
| - | font-family:"Cambria","serif"; | ||
| - | mso-fareast-font-family:"Times New Roman"; | ||
| - | mso-bidi-font-family:"Times New Roman"; | ||
| - | mso-fareast-language:EN-US; | ||
| - | font-style:italic;} | ||
| - | p.MsoCaption, li.MsoCaption, div.MsoCaption | ||
| - | {mso-style-priority:35; | ||
| - | mso-style-qformat:yes; | ||
| - | mso-style-next:Standard; | ||
| margin-top:0cm; | margin-top:0cm; | ||
| margin-right:0cm; | margin-right:0cm; | ||
| margin-bottom:10.0pt; | margin-bottom:10.0pt; | ||
| margin-left:0cm; | margin-left:0cm; | ||
| + | line-height:115%; | ||
| mso-pagination:widow-orphan; | mso-pagination:widow-orphan; | ||
| - | font-size:9.0pt; | + | font-size:11.0pt; |
| - | font-family:"Times New Roman","serif"; | + | font-family:"Calibri","sans-serif"; |
| - | mso-fareast-font-family:"MS Mincho"; | + | mso-ascii-font-family:Calibri; |
| - | color:#4F81BD; | + | mso-ascii-theme-font:minor-latin; |
| - | mso-themecolor:accent1; | + | mso-fareast-font-family:Calibri; |
| - | mso-ansi-language:EN-US; | + | mso-fareast-theme-font:minor-latin; |
| - | mso-fareast-language:JA; | + | mso-hansi-font-family:Calibri; |
| - | font-weight:bold;} | + | mso-hansi-theme-font:minor-latin; |
| - | a:link, span.MsoHyperlink | + | mso-bidi-font-family:Arial; |
| - | {mso-style-noshow:yes; | + | mso-bidi-theme-font:minor-bidi; |
| - | mso-style-priority:99; | + | mso-fareast-language:EN-US;} |
| - | color:blue; | + | |
| - | mso-themecolor:hyperlink; | + | |
| - | text-decoration:underline; | + | |
| - | text-underline:single;} | + | |
| - | a:visited, span.MsoHyperlinkFollowed | + | |
| - | {mso-style-noshow:yes; | + | |
| - | mso-style-priority:99; | + | |
| - | color:purple; | + | |
| - | mso-themecolor:followedhyperlink; | + | |
| - | text-decoration:underline; | + | |
| - | text-underline:single;} | + | |
| - | p.MsoAcetate, li.MsoAcetate, div.MsoAcetate | + | |
| - | {mso-style-noshow:yes; | + | |
| - | mso-style-priority:99; | + | |
| - | mso-style-link:"Sprechblasentext Zchn"; | + | |
| - | margin:0cm; | + | |
| - | margin-bottom:.0001pt; | + | |
| - | mso-pagination:widow-orphan; | + | |
| - | font-size:8.0pt; | + | |
| - | font-family:"Tahoma","sans-serif"; | + | |
| - | mso-fareast-font-family:"MS Mincho"; | + | |
| - | mso-ansi-language:EN-US; | + | |
| - | mso-fareast-language:JA;} | + | |
| - | span.berschrift1Zchn | + | |
| - | {mso-style-name:"Überschrift 1 Zchn"; | + | |
| - | mso-style-priority:9; | + | |
| - | mso-style-unhide:no; | + | |
| - | mso-style-locked:yes; | + | |
| - | mso-style-link:"Überschrift 1"; | + | |
| - | mso-ansi-font-size:14.0pt; | + | |
| - | mso-bidi-font-size:14.0pt; | + | |
| - | font-family:"Cambria","serif"; | + | |
| - | mso-ascii-font-family:Cambria; | + | |
| - | mso-ascii-theme-font:major-latin; | + | |
| - | mso-fareast-font-family:"Times New Roman"; | + | |
| - | mso-fareast-theme-font:major-fareast; | + | |
| - | mso-hansi-font-family:Cambria; | + | |
| - | mso-hansi-theme-font:major-latin; | + | |
| - | mso-bidi-font-family:"Times New Roman"; | + | |
| - | mso-bidi-theme-font:major-bidi; | + | |
| - | color:#365F91; | + | |
| - | mso-themecolor:accent1; | + | |
| - | mso-themeshade:191; | + | |
| - | mso-ansi-language:EN-US; | + | |
| - | mso-fareast-language:JA; | + | |
| - | font-weight:bold;} | + | |
| - | span.berschrift2Zchn | + | |
| - | {mso-style-name:"Überschrift 2 Zchn"; | + | |
| - | mso-style-priority:9; | + | |
| - | mso-style-unhide:no; | + | |
| - | mso-style-locked:yes; | + | |
| - | mso-style-link:"Überschrift 2"; | + | |
| - | mso-ansi-font-size:14.0pt; | + | |
| - | mso-bidi-font-size:14.0pt; | + | |
| - | font-family:"Cambria","serif"; | + | |
| - | mso-ascii-font-family:Cambria; | + | |
| - | mso-fareast-font-family:"Times New Roman"; | + | |
| - | mso-hansi-font-family:Cambria; | + | |
| - | mso-bidi-font-family:"Times New Roman"; | + | |
| - | font-weight:bold; | + | |
| - | font-style:italic;} | + | |
| - | span.SprechblasentextZchn | + | |
| - | {mso-style-name:"Sprechblasentext Zchn"; | + | |
| - | mso-style-noshow:yes; | + | |
| - | mso-style-priority:99; | + | |
| - | mso-style-unhide:no; | + | |
| - | mso-style-locked:yes; | + | |
| - | mso-style-link:Sprechblasentext; | + | |
| - | mso-ansi-font-size:8.0pt; | + | |
| - | mso-bidi-font-size:8.0pt; | + | |
| - | font-family:"Tahoma","sans-serif"; | + | |
| - | mso-ascii-font-family:Tahoma; | + | |
| - | mso-fareast-font-family:"MS Mincho"; | + | |
| - | mso-hansi-font-family:Tahoma; | + | |
| - | mso-bidi-font-family:Tahoma; | + | |
| - | mso-ansi-language:EN-US; | + | |
| - | mso-fareast-language:JA;} | + | |
| .MsoChpDefault | .MsoChpDefault | ||
| {mso-style-type:export-only; | {mso-style-type:export-only; | ||
| mso-default-props:yes; | mso-default-props:yes; | ||
| - | font-size:10.0pt; | ||
| - | mso-ansi-font-size:10.0pt; | ||
| - | mso-bidi-font-size:10.0pt; | ||
| mso-ascii-font-family:Calibri; | mso-ascii-font-family:Calibri; | ||
| mso-ascii-theme-font:minor-latin; | mso-ascii-theme-font:minor-latin; | ||
| Zeile 590: | Zeile 403: | ||
| mso-hansi-font-family:Calibri; | mso-hansi-font-family:Calibri; | ||
| mso-hansi-theme-font:minor-latin; | mso-hansi-theme-font:minor-latin; | ||
| - | mso-bidi-font-family:"Times New Roman"; | + | mso-bidi-font-family:Arial; |
| mso-bidi-theme-font:minor-bidi; | mso-bidi-theme-font:minor-bidi; | ||
| mso-fareast-language:EN-US;} | mso-fareast-language:EN-US;} | ||
| + | .MsoPapDefault | ||
| + | {mso-style-type:export-only; | ||
| + | margin-bottom:10.0pt; | ||
| + | line-height:115%;} | ||
| @page Section1 | @page Section1 | ||
| {size:595.3pt 841.9pt; | {size:595.3pt 841.9pt; | ||
| Zeile 601: | Zeile 418: | ||
| div.Section1 | div.Section1 | ||
| {page:Section1;} | {page:Section1;} | ||
| - | /* List Definitions */ | ||
| - | @list l0 | ||
| - | {mso-list-id:736167216; | ||
| - | mso-list-type:hybrid; | ||
| - | mso-list-template-ids:1693595538 67567617 67567619 67567621 67567617 67567619 67567621 67567617 67567619 67567621;} | ||
| - | @list l0:level1 | ||
| - | {mso-level-number-format:bullet; | ||
| - | mso-level-text:\F0B7; | ||
| - | mso-level-tab-stop:none; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt; | ||
| - | font-family:Symbol;} | ||
| - | @list l0:level2 | ||
| - | {mso-level-tab-stop:72.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l0:level3 | ||
| - | {mso-level-tab-stop:108.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l0:level4 | ||
| - | {mso-level-tab-stop:144.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l0:level5 | ||
| - | {mso-level-tab-stop:180.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l0:level6 | ||
| - | {mso-level-tab-stop:216.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l0:level7 | ||
| - | {mso-level-tab-stop:252.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l0:level8 | ||
| - | {mso-level-tab-stop:288.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l0:level9 | ||
| - | {mso-level-tab-stop:324.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1 | ||
| - | {mso-list-id:756679102; | ||
| - | mso-list-type:hybrid; | ||
| - | mso-list-template-ids:782923292 67567617 67567619 67567621 67567617 67567619 67567621 67567617 67567619 67567621;} | ||
| - | @list l1:level1 | ||
| - | {mso-level-number-format:bullet; | ||
| - | mso-level-text:\F0B7; | ||
| - | mso-level-tab-stop:none; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt; | ||
| - | font-family:Symbol;} | ||
| - | @list l1:level2 | ||
| - | {mso-level-tab-stop:72.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1:level3 | ||
| - | {mso-level-tab-stop:108.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1:level4 | ||
| - | {mso-level-tab-stop:144.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1:level5 | ||
| - | {mso-level-tab-stop:180.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1:level6 | ||
| - | {mso-level-tab-stop:216.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1:level7 | ||
| - | {mso-level-tab-stop:252.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1:level8 | ||
| - | {mso-level-tab-stop:288.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1:level9 | ||
| - | {mso-level-tab-stop:324.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2 | ||
| - | {mso-list-id:2141721082; | ||
| - | mso-list-type:hybrid; | ||
| - | mso-list-template-ids:-1980831990 67567617 67567619 67567621 67567617 67567619 67567621 67567617 67567619 67567621;} | ||
| - | @list l2:level1 | ||
| - | {mso-level-number-format:bullet; | ||
| - | mso-level-text:\F0B7; | ||
| - | mso-level-tab-stop:none; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt; | ||
| - | font-family:Symbol;} | ||
| - | @list l2:level2 | ||
| - | {mso-level-tab-stop:72.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2:level3 | ||
| - | {mso-level-tab-stop:108.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2:level4 | ||
| - | {mso-level-tab-stop:144.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2:level5 | ||
| - | {mso-level-tab-stop:180.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2:level6 | ||
| - | {mso-level-tab-stop:216.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2:level7 | ||
| - | {mso-level-tab-stop:252.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2:level8 | ||
| - | {mso-level-tab-stop:288.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2:level9 | ||
| - | {mso-level-tab-stop:324.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | ol | ||
| - | {margin-bottom:0cm;} | ||
| - | ul | ||
| - | {margin-bottom:0cm;} | ||
| --> | --> | ||
| </style> | </style> | ||
| Zeile 749: | Zeile 432: | ||
| mso-style-parent:""; | mso-style-parent:""; | ||
| mso-padding-alt:0cm 5.4pt 0cm 5.4pt; | mso-padding-alt:0cm 5.4pt 0cm 5.4pt; | ||
| - | mso-para-margin:0cm; | + | mso-para-margin-top:0cm; |
| - | mso-para-margin-bottom:.0001pt; | + | mso-para-margin-right:0cm; |
| - | mso-pagination:widow-orphan; | + | mso-para-margin-bottom:10.0pt; |
| - | font-size:10.0pt; | + | mso-para-margin-left:0cm; |
| - | font-family:"Calibri","sans-serif"; | + | line-height:115%; |
| - | mso-ascii-font-family:Calibri; | + | |
| - | mso-ascii-theme-font:minor-latin; | + | |
| - | mso-hansi-font-family:Calibri; | + | |
| - | mso-hansi-theme-font:minor-latin; | + | |
| - | mso-fareast-language:EN-US;} | + | |
| - | table.MsoTableGrid | + | |
| - | {mso-style-name:Tabellengitternetz; | + | |
| - | mso-tstyle-rowband-size:0; | + | |
| - | mso-tstyle-colband-size:0; | + | |
| - | mso-style-priority:59; | + | |
| - | mso-style-unhide:no; | + | |
| - | border:solid black 1.0pt; | + | |
| - | mso-border-themecolor:text1; | + | |
| - | mso-border-alt:solid black .5pt; | + | |
| - | mso-border-themecolor:text1; | + | |
| - | mso-padding-alt:0cm 5.4pt 0cm 5.4pt; | + | |
| - | mso-border-insideh:.5pt solid black; | + | |
| - | mso-border-insideh-themecolor:text1; | + | |
| - | mso-border-insidev:.5pt solid black; | + | |
| - | mso-border-insidev-themecolor:text1; | + | |
| - | mso-para-margin:0cm; | + | |
| - | mso-para-margin-bottom:.0001pt; | + | |
| mso-pagination:widow-orphan; | mso-pagination:widow-orphan; | ||
| font-size:11.0pt; | font-size:11.0pt; | ||
| Zeile 786: | Zeile 447: | ||
| </style> | </style> | ||
| <![endif]--><!--[if gte mso 9]><xml> | <![endif]--><!--[if gte mso 9]><xml> | ||
| - | <o:shapedefaults v:ext="edit" spidmax="6146"/> | + | <o:shapedefaults v:ext="edit" spidmax="2050"/> |
| </xml><![endif]--><!--[if gte mso 9]><xml> | </xml><![endif]--><!--[if gte mso 9]><xml> | ||
| <o:shapelayout v:ext="edit"> | <o:shapelayout v:ext="edit"> | ||
| Zeile 793: | Zeile 454: | ||
| </head> | </head> | ||
| - | <body lang=DE link=blue vlink=purple style='tab-interval:35.4pt'> | + | <body lang=DE style='tab-interval:35.4pt'> |
| <div class=Section1> | <div class=Section1> | ||
| - | <div align=center> | + | <p class=MsoNormal align=center style='text-align:center'><span |
| + | style='font-size:100.0pt;line-height:115%;font-family:"Bradley Hand ITC"; | ||
| + | mso-bidi-font-family:Arial;color:#0070C0'>π</span><b><span | ||
| + | style='font-size:28.0pt;line-height:115%;font-family:"Script MT Bold"; | ||
| + | mso-bidi-font-family:Arial'>Calculus</span></b></p> | ||
| - | <table class=MsoTableGrid border=0 cellspacing=0 cellpadding=0 width="100%" | + | </div> |
| - | style='width:100.0%;border-collapse:collapse;border:none;mso-yfti-tbllook: | + | |
| - | 1184;mso-padding-alt:0cm 2.0cm 0cm 2.0cm;mso-border-insideh:none;mso-border-insidev: | + | |
| - | none'> | + | |
| - | <tr style='mso-yfti-irow:0;mso-yfti-firstrow:yes'> | + | |
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <h1><span lang=EN-US style='font-size:22.0pt'>Applying Formal Methods for QoS | + | |
| - | Provisioning in Mobile Architectures<o:p></o:p></span></h1> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><!--[if gte vml 1]><v:shapetype | + | </body> |
| - | id="_x0000_t75" coordsize="21600,21600" o:spt="75" o:preferrelative="t" | + | |
| - | path="m@4@5l@4@11@9@11@9@5xe" filled="f" stroked="f"> | + | |
| - | <v:stroke joinstyle="miter"/> | + | |
| - | <v:formulas> | + | |
| - | <v:f eqn="if lineDrawn pixelLineWidth 0"/> | + | |
| - | <v:f eqn="sum @0 1 0"/> | + | |
| - | <v:f eqn="sum 0 0 @1"/> | + | |
| - | <v:f eqn="prod @2 1 2"/> | + | |
| - | <v:f eqn="prod @3 21600 pixelWidth"/> | + | |
| - | <v:f eqn="prod @3 21600 pixelHeight"/> | + | |
| - | <v:f eqn="sum @0 0 1"/> | + | |
| - | <v:f eqn="prod @6 1 2"/> | + | |
| - | <v:f eqn="prod @7 21600 pixelWidth"/> | + | |
| - | <v:f eqn="sum @8 21600 0"/> | + | |
| - | <v:f eqn="prod @7 21600 pixelHeight"/> | + | |
| - | <v:f eqn="sum @10 21600 0"/> | + | |
| - | </v:formulas> | + | |
| - | <v:path o:extrusionok="f" gradientshapeok="t" o:connecttype="rect"/> | + | |
| - | <o:lock v:ext="edit" aspectratio="t"/> | + | |
| - | </v:shapetype><v:shape id="Bild_x0020_14" o:spid="_x0000_s1055" type="#_x0000_t75" | + | |
| - | alt="komplex" style='position:absolute;left:0;text-align:left;margin-left:151.25pt; | + | |
| - | margin-top:12.4pt;width:191.25pt;height:176.25pt;z-index:2;visibility:visible; | + | |
| - | mso-wrap-style:square;mso-wrap-distance-left:28.35pt; | + | |
| - | mso-wrap-distance-top:14.2pt;mso-wrap-distance-right:28.35pt; | + | |
| - | mso-wrap-distance-bottom:14.2pt;mso-position-horizontal:right; | + | |
| - | mso-position-horizontal-relative:text;mso-position-vertical:absolute; | + | |
| - | mso-position-vertical-relative:text'> | + | |
| - | <v:imagedata src="image001.jpg" o:title="komplex"/> | + | |
| - | <w:wrap type="square" side="left"/> | + | |
| - | </v:shape><![endif]--><![if !vml]><img width=255 height=235 | + | |
| - | src="image007.jpg" align=right hspace=38 | + | |
| - | vspace=19 alt=komplex v:shapes="Bild_x0020_14"><![endif]><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'>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.<o:p></o:p></span></p> | + | |
| - | </td> | + | |
| - | </tr> | + | |
| - | <tr style='mso-yfti-irow:1'> | + | |
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <h2 style='margin-bottom:6.0pt;text-align:justify'><span lang=EN-US | + | |
| - | style='font-family:"Arial","sans-serif";mso-ansi-language:EN-US'>Work Plan<o:p></o:p></span></h2> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'>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. 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<span style='mso-no-proof: | + | |
| - | yes'> </span><span style='mso-spacerun:yes'> </span>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.<o:p></o:p></span></p> | + | |
| - | </td> | + | </html> |
| - | </tr> | + | |
| - | <tr style='mso-yfti-irow:2'> | + | |
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <h2 style='margin-bottom:6.0pt;text-align:justify'><span lang=EN-US | + | |
| - | style='font-family:"Arial","sans-serif";mso-ansi-language:EN-US'>The Formal | + | |
| - | Model<o:p></o:p></span></h2> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | <p class=MsoNormal align=center style='margin-bottom:6.0pt;text-align:center'><span | + | |
| - | lang=EN-US style='font-size:100.0pt;font-family:"Bradley Hand ITC"; | + | |
| - | mso-bidi-font-family:Arial;color:#0070C0'>π</span><b><span lang=EN-US | + | |
| - | style='font-size:28.0pt;font-family:"Script MT Bold";mso-bidi-font-family: | + | |
| - | Arial'>Calculus</span></b><span lang=EN-US style='font-size:72.0pt; | + | |
| - | font-family:"Bradley Hand ITC";mso-bidi-font-family:Arial'><o:p></o:p></span></p> | + | |
| - | </td> | + | |
| - | </tr> | ||
| - | <tr style='mso-yfti-irow:3'> | ||
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Π-Calculus | ||
| - | is a modeling formality that focuses on communicating processes. It offers | ||
| - | firm representation of connectivity and messaging using math-like | ||
| - | expressions. Π-Calculus had initially a monadic syntax where single | ||
| - | arguments are passed through channels. Later on, polyadic π-Calculus was | ||
| - | introduced to allow pushing sets of arguments at once over the communication | ||
| - | channels. Process replication was also introduced. In the higher order | ||
| - | π-Calculus, process names can be exchanged through the channels too. | ||
| - | Some research uses available syntax to express problems like QoS while others | ||
| - | ground their own flavor of it by introducing modifications to the syntax like | ||
| - | spi-Calculus which is specifically suitable for cryptology. One more example | ||
| - | is Ambient-Calculus which concerns itself with defining computation domains | ||
| - | or ambiences where communication between local processes happens within its | ||
| - | boundary, ambiences can move and communication crossing the border is | ||
| - | analogous to crossing firewalls. The extensibility, expressiveness, | ||
| - | flexibility and firm formality of π-Calculus make it the most suitable | ||
| - | tool for modeling communication protocols and prototypes of enhancements. | ||
| - | This work aims to make further contributions to π-Calculus in order to | ||
| - | achieve the following:</span><span lang=EN-US style='font-size:10.0pt; | ||
| - | font-family:"Arial","sans-serif";mso-fareast-language:DE;mso-no-proof:yes'> <o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | Π-Calculus is a modeling formality that focuses on communicating processes. It offers firm representation of connectivity and messaging using math-like expressions. Π-Calculus had initially a monadic syntax where single arguments are passed through channels. Later on, polyadic π-Calculus was introduced to allow pushing sets of arguments at once over the communication channels. Process replication was also introduced. In the higher order π-Calculus, process names can be exchanged through the channels too. Some research uses available syntax to express problems like QoS while others ground their own flavor of it by introducing modifications to the syntax like spi-Calculus which is specifically suitable for cryptology. One more example is Ambient-Calculus which concerns itself with defining computation domains or ambiences where communication between local processes happens within its boundary, ambiences can move and communication crossing the border is analogous to crossing firewalls. The extensibility, expressiveness, flexibility and firm formality of π-Calculus make it the most suitable tool for modeling communication protocols and prototypes of enhancements. This work aims to make further contributions to π-Calculus in order to achieve the following: |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span | + | * Π-Calculus is founded on the principle of state automata. Consequently, processes in π-Calculus interact and switch their states upon reception of messages over communication channels, which means that message reception among processes triggers the interaction and causes the system to evolve. However, modeling real-world systems needs more than that. The notion of time is currently unavailable in the syntax of π-Calculus, which makes it unsuitable for performing simulations in which particular events take place at certain points of time, e.g. time-out events. In this work we aim to introduce a new component in the syntax of π-Calculus to enable it to model timed events. |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | * Π-Calculus is suitable for deducing qualitative conclusions about processes’ interaction and states. However, more meaningful verification results can be made when quantitative conclusions are made from the π-Calculus model such as bandwidth utilization and power consumption. This can be done if the notion of time was present in the model. Available tools for π-Calculus have limitations to be covered, e.g. polyadic π-Calculus has to be supported in order to be able to model process replication. Otherwise, polyadic systems have to be downgraded to monadic syntax which is unrealistic for complex systems. |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | * There have been models suggested about using π-Calculus to model QoS supervision in telecommunication networks. As our work touches the foundations of π-Calculus, we would like to see how these changes will affect the suggested models and how we can improve them. |
| - | style='font:7.0pt "Times New Roman"'>         | + | * A π-Calculus model for NEMO BS has to be built as described in RFC3963. Software development of the protocol under the simulation tool and QoS enhancements should be based on this model. This is important to ensure strong analogy interrelationships between simulation measurements and the qualitative deductions made from the formal model. |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | * Depending on the interdependency between simulation and formal model verification results further studies can evolve to explain observed phenomena and try to set rules to make this relation deterministic. |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Π-Calculus is | + | |
| - | founded on the principle of state automata. Consequently, processes in | + | |
| - | π-Calculus interact and switch their states upon reception of messages | + | |
| - | over communication channels, which means that message reception among | + | |
| - | processes triggers the interaction and causes the system to evolve. However, | + | |
| - | modeling real-world systems needs more than that. The notion of time is | + | |
| - | currently unavailable in the syntax of π-Calculus, which makes it | + | |
| - | unsuitable for performing simulations in which particular events take place | + | |
| - | at certain points of time, e.g. time-out events. In this work we aim to | + | |
| - | introduce a new component in the syntax of π-Calculus to enable it to | + | |
| - | model timed events.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Π-Calculus is | + | |
| - | suitable for deducing qualitative conclusions about processes’ interaction | + | |
| - | and states. However, more meaningful verification results can be made when | + | |
| - | quantitative conclusions are made from the π-Calculus model such as | + | |
| - | bandwidth utilization and power consumption. This can be done if the notion | + | |
| - | of time was present in the model. Available tools for π-Calculus have | + | |
| - | limitations to be covered, e.g. polyadic π-Calculus has to be supported | + | |
| - | in order to be able to model process replication. Otherwise, polyadic systems | + | |
| - | have to be downgraded to monadic syntax which is unrealistic for complex | + | |
| - | systems.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | The ability to make realistic assessments of modeled systems before the implementation phase using formal model checking techniques has several advantages: |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span | + | * It will be possible on basis of the qualitative attributes of the suggested model to judge whether it answers the requirements it is meant to satisfy. |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | * It allows quantitatively comparing formal models and making early choices about modifications and improvements. |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | * It shortens the software development cycle by limiting the need to go back to the model and make modifications for issues discovered after implementation. |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>There have been | + | |
| - | models suggested about using π-Calculus to model QoS supervision in | + | |
| - | telecommunication networks. As our work touches the foundations of | + | |
| - | π-Calculus, we would like to see how these changes will affect the | + | |
| - | suggested models and how we can improve them.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>A π-Calculus | + | |
| - | model for NEMO BS has to be built as described in RFC3963. Software | + | |
| - | development of the protocol under the simulation tool and QoS enhancements | + | |
| - | should be based on this model. This is important to ensure strong analogy | + | |
| - | interrelationships between simulation measurements and the qualitative | + | |
| - | deductions made from the formal model.<span style='mso-spacerun:yes'> | + | |
| - | </span><o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Depending on the | ||
| - | interdependency between simulation and formal model verification results | ||
| - | further studies can evolve to explain observed phenomena and try to set rules | ||
| - | to make this relation deterministic.<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'>The | ||
| - | ability to make realistic assessments of modeled systems before the | ||
| - | implementation phase using formal model checking techniques has several | ||
| - | advantages:<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l0 level1 lfo4'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>It will be possible | ||
| - | on basis of the qualitative attributes of the suggested model to judge | ||
| - | whether it answers the requirements it is meant to satisfy.<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l0 level1 lfo4'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | === Simulating the Protocol === |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>It allows | + | |
| - | quantitatively comparing formal models and making early choices about | + | |
| - | modifications and improvements.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l0 level1 lfo4'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>It shortens the | + | |
| - | software development cycle by limiting the need to go back to the model and | + | |
| - | make modifications for issues discovered after implementation.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | </td> | + | |
| - | </tr> | + | |
| - | <tr style='mso-yfti-irow:4'> | + | {{ :forschung:image009.jpg |Copyright OPNET Technologies, Inc.(r)}} |
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <h2 style='margin-bottom:6.0pt;text-align:justify'><span lang=EN-US | + | |
| - | style='font-family:"Arial","sans-serif";mso-ansi-language:EN-US'>Simulating | + | |
| - | the Protocol<o:p></o:p></span></h2> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | <p class=MsoNormal align=center style='margin-bottom:6.0pt;text-align:center'><b><span | + | |
| - | style='font-size:48.0pt;font-family:"Arial Black","sans-serif";mso-bidi-font-family: | + | |
| - | Aharoni;mso-ansi-language:DE;mso-fareast-language:DE;mso-no-proof:yes'><!--[if gte vml 1]><v:shape | + | |
| - | id="Bild_x0020_15" o:spid="_x0000_i1025" type="#_x0000_t75" style='width:231pt; | + | |
| - | height:45.75pt;visibility:visible;mso-wrap-style:square'> | + | |
| - | <v:imagedata src="image008.png" o:title=""/> | + | |
| - | </v:shape><![endif]--><![if !vml]><img width=308 height=61 | + | |
| - | src="image009.jpg" v:shapes="Bild_x0020_15"><![endif]></span></b><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p></o:p></span></p> | + | |
| - | <h2 style='margin-bottom:6.0pt;text-align:justify'><span lang=EN-US | + | |
| - | style='font-size:10.0pt;line-height:115%;font-family:"Arial","sans-serif"; | + | |
| - | mso-ansi-language:EN-US'><o:p> </o:p></span></h2> | + | |
| - | </td> | + | 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: |
| - | </tr> | + | |
| - | <tr style='mso-yfti-irow:5'> | + | |
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'>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:</span><span lang=EN-US style='font-size:1.0pt;mso-fareast-font-family: | + | |
| - | "Times New Roman";color:black;background:black;mso-ansi-language:X-NONE; | + | |
| - | mso-fareast-language:X-NONE;mso-bidi-language:X-NONE;layout-grid-mode:line'> </span><span | + | |
| - | style='font-size:1.0pt;mso-fareast-font-family:"Times New Roman";color:black; | + | |
| - | background:black;mso-ansi-language:DE;mso-fareast-language:X-NONE;mso-bidi-language: | + | |
| - | X-NONE;layout-grid-mode:line'><o:p></o:p></span></p> | + | |
| - | </td> | + | |
| - | </tr> | + | |
| - | <tr style='mso-yfti-irow:6'> | + | |
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | {{ :forschung:image011.jpg |Copyright OPNET Technologies, Inc.(r)}} |
| - | <h2 align=center style='margin-bottom:6.0pt;text-align:center;mso-outline-level: | + | |
| - | 2'><!--[if gte vml 1]><o:wrapblock><v:shape id="Bild_x0020_18" o:spid="_x0000_s1054" | + | |
| - | type="#_x0000_t75" alt="architecture_lrg" style='position:absolute;left:0; | + | |
| - | text-align:left;margin-left:0;margin-top:-118.45pt;width:306pt;height:358.5pt; | + | |
| - | z-index:1;visibility:visible;mso-wrap-style:square; | + | |
| - | mso-wrap-distance-left:9pt;mso-wrap-distance-top:0; | + | |
| - | mso-wrap-distance-right:9pt;mso-wrap-distance-bottom:0; | + | |
| - | mso-position-horizontal:center;mso-position-horizontal-relative:text; | + | |
| - | mso-position-vertical:absolute;mso-position-vertical-relative:text'> | + | |
| - | <v:imagedata src="image010.gif" o:title="architecture_lrg"/> | + | |
| - | <w:wrap type="topAndBottom"/> | + | |
| - | </v:shape><![endif]--><![if !vml]><img width=408 height=478 | + | |
| - | src="image011.jpg" alt="architecture_lrg" v:shapes="Bild_x0020_18"><![endif]><!--[if gte vml 1]></o:wrapblock><![endif]--><br | + | |
| - | style='mso-ignore:vglayout' clear=ALL> | + | |
| - | <span lang=EN-US style='font-size:10.0pt;line-height:115%;font-family:"Arial","sans-serif"; | + | |
| - | mso-fareast-font-family:"MS Mincho";color:#548DD4;mso-themecolor:text2; | + | |
| - | mso-themetint:153;mso-ansi-language:EN-US;mso-fareast-language:JA;font-weight: | + | |
| - | normal;font-style:normal'>Copyright OPNET Technologies, Inc.®<o:p></o:p></span></h2> | + | |
| - | </td> | + | |
| - | </tr> | + | |
| - | <tr style='mso-yfti-irow:7'> | + | |
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:1.0pt;mso-fareast-font-family:"Times New Roman"; | + | |
| - | color:black;background:black;mso-fareast-language:X-NONE;mso-bidi-language: | + | |
| - | X-NONE;layout-grid-mode:line'><o:p> </o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | * 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. |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | * 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. |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | * 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. |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | * 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. |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | * Integrate the NEMO BS extension with OPNET. At this point, full functionality of NEMO BS should be available for testing. |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | * 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. |
| - | style='font:7.0pt "Times New Roman"'>         | + | * Collect baseline measurements against which QoS improvements are going to be evaluated. |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | * 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='font-size:10.0pt;font-family:"Arial","sans-serif"'>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 UMTS are going to be the RATs of | + | |
| - | our mobile routers.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>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.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | === References === |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>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.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>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.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Integrate the NEMO | + | |
| - | BS extension with OPNET. At this point, full functionality of NEMO BS should | + | |
| - | be available for testing.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | - 3GPP-23.401 General Packet Radio Service (GPRS) enhancements for Evolved Universal Terrestrial Radio Access Network (E-UTRAN) access. |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | - 3GPP-23.402 Architecture enhancements for non-3GPP accesses. |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | - 3GPP-22.259 Service requirements for Personal Network Management (PNM). |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | - M. Abadi and A.D. Gordon. A calculus for cryptographic protocols: The spi calculus. In Fourth ACM Conference on Computer and Communications Security, pages 36-47. ACM, 1997. |
| - | style='font:7.0pt "Times New Roman"'>         | + | - L. Cardelli and A. D. Gordon. Mobile ambients. In Foundations of Software Science and Computation Structures, Lisbon, 1998. |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | - IETF-RFC3963 Network Mobility (NEMO) Basic Support Protocol. |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Create test | + | - IETF-RFC4980 Analysis of Multihoming in Network Mobility Support. |
| - | scenarios for use with simulations. These scenarios will be based on the use | + | - IETF-RFC3775 Mobility Support in IPv6. |
| - | cases described in 3GPP-22.259. This document describes use-cases for PANs in | + | - R. Milner. Communicating and Mobile Systems: The pi-Calculus. Cambridge University Press, 1999. |
| - | IMS for which NEMO BS represents a suitable solution. This particular | + | - R. Milner. The Polyadic π-calculus: a tutorial. ECS-LFCS-89-85 91-180, University of Edinburgh, 1991. |
| - | approach has been chosen in order to keep a close to industry requirements.<o:p></o:p></span></p> | + | - Claus Pahl, A PiCalculus based Framework for the Composition and Replacement of Components. In Workshop on Specification and Verification of Component-Based Systems (OOPSLA 2001), 2001. |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Collect baseline | + | |
| - | measurements against which QoS improvements are going to be evaluated.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>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.<o:p></o:p></span></p> | + | |
| - | <h2 style='margin-bottom:6.0pt;text-align:justify;mso-outline-level:2'><span | ||
| - | lang=EN-US style='font-family:"Arial","sans-serif";mso-ansi-language:EN-US'><o:p> </o:p></span></h2> | ||
| - | <p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;mso-fareast-language: | ||
| - | EN-US'><o:p> </o:p></span></p> | ||
| - | </td> | ||
| - | </tr> | ||
| - | <tr style='mso-yfti-irow:8'> | ||
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | ||
| - | <h2 style='margin-bottom:6.0pt;text-align:justify'><span lang=EN-US | ||
| - | style='font-family:"Arial","sans-serif";mso-ansi-language:EN-US'>Contact<o:p></o:p></span></h2> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:1.0pt;mso-fareast-font-family:"Times New Roman"; | ||
| - | color:black;background:black;mso-fareast-language:X-NONE;mso-bidi-language: | ||
| - | X-NONE;layout-grid-mode:line'><o:p> </o:p></span></p> | ||
| - | </td> | ||
| - | </tr> | ||
| - | <tr style='mso-yfti-irow:9;mso-yfti-lastrow:yes'> | ||
| - | <td width="33%" style='width:33.34%;border-top:none;border-left:solid windowtext 1.0pt; | ||
| - | border-bottom:solid windowtext 1.0pt;border-right:none;mso-border-left-alt: | ||
| - | solid windowtext .5pt;mso-border-bottom-alt:solid windowtext .5pt;padding: | ||
| - | 0cm 2.0cm 0cm 2.0cm'> | ||
| - | <p class=MsoNormal align=center style='text-align:center'><span lang=EN-US | ||
| - | style='font-size:11.0pt'>Kamal Barakat<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal align=center style='margin-bottom:6.0pt;text-align:center'><span | ||
| - | lang=EN-US style='font-size:1.0pt;mso-fareast-font-family:"Times New Roman"; | ||
| - | color:black;background:black;mso-fareast-language:X-NONE;mso-bidi-language: | ||
| - | X-NONE;layout-grid-mode:line'><o:p> </o:p></span></p> | ||
| - | </td> | ||
| - | <td width="33%" style='width:33.34%;border-top:solid windowtext 1.0pt; | ||
| - | border-left:none;border-bottom:solid windowtext 1.0pt;border-right:none; | ||
| - | mso-border-top-alt:solid windowtext .5pt;mso-border-bottom-alt:solid windowtext .5pt; | ||
| - | padding:0cm 2.0cm 0cm 2.0cm'> | ||
| - | <p class=MsoNormal align=center style='margin-bottom:6.0pt;text-align:center'><span | ||
| - | lang=EN-US style='font-size:11.0pt'><a | ||
| - | href="mailto:Barakat@embedded.rwth-aachen.de">barakat [at] embedded [dot] | ||
| - | rwth-aachen [dot] de</a></span><span lang=EN-US style='font-size:1.0pt; | ||
| - | mso-fareast-font-family:"Times New Roman";color:black;background:black; | ||
| - | mso-fareast-language:X-NONE;mso-bidi-language:X-NONE;layout-grid-mode:line'><o:p></o:p></span></p> | ||
| - | </td> | ||
| - | <td width="33%" style='width:33.32%;border-top:solid windowtext 1.0pt; | ||
| - | border-left:none;border-bottom:none;border-right:solid windowtext 1.0pt; | ||
| - | mso-border-top-alt:solid windowtext .5pt;mso-border-right-alt:solid windowtext .5pt; | ||
| - | padding:0cm 2.0cm 0cm 2.0cm'> | ||
| - | <p class=MsoNormal align=center style='text-align:center'><span lang=EN-US | ||
| - | style='font-size:11.0pt'>Tel. +49 (241) 80 21171<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal align=center style='margin-bottom:6.0pt;text-align:center'><span | ||
| - | lang=EN-US style='font-size:11.0pt'>Fax +49 (241) 80 22150</span><span | ||
| - | lang=EN-US style='font-size:1.0pt;mso-fareast-font-family:"Times New Roman"; | ||
| - | color:black;background:black;mso-fareast-language:X-NONE;mso-bidi-language: | ||
| - | X-NONE;layout-grid-mode:line'><o:p></o:p></span></p> | ||
| - | </td> | ||
| - | </tr> | ||
| - | </table> | ||
| - | |||
| - | </div> | ||
| - | |||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | ||
| - | |||
| - | <p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p> | ||
| - | |||
| - | </div> | ||
| - | |||
| - | </body> | ||
| - | |||
| - | </html> | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | </html> | ||