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 [2010/10/07 15:33] barakat |
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2011/11/21 17:34] (aktuell) |
||
|---|---|---|---|
| Zeile 491: | 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 503: | Zeile 505: | ||
| 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>]] | 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> | ||
| + | |||
| + | \\ | ||
| + | === Acknowledgement === | ||
| + | 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. | ||
| \\ | \\ | ||