Analyse des Antwortzeitverhaltens netzbasierter Automatisierungssysteme

Response Time Analysis for Networked Automation Systems

  • Netzbasierte Automatisierungssysteme (NAS) sind das Ergebnis der zunehmenden Dezentralisierung von Automatisierungssystemen mittels neuerer Netzwerkstrukturen. Eine ganze Fülle von Einflussfaktoren führt jedoch zu einem Spektrum von nicht-deterministischen Verzögerungen, die direkten Einfluss auf Qualität, Sicherheit und Zuverlässigkeit der Automatisierungsanlagen haben. Eine genaue Analyse dieser Einflussfaktoren ist somit nicht nur Voraussetzung für den verantwortungsbewussten Einsatz dieser Technologie sondern ermöglicht es auch, bereits im Vorfeld von Umstrukturierungen oder Erweiterungen Fragen der Verlässlichkeit zu klären. In diesem Beitrag wird gezeigt, welchen Einfluss einzelne Komponenten sowie netzbedingte Verhaltensmodi wie Synchronisation und die gemeinsame Nutzung von Ressourcen auf die Antwortzeiten des Gesamtsystems haben. Zur Analyse wird die wahrscheinlichkeitsbasierte Modellverifikation (PMC) verwendet. Umfangreiche Messungen wurden zur Validierung der Ergebnisse durchgeführt.
  • Networked Automation Systems (NAS) result from the increasing decentralization of automation systems using new network structures. However, a bounteousness of influencing factors leads to a spectrum of non-deterministic delays which directly influence quality, safety and dependability of automated plants. Therefore, a detailed analysis of those influencing factors not only is prerequisite for a responsible application of this technology but also enables to check dependability related questions prior to restructuring, reengineering or expansion. This article details how single components as well as network induced behaviors like synchronization and the shared use of components influence the response times of the overall system. The analysis uses Probabilistic Model Checking (PMC). Measurements are presented to validate the results.

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Jürgen Greifeneder, Georg Frey
URN:urn:nbn:de:hbz:386-kluedo-19154
Document Type:Article
Language of publication:German
Year of Completion:2007
Year of first Publication:2007
Publishing Institution:Technische Universität Kaiserslautern
Date of the Publication (Server):2007/12/10
Tag:Netzbasierte Automatisierungssysteme (NAS); Zugriffskonflikte; verteilte Steuerungen; wahrscheinlichkeitsbasierte Modellverifikation
Networked Automation Systems; access conflict; distributed control systems; loss of information; probabilistic model checking
GND Keyword:Automatisierungstechnik; Netzwerk; Response-Zeit; Model checking; Fehler
Source:atp Automatisierungstechnische Praxis 49(10), Oldenbourg, München, Seiten 44 - 54, Oktober 2007
Faculties / Organisational entities:Kaiserslautern - Fachbereich Elektrotechnik und Informationstechnik
DDC-Cassification:6 Technik, Medizin, angewandte Wissenschaften / 620 Ingenieurwissenschaften und Maschinenbau
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011