In: Informatik-Fachberichte, Vol. 262; PEARL 90: Workshop über Realzeitsysteme, 11. Fachtagung des PEARL-Vereins, 1990, Boppard, Germany, pages 44-58. Berlin: Springer-Verlag, 1990.
Abstract: Die Zuverlässigkeit von Systemen zur Steuerung von technischen Systemen hängt wesentlich davon ab, ob Mechanismen zur Behandlung von Ausnahmen (Exceptions) vorgesehen sind. Ausnahmen können aber auch als spezielles Programmstrukturierungskonzept eingesetzt werden. 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.
Keywords: modelling (and) validation (of) exception handling mechanisms (for) real-time systems; reliability; predicate/transition net; simulation supported validation; net simulator; net tool.