 |
| | | | | Beschreibung | | Die Erfahrungen mit der Re-Verifikation für die Verwendung bei ATV waren sehr positiv. Zum einen erwiesen sich die ursprünglichen Spezifikationen als so modular, dass die Änderungen im Code leicht in die Modelle übertragen werden konnten. Eine allgemeine Kategorisierung der Änderungen bzgl. ihrer Relevanz für die Gültigkeit der Analyseergebnisse war ein zusätzliches nützliches Ergebnis. Desweiteren stellte sich heraus, dass die Analysezeiten für das Model-Checking mit FDR2 mit der neueren Version um einiges zügiger durchzuführen waren und auch zu keinen neuen Einschränkungen im Zustandsraum führen. Die Analyse ergab keine neuen Fehlersituationen, allerdings wurden schon bekannte Problembereiche wieder aufgedeckt, die im Rahmen der Anwendung für ATV durchaus relevant waren, für die Ursprungsanwendung aber ignoriert werden konnten.
Zurück zu Erfahrungen
| |
| | | | | | | | | | | | | Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben. |
|
| | | | |  | Übergeordnet | | | | | | | | | | | Re-Verifikation | | | | | | |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren
