Deakin University
Browse
dew-prototypingrealtime-1992.pdf (11.04 MB)

Prototyping real-time systems using Petri net and object-oriented models

Download (11.04 MB)
thesis
posted on 1992-01-01, 00:00 authored by Robert Alan. Dew
The objective of the research for this thesis is to develop techniques in order to build an executable model of a real-time system. This model is to be used early in the development of the system not only to detect errors in the specification of the system but also to validate expectations of the developer as to the operation of the system. A graphical specification of a real-time system called the transformation schema was chosen to be used to build the model. Two executable models of a real-time system are described.

History

Pagination

xii, 280 leaves : ill. ; 30 cm.

Open access

  • Yes

Material type

thesis

Resource type

thesis

Language

eng

Notes

Thesis (M.Sc.)--Deakin University, Victoria, 1992.

Degree name

M.Sc.

Faculty

Faculty of Science

School

Engineering and Built Environment

Usage metrics

    Theses

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC