Toggle Main Menu Toggle Search

Open Access padlockePrints

Exception Handling in Real-Time Software for Specification

Lookup NU author(s): Dr Rogerio De Lemos, Dr Amer Saeed



In this paper we present a systematic method to cope with exception handling in the specification and design of real-time software. Guidelines for the construction of programs, directly, from a formal specification are also provided. The method proposed is an object-based approach which makes use of Petri Nets with Objects, and an object based design notation which incorporates facilities for exception handling and active objects. To illustrate the proposed approach a case study based on a train set is presented.

Publication metadata

Author(s): de Lemos R, Saeed A, Waterworth A

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1992

Pages: 20

Print publication date: 01/12/1992

Source Publication Date: December 1992

Report Number: 409

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne