Formale Analyse des Zeitverhaltens Netzbasierter Automatisierungssysteme

摘要: Die Architekturen vieler technischer Systeme sind derzeit im Umbruch. Der fortschreitende Einsatz von Netzwerken aus intelligenten rechnenden Knoten fuhrt zu neuen Anforderungen an den Entwurf und die Analyse der resultierenden Systeme. Dabei spielt des Zeitverhaltens mit seinen Bezugen Sicherheit Performanz eine zentrale Rolle. Netzbasierte Automatisierungssysteme (NAS) unterscheiden sich hierbei anderen verteilten Echtzeitsystemen durch ihr zyklisches Komponentenverhalten. Das asynchronen Verknupfung entstehende Gesamtverhalten ist klassischen Methoden kaum analysierbar. Zur NAS wird deshalb wahrscheinlichkeitsbasierten Modellverifikation (PMC) vorgeschlagen. PMC erlaubt detaillierte, quantitative Aussagen uber das Systemverhalten. Fur dazu notwendige Modellierung Systems auf Basis wahrscheinlichkeitsbasierter, zeitbewerteter Automaten Beschreibungssprache DesLaNAS eingefuhrt. Exemplarisch werden Einfluss verschiedener Komponenten Verhaltensmodi Antwortzeit eines untersucht Ergebnisse mittels Labormessungen validiert.