Discrete event models of process engineering systems for the purpose of logic controller verification;Diskrete modellierung verfahrenstechnischer prozesse zur steuerungsverifikation

At-Automatisierungstechnik

Volumn 46, Issue 4, 1998, Pages 180-188

  Kowalewski, Stefan ^a   Stursberg, Olaf ^a   Treseler, Heinz ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85041023109     PISSN: 01782312     EISSN: None     Source Type: Journal    
DOI: 10.1524/auto.1998.46.4.180     Document Type: Article

References (25)

1. Netter, P.: Erfahrungen beim Einsatz programmierbarer Systeme für MSR-Schutzeinrichtungen. Automatisierungstechnische Praxis 36(1994) 10, S. 30-36.
2. Zender, P.: Sicherheitsgerichtete SPS in Anlagen mit Gefährdungspotential. Automatisierungstechnische Praxis 36 (1994) 12, S. 27-34.
3. Hölzlein, M., Filkom, T., und Warkentin, P.: Formale Verifikation von SPS-Programmen. GMA-Kongreß '96, VDI-Berichte 1282, S. 25-34.
4. Kowalewski, S. und Preußig, J.: Verification of sequential controllers with timing functions for chemical processes. IFAC 13th World Congress, San Francisco, USA, 1996, Preprints Vol. J, S. 419-424.
5. Kowalewski, S.: Verifikation von Steuerungen mit Bedingung/ Ereignis-Systemen. GMA-Kongreß '96, VDI-Berichte 1282, S. 57-66.
6. Kowalewski, S.: Formaler Nachweis der Korrektheit sicherheitsrelevanter Steuerungen. GVC-Fachtagung “Anlagen-, Arbeits- und Umweltsicherheit”, Kothen, 1996, Tagungsband, S. 293-300.
7. Kowalewski, S.: Formale Verifikation von SPS-Programmen für verfahrenstechnische Prozesse: ein Überblick. Tagungsband der GMA-Fachtagung “Steuerungstechnik - Methodik komplexer Anwendungen”, Langen, 1997, GMA-Bericht 31, S. 259-268.
8. Sreenivas, R. S., und Krogh, B. H.: On Condition/Event Systems with Discrete State Realizations. Discrete Event Dynamic Systems: Theory and Applications 1 (2), 1991, S. 209-236.
9. Herrmann, P., und Krumm, H.: Kompositionale Constraints hybrider Systeme. In Schnieder, E., und Abel, D., (Hrsg.): Entwurf komplexer Automatisierungssysteme EKA’97, Tagungsband, Band I, S. 243-264.
10. Kowalewski, S. und Treseler, H.: VERDICT - A Tool for Model-Based Verification of Real-Time Logic Process Controllers. Proc. 5th Int. Workshop on Parallel and Distributed Real-Time Systems (WPDRTS’97), Genf, Schweiz, April 1997, IEEE Comp. Soc. Press, S. 217-221.
11. Kowalewski, S., und Treseler, H.: CELESTE - eine Sprache zur modellbasierten Verifikation von diskreten Steuerungen. In Schnieder, E., und Abel, D., (Hrsg.): Entwurf komplexer Automatisierungssysteme EKA’97, Tagungsband, Band II, S. 568-587.
12. Europäische Norm EN61131, Teil 3: Speicherprogrammierbare Steuerungen: Programmiersprachen. Beuth Verlag, Berlin, 1993.
13. Alur, R., und Dill, D. L.: A Theory of Timed Automata. Theoretical Comp. Science 126, 1994, S. 183-235.
14. Henzinger, T. A., Ho, P.-H., und Wong-Toi, H.: HyTech: a model checker for hybrid systems. Proc. 9th Int. Conf. on Computeraided Verification. Lecture Notes on Computer Science 1254, 1997, S. 460-463.
15. Daws, C., Olivero, A., Tripakis, S., und Yovine, S.: The Tool KRONOS. Hybrid Systems III, Lecture Notes on Computer Science 1066, 1996, S. 208-219.
16. Fasol, K. H.: Binäre Steuerungstechnik. Springer Verlag, Berlin, 1988.
17. Engell, S., Kowalewski, S., Preußig, J., Huuck, R., Lakhnech, Y., und Urbina, L.: Analyse zeitbewerteter Bedingung/Ereignis-Systeme mittels Echtzeitautomaten-Tools. In Schnieder, E., und Abel, D., (Hrsg.): Entwurf komplexer Automatisierungssysteme EKA’97, Tagungsband, Band I, S. 180-194.
18. Kowalewski, S., und Engell, S.: Bedingung/Ereignis-Systeme. In Abel, D., (Hrsg.): Theorie für ereignisdiskrete Systeme, Oldenbourg Verlag, München, erscheint 1998. Eine vorhergehende Version erschien unter dem Titel “Bedingung/Ereignis-Systeme und ihre Anwendung zur Verifikation von Steuerungen” in Schnieder, E., und Abel, D., (Hrsg.): Entwurf komplexer Automatisierungssysteme EKA’97, Tagungsband, Band I, S. 41-56.
19. Kowalewski, S” Gesthuisen, R., und Roßmann, V: Modelbased verification of batch process control software. IEEE Conf. on Systems, Man, and Cybernetics, San Antonio, USA, 1994, Proceedings, S. 331-336.
20. Kowalewski, S.: Modulare Modellierung verfahrenstechnischer Anlagen zum systematischen Steuerungsentwurf. Dissertation, Fachbereich Chemietechnik, Universität Dortmund, 1995 (Shaker-Verlag, Aachen, 1996).
21. Kuipers, B.: Qualitative Simulation. Artificial Intelligence 29 (1986), S. 289-338.
22. Lunze, J.: Qualitative Modelling of Linear Dynamical Systems with Quantized State Measurements. Automatica 30 (1994) 3, S. 417-431.
23. Stursberg, O., Kowalewski, S., und Engell, S.: Generating Timed Discrete Models of Continuous Systems. 2nd MATHMOD, Wien, 1997, Proceedings, S. 203-210.
24. Stursberg, O., Kowalewski, S., Hoffmann, I., und Preußig, J.:Comparing Timed and Hybrid Automata as Approximations of Continuous Systems. In Antsaklis, P., et al. (Hrsg.): Hybrid Systems IV, LNCS 1273, Springer, 1997, S. 361-377.
25. rd Int. Conf. Automation of Mixed Processes, Reims, Frankreich, März 1998.