A 1 Allgemein
Für jede Simulationssoftware ist die andauernde Verifikation notwendig. Es gibt mindestens vier Formen der Verifikation, denen Entfluchtungsmodelle unterzogen werden sollen. Diese sind:
- Überprüfung der Komponenten,
- Funktionale Verifizierung,
- Qualitative Verifizierung und
- Quantitative Verifizierung.
Diese Vorgehensweise ist in ISO Dokument ISO/TR 13387-8:1999 dargestellt.
Im Zuge der Überarbeitungszyklen der RiMEA-Richlinie werden die Testszenarien den neusten Erkenntnissen entsprechend angepaßt.
Der Verifizierungsprozess ist nachvollziehbar und vollständig zu dokumentieren. Die Dokumentation(en) sind entsprechend dieses Abschnitts auszuführen. Die Verifizierungsdokumente können Bestandteil der Programmdokumentation sein und sind auf Verlangen der Behörde oder dem Auftraggeber zur Verfügung zu stellen. Alternativ können Sie öffentlich einsehbar auf der Homepage des RiMEA-Projekts (www.rimea.de) hinterlegt werden.
A 2 Überprüfung der Komponenten
Die Überprüfung der Komponenten beinhaltet, zu testen, ob die verschiedenen Komponenten der Software wie vorgesehen funktionieren. Das schließt die Durchführung einer Reihe von elementaren Testfällen ein, um sicherzustellen, dass die wichtigsten Bestandteile des Modells wie beabsichtigt funktionieren. Die folgende Liste ist eine nicht erschöpfende Aufzählung vorgeschlagener Tests, die in den Verifizierungsprozess eingeschlossen werden sollen.
A 3 Funktionale Verifizierung
Funktionale Verifizierung schließt ein zu überprüfen, dass das Modell die Fähigkeit besitzt, den Bereich der für die Simulation notwendigen Möglichkeiten abzudecken. Diese Anforderung ist aufgabenspezifisch. Um funktionale Verifizierung zu erfüllen, müssen die Entwickler des Modells in verständlicher Weise den vollen Bereich der Möglichkeiten des Modells und der inhärenten Annahmen darstellen und eine Anleitung für den korrekten Gebrauch dieser Möglichkeiten zur Verfügung stellen. Diese Informationen sollen in der technischen Dokumentation der Software leicht zugänglich sein.
A 4 Qualitative Verifizierung
Die dritte Form der Modellvalidierung betrifft die Übereinstimmung des vorhergesagten menschlichen Verhaltens mit sachkundigen Erwartungen. Obwohl dies nur eine qualitative Form der Verifizierung darstellt, ist sie nichtsdestoweniger wichtig, da sie zeigt, dass die in dem Modell eingebauten Verhaltensweisen in der Lage sind, realistisches Verhalten zu erzeugen.
A 5 Quantitative Verifizierung
Quantitative Verifizierung beinhaltet den Vergleich von Modellvorhersagen mit zuverlässigen Daten aus Evakuierungsübungen. Zum jetzigen Entwicklungszeitpunkt sind nicht genügend zuverlässige experimentelle Daten vorhanden, um eine gründliche quantitative Verifizierung von Entfluchtungsmodellen zu erlauben. Solang bis solche Daten verfügbar werden, werden die ersten drei Komponenten des Verifizierungsprozesses als ausreichend betrachtet.
RiMEA e.V. 