Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung 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 16:39] barakat |
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2009/09/24 16:48] barakat |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| - | ==== Applying Formal Methods for QoS Provisioning in Mobile Architectures ==== | + | ====== Applying Formal Methods for QoS Provisioning in Mobile Architectures ====== |
| \\ | \\ | ||
| \\ | \\ | ||
| Zeile 480: | Zeile 481: | ||
| * 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. | * 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. | ||
| + | \\ | ||
| The ability to make realistic assessments of modeled systems before the implementation phase using formal model checking techniques has several advantages: | The ability to make realistic assessments of modeled systems before the implementation phase using formal model checking techniques has several advantages: | ||
| * 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. | * 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. | ||