Forschungsgebiet: Formale Analyse des Zeitverhaltens Netzbasierter Automatisierungssysteme

Formale Analyse des Zeitverhaltens Netzbasierter Automatisierungssysteme

Untersucht wird die Entwicklung von Methoden zum Entwurf und zur Analyse verteilter Automatisierungssysteme (Distributed Control System, DCS). Bei diesen Systemen wird neben den in klassischen Automatisierungssystemen vorhanden Faktoren Control und Computation auch die Communication wichtig (C³ Technologies). Die Untersuchung eines DCS hängt stark von der Art der Automatisierungsaufgabe ab und unterscheidet zwischen kontinuierlichen und den betrachteten diskreten Systemen (Discrete Event Systems, DES).

        

Formal Responsetime Analysis in Networked Automation Systems

The development of design and analysis methods for distributed control systems is examined in this work. Within these systems Communication in additon to control and Computation - which are already known from classical automation systems - becomes a third factor (C³ Technologies). The investigation of a DCS depends strongly on the kind of task of automation and discriminates between continuous and the discrete event systems discussed here.

Während die Automatisierung des Netzwerkverkehrs nach wie vor stark von der Informatik selbst geprägt ist, wird die Frage nach Netzwerktechniken für die Automatisierung i.d.R. von den Ingenieurwissenschaften getragen. Für ein gegebenes ereignisdiskretes verteiltes Automatisierungssystem (DDECS) sind unterschiedlichste Anforderungen zuzusichern. Neben die korrekte Funktionsweise tritt dabei vor allem die rechtzeitige Ausführung der verwendeten Algorithmen.

        

While the automation of network traffic is still strongly dominated by computer science, network techniques for automation are discussed by engineers. For a given distributed discrete event automation system (DDECS) different requirements have to be assured. Apart from the correct functioning mode, the timely execution of the used algorithms becomes an important factor.

Die in herkömmlichen Anlagen drahtbasierten Verbindungen zwischen den Controllern, Aktuatoren und Sensoren werden in zunehmedem Maße durch Übertragungskanäle mit paketvermittelnden Protokollen (LAN, WLAN, Bluetooth u.ä.) ersetzt. Die meisten Control-Aufgaben erfordern allerdings, dass die Control-Instanz mit den angeschlossenden Hardwarekomponenten (Aktuatoren und Sensoren) innerhalb fester Zeitschranken kommuniziert, da andernfalls die Control-Aufgabe nicht erreicht werden kann. Während dies für festverdrahtete Systeme lediglich Einfluss auf Zykluszeiten (und somit Prozessorgeschwindigkeiten) hat, müssen in verteilten Systemen die Signallaufzeiten ebenso Berücksichtigung finden, wie Netzausfälle und Überlastsituationen. Da sich beliebige Präzision technisch (finanzierbar) ebenso wenig realisieren lässt, wie absolute Ausfallsicherheit, werden aus den bekannten ja-nein-Aussagen wahrscheinlichkeitsbehaftete Feststellungen. So kann von einem System z.B. gefordert werden, dass ein bestimmter Signalwert in 95% der Fälle binnen einer bestimmten Zeit eine Reaktion an einem Ausgang hervorrufen muss.

        

In conventional control systems, all the connections between controllers, actuators and sensors are hard wired. In DDECS these connections are replaced by packet based communication channels like TCP/IP (LAN, WLAN) or Bluetooth. Most control instances require information from their hardware components (actuators and sensors) within hard bounded time intervals, since otherwise the control task cannot be achieved. While in hard-wired systems this has influence on cycle times (and thus processor speeds) only, signal delay times must be considered in DDECS as well as network downtimes and overload situations.

To avoid worst case analysis that often leads to infeasible demands on the control systems hardware the classical Yes-No-statements could be relaxed by introducing probabilistic bounds. This leads to properties like: With a probability of at least 99,9% a reaction to a change in a sensor value will be issued within 200ms.

Parallel zu den theoretischen Überlegungen konzentrierten sich die Forschungsarbeiten schwerpunktmäßig auf die Implementierungen dieser Modelle in der Software PRISM, einem propabilistic model checker der University of Birmingham. Mittels eines solchen model checkers kann die Wahrscheinlichkeit bestimmt werden, dass ein physikalisches System einen bestimmten Zustand einnimmt. Um aussagekräftige (i.S.v. differenzierte) Ergebnisse zu erhalten, muss es sich hierbei jedoch um nur singulär auftretende Zustände handeln, da sich bei zyklischem Auftreten die gesuchte Wahrscheinlichkeit als geometrische Reihe beschreiben lässt und somit gegen eins konvergiert. Im Rückschluss bedeutet dies, dass sich das zu untersuchende Modell erst aus der Überlagerung des physikalischen Modells mit der gesuchten Eigenschaft gewinnen lässt.

        

To answer questions like this, simulation is infeasible for complex systems since a probabilistic solution will need a very long simulation time. The problem is even bigger if the analysis is extended from a simple performance check to a detailed reliability analysis where the possibilities of failures in the components are considered during the analysis. In this case the system under consideration contains very short cycle times of a controller together with very long mean times between failures (MTBFs) of the components.

Parallel to the theoretical considerations the research work concentrates in the implementation of these models in the software PRISM, a probabilistic model checker from the University of Birmingham. Using such model checkers the probability that a physical system takes a certain condition can be determined. In order to receive meaningful results, only monotheistic states are useful, since the probabilistic of any state with cyclic occurrence can be described as geometrical row and thus converges against one. This means that the model examined can be determined only by superposing the physical model with the characteristic discussed.




Corresponding Monographs
[M1]
Greifeneder, Jürgen: Formale Analyse des Zeitverhaltens Netzbasierter Automatisierungssysteme, Dissertation, Fachbereich Elektrotechnik und Informationstechnik, Technische Universität Kaiserslautern, Kaiserslautern, Deutschland, 02. November 2007, Shaker-Verlag, Aachen, ISBN: 978-3-8322-6835-0, 2007.
Ausgezeichnet mit dem Kreissparkassenpreis der TU Kaiserslautern



Corresponding Journal papers
[J01]
Greifeneder, Jürgen und Georg Frey: Modellierung des Zeitverhaltens netzbasierter Automatisierungssysteme, atp Automatisierungstechnische Praxis, Oldenbourg, Band 49, Heft 9, Seiten 76 - 84, September 2007.

[J02]
Greifeneder, Jürgen und Georg Frey: Analyse des Antwortzeitverhaltens netzbasierter Automatisierungssysteme, atp Automatisierungstechnische Praxis, Oldenbourg, Band 49, Heft 10, Seiten 44 - 54, Oktober 2007.
Ausgezeichnet mit dem atp-Award 2008

[J03]
Greifeneder, Jürgen und Georg Frey: Wahrscheinlichkeitsbasierte Modellverifikation Netzbasierter Automatisierungssysteme, at Automatisierungstechnik, Oldenbourg, Band 55, Heft 12, Seiten 624-633, Dezember 2007.



Invited talks
[IT01]
Greifeneder, Jürgen: Dependability Analysis in Networked Automation Systems using Probabilistic Models. Gastvortrag am Lurpa der ENS Cachan, Frankreich, Dezember 2006.

[IT02]
Greifeneder, Jürgen: Analysis of Response Times in Networked Automation Systems. Gastvortrag am Departamento de Engenharia Elétrica der Universidade de Brasília, Brasilien, Oktober 2007.

[IT03]
Greifeneder, Jürgen: Temporal behavior of Networked Automation Systems. Gastvortrag an der Philadelphia University, Amman, Jordanien, September 2010.



Corresponding conference papers (reverse chronological)
[C15]
Greifeneder, Jürgen und Georg Frey: Analyse der Reaktivität unterschiedlicher Architekturen Netzbasierter Automatisierungssysteme. Proceedings of the SPS/IPC/DRIVES, Nürnberg, Deutschland, Seiten 541-549, 25. - 27. November 2008.

[C14]
Greifeneder, Jürgen und Georg Frey: Reactivity Analysis of different Networked Automation System Architectures. Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2008), Hamburg, Deutschland, Seiten 1031 - 1038, September 2008.

[C13]
Greifeneder, Jürgen; Liu Liu und Georg Frey: Comparing Simulative and Formal Methods for the Analysis of Response Times in Networked Automation Systems. Proceedings of the 17th IFAC World Congress, Seoul, Südkorea, Seiten 5113 - 5118, Juli 2008.

[C12]
Greifeneder, Jürgen; Liu Liu und Georg Frey: Methoden zur Antwortzeitanalyse in vernetzten Automatisierungssysteme. Proceedings of the SPS/IPC/DRIVES, Nürnberg, Deutschland, Seiten 517 - 525, November 2007.

[C11]
Greifeneder, Jürgen und Georg Frey: DesLaNAS - a language for describing Networked Automation Systems. Proceedings of the 12th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2007), Patras, Griechenland, Seiten 1053-1060, 26. - 28. September 2007.

[C10]
Greifeneder, Jürgen und Georg Frey: Probabilistic Timed Automata for Modeling Networked Automation Systems. Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems DCDS, Seiten 143-148, Cachan, Frankreich, Juni 2007.

[C09]
Greifeneder, Jürgen und Georg Frey: Analyse netzbasierter Automatisierungssysteme. Automation im gesamten Lebenszyklus (GMA-Kongress 2007), VDI-Berichte 1980, Seiten 23-33, Baden-Baden, Deutschland, Juni 2007.

[C08]
Greifeneder, Jürgen und Georg Frey: Quantitative Analyse von Antwortzeiten in netzbasierten Automatisierungssystemen. Proceedings of the SPS/IPC/DRIVES, Seiten 243-252, Nürnberg, Deutschland, November 2006.

[C07]
Greifeneder, Jürgen und Georg Frey: Probabilistic Hybrid Automata with Variable Step Width Applied to the Analysis of Networked Automation Systems. Proceedings of the 3rd IFAC Workshop on Discrete Event System Design (DESDes'06), Rydzyna Castle, Polen, Seiten 283-288, ISBN 83-7481-035-1, September 2006.

[C06]
Greifeneder, Jürgen und Georg Frey: Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models. Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), Prague, Czech Republic, Seiten 372-379, September 2006.

[C05]
Greifeneder, Jürgen und Georg Frey: Analyzing Network Automation Systems using Discrete Time Markov Chains. Proceedings of 12th IEEE International Conference on Methods and Models in Automation and Robotics (MMAR 2006), Miedzyzdroje, Polen, Seiten 859-865, ISBN 83-6014-88-8, August 2006.

[C04]
Greifeneder, Jürgen und Georg Frey: Determination of Delay Times in Failure Afflicted Networked Automation Systems using Probabilistic Model Checking. Proceedings of 6th IEEE International Workshop on Factory Communication Systems (WFCS 2006), Torino, Italien, Seiten 263-272, Juni 2006.

[C03]
Greifeneder, Jürgen und Georg Frey: "Analyse des Antwortverhaltens vernetzter Automatisierungssysteme mittels Probabilistic Model Checking". Proceedings of 9th Symposium on Entwurf komplexer Automatisierungssysteme (EKA 2006), Braunschweig, Deutschland, Seiten 131-151, Mai 2006.

[C02]
Greifeneder, Jürgen und Georg Frey: "Dependability analysis of networked automation systems by probabilistic delay time analysis". Proceedings of 12th IFAC Symposium on Information Control Problems in Manufacturing (incom 2006), St. Etienne, Frankreich, Band 1, Seiten 265-270, Elsevier Science, ISBN: 978-0-08-044654-7, Mai 2006.

[C01]
Greifeneder, Jürgen und Georg Frey: Probabilistic Delay Time Analysis in Networked Automation Systems. Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, Catania, Italien, Vol. 1, Seiten 1065-1068, September 2005.


Jürgen Greifeneder, 03.05.2013 Impressum