Leistungsanalyse von Systementwürfenmit UML und Generalisierten Netzen - Ein Framework zur frühen Qualitätssicherung

Verifizierte Leistungseigenschaften sind für Automatisierungs-(AT-)lösungen ein genauso wichtiges Maß für Produktqualität wie Funktionskorrektheit. Der folgende Beitrag stellt einen Ansatz zur Leistungsanalyse in den früheren Entwurfsphasen neuer AT-Lösungen vor, dessen Einsatz eine kostenreduzierende Prüfung der Leistungsqualität ermöglicht. Dazu wird die konzipierte Lösung erst mit UML-Diagrammen modelliert und anschließend um UML-konforme Leistungsparameter erweitert. Das so gebildete Leistungsmodell wird nachfolgend innerhalb eines speziell entwickelten, rechnergestützten Frameworks automatisiert in Generalisierte Netze (GN), eine spezielle Art zeitbewerteter Petri-Netze höherer Ebene, transformiert. Nach Modifikation des GN-Modells wird die Möglichkeit gegeben, Simulationsstatistiken so zu gewinnen, dass mögliche Leistungsdefizite lokalisiert und vor der kostenintensiven Softwareimplementierung und Hardwarebeschaffung behoben werden können. Eine Fallstudie gibt abschließend einen Überblick über das vorgestellte Verfahren und die damit erzielbaren Ergebnisse.