Zusammenfassung
Die Zuverlässigkeit von Systemen zur Steuerung, Überwachung und Automatisierung von technischen Systemen hängt wesentlich davon ab, ob ausreichende Mechanismen zur Behandlung von Ausnahmen (Exceptions), d.h. irregulären Ereignissen oder Situationen, vorgesehen sind. Ausnahmen können aber audi als spezielles Programmstruk-turierungskonzept eingesetzt werden, um selten auftretende Sonderfälle getrennt vom normalen Systemverhalten beschreiben zu können.
In dieser Arbeit werden Konzepte beschrieben zur Einbeziehung der Ausnahmebehandlung (Exception-Handling) in den Entwurf von Realzeitsystemen. Als Beschreibungssprache werden höhere Petri-Netze (Prädikate/Transitionen-Netze) verwendet. Es werden Möglichkeiten zu einer simulationsgestützten Validierung von Exception-Handling-Mechanismen vorgestellt. Diese Konzepte sind in einen existierenden Petri-Netz-Simulator integriert worden.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
B. Baumgarten. Petri-Netze. Grundlagen und Anwendungen. BI-Verlag, Mannheim, 1990.
W.F. Clocksin und C.S. Mellish. Programming in Prolog. Springer-Verlag, Berlin, Heidelberg, New York, 1984.
J.E. Coolahan und N. Roussopoulos. A Timed Petri Net Methodology for Specifying Real-Time System Timing. In Proc. IEEE Int. Workshop on Timed Petri Nets, Torino/Italy, S. 24–31, 1985.
M. Didic und G. Richter. Time & Clocks & Task Management. In Proc. IEEE Int. Workshop on Timed Petri Nets, S. 116–125, Torino/Italy, 1985.
P. Economopoulos. Petri Nets: A Model for the Analysis of the Behaviour and Performance of Concurrent Systems. In F.H. Lochovsky, Hrsg., Office and Data Base Systems Research’87, S. 99–132, University of Toronto, July 1987.
C. Feder. Ausnahmebehandlung in objektorientierten Programmiersprachen. Springer-Verlag, IFB 235, Berlin, Heidelberg, New York, 1990.
F. Feldbrugge. Petri Net Tool Overview 1989. In G. Rozenberg, Hrsg., Advances in Petri Nets 1989, LNCS424, S. 151–178, Springer-Verlag, Berlin, Heidelberg, New York, 1990.
H.J. Genrich und K. Lautenbach. Facts in Place/Transition-Nets. In Mathematical Foundations of Computer Science 1978, Springer-Verlag, Berlin, Heidelberg, New York, 1978.
R.G. Herrtwich und G. Hommel. Kooperation und Konkurrenz. Springer-Verlag, Berlin, New York, Tokyo, 1989.
B. Igel. Applikative Beschreibungsmethoden in verteilten Prozeß-steuerungen. In R. Henn und K. Stieger, Hrsg., Proc. PEARL 89-Workshop über Realzeitsysteme, S. 172–195, Springer-Verlag, Berlin, Heidelberg, New York, 1989.
M. Leszak und H. Eggert. Petri-Netz-Methoden und -Werkzeuge. IFB 197, Springer-Verlag, Berlin, Heidelberg, New York, 1989.
G. Lausen, T. Németh, A. Oberweis, F. Schönthaler und W. Stucky. The INCOME Approach for Conceptual Modelling and Prototyping of Information Systems. In CASE89. The First Nordic Conference on Advanced Systems Engineering, Stockholm, Mai 1989.
B. Meyer. Object Oriented Software Design. IEEE Computer Society Press, New York, 1988.
A. Oberweis. Checking Database Integrity Constraints while Simulating Information System Behaviour. In Proceedings of 9th European Workshop on Application and Theory of Petri Nets (Venice/Italy), S. 299–308, Juni 1988.
A. Oberweis. Integritätsbewahrendes Prototyping von verteilten Systemen. In M. Paul, Hrsg., Proc. GI 19. Jahrestagung Computergestützter Arbeit-splatz, München, Bd. 1, IFB 222, S. 215–230, Springer-Verlag, 1989.
A. Oberweis. Deklarative Systembeschreibungen als Grundlage für die Simulation mit Petri-Netzen. Proc. Symposium Simulationstechnik, Wien, 1990.
A. Oberweis. Die Behandlung von Ausnahmen in Software-Systemen: Eine Literaturübersicht. Forschungsbericht, Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe, Oktober 1990.
A. Oberweis. Zeitstrukturen für Informationssysteme. Dissertation, Universität Mannheim, Fakultät für Mathematik und Informatik, 1990.
A. Oberweis, J. Seib und G. Lausen. PASIPP: Ein Hilfsmittel zur Analyse und Simulation von Prolog-beschrifteten Prädikate/Transitioned Netzen. Zur Veröffentlichung eingereicht, 1990.
P.C. Philbrow und M.P. Atkinson. Events and Exception Handling in PS-Algol. The Computer Journal, 33(2): 108–125, 1990.
M. Popall. Simulation und Rapid Prototyping für Realzeitanwendungen auf Spezifikationsebene. In R. Henn und K. Stieger, Hrsg., Proc. PEARL 89-Workshop uber Realzeitsysteme, S. 231–243, Springer-Verlag, Berlin, Heidelberg, New York, 1989.
W. Reisig. Systementwurf mit Netzen. Springer Compass, Springer-Verlag, Berlin, Heidelberg, New York, 1985.
W. Reisig. Petrinetze. Eine Einfuhrung. Studienreihe Informatik, Springer-Verlag, Berlin, Heidelberg, New York, 1986.
E. Schnieder. Prozeßinformatik. Einführung mit Petrinetzen. Vieweg-Verlag, Braunschweig, Wiesbaden, 1986.
F. Schonthaler. Rapid Prototyping zur Unterstützung des Konzeptuellen Entwurfs von Informationssystemen. Dissertation, Universität Karlsruhe (TH), 1989.
K. Stieger. PEARL90. Die Weiterentwicklung von PEARL. In R. Henn und K. Stieger, Hrsg., Proc. PEARL89 — Workshop über Realzeitsysteme, S. 99–137, Springer-Verlag, 1989.
K. Voss. Nets in Data Bases. In W. Brauer, W. Reisig und G. Rozenberg, Hrsg., Petri Nets: Applications and Relationships to Other Models of Concurrency, S. 234–257, Springer-Verlag, Berlin, Heidelberg, New York, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Oberweis, A. (1990). Modellierung und Validierung von Exception-Handling-Mechanismen für Realzeitsysteme. In: Gerth, W., Baacke, P. (eds) PEARL 90 — Workshop über Realzeitsysteme. Informatik-Fachberichte, vol 262. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-46725-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-46725-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53464-8
Online ISBN: 978-3-642-46725-7
eBook Packages: Springer Book Archive