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:39] barakat |
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2009/09/24 16:42] barakat |
||
|---|---|---|---|
| Zeile 480: | Zeile 480: | ||
| * 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. | ||