SHVT
Methoden und Werkzeuge für Analyse und Design sicherer Systeme
Heutige IT-Systeme sind oft so komplex, dass Designfehler erst beim Betrieb der Software auffallen. Dann drohen kostspielige Nachbesserungen und Verzögerungen oder gar die komplette Neu-Entwicklung. Das Fraunhofer-Institut SIT hat Methoden und Werkzeuge entwickelt, mit denen sich Fehler frühzeitig erkennen, exakt bestimmen und so besser beheben lassen.
Ausführbare Modelle verbessern
Analyse-Möglichkeiten
Das Fraunhofer-Institut SIT unterstützt Systementwickler und Software-Architekten bei der Überprüfung funktionaler Anforderungen (Leistet die Software, was sie soll?) und hilft bei der Beantwortung nicht-funktionaler Fragen (Erfüllt das System gewisse Sicherheitseigenschaften?). Besonderer Vorteil: Im Gegensatz zu erkömmlichen Modellen wie UML, die nur eine statische Sichtweise erlauben, nutzt das Fraunhofer-Institut SIT Methoden und Werkzeuge, mit denen sich Systemvarianten simulieren und analysieren lassen. Dadurch lassen sich die Wechselwirkungen verschiedener Systemkomponenten untersuchen und Auswirkungen von Designentscheidungen besser beurteilen.
Das SH-Verification Tool, ein vielseitiges Werkzeug
Mit dem SH-Verification Tool verfügt das Fraunhofer-Institut SIT über ein leistungsstarkes Werkzeug für die modellbasierte Analyse. Es enthält einen Simulator, einen Debugger sowie Komponenten zur Verifikation und kompakten Visualisierung des dynamischen Systemverhaltens. Die zusätzliche Gewichtung einzelner Aktionen ermöglicht zum Beispiel Risiko- und Kosten- / Nutzenanalysen.