Show simple item record

dc.contributor.advisor Snooke, Neal Bell, Jonathan 2006-06-27T14:59:52Z 2006-06-27T14:59:52Z 2006
dc.description.abstract This thesis attempts to answer the question "Can we devise a language for interpretation of behavioural simulation of engineered systems (of arbitrary complexity) in terms of the systems’ purpose?" It does so by presenting a language that represents a device’s function as achieving some purpose if the device is in a state that is intended to trigger the function and the function’s expected effect is present. While most work in the qualitative and model-based reasoning community has been concerned with simulation, this language is presented as a basis for interpret- ing the results of the simulation of a system, enabling these results to be expressed in terms of the system’s purpose. This, in turn, enables the automatic production of draft design analysis reports using model based analysis of the subject system. The increasing behavioural complexity of modern systems (resulting from the increasing use of microprocessors and software) has led to a need to interpret the results of simulation in cases beyond the capabilities of earlier functional mod- elling languages. The present work is concerned with such cases and presents a functional modelling language that enables these complex systems to be analysed. Specifically, the language presented herein allows functional description and interpretation of the following. • Cases where it is desired to distinguish between partial and complete failure of a function. • Systems whose functionality depends on achieving a sequence of intermittent effects. • Cases where a function being achieved in an untimely manner (typically late) needs to be distinguished from a function failing completely. • Systems with functions (such as warning functions) that depend upon the state of some other system function. This offers significant increases both in the range of systems and of design analysis tasks for which the language can be used, compared to earlier work. en
dc.format.extent 1864442 bytes
dc.format.mimetype application/pdf
dc.language.iso en en
dc.publisher University of Wales Aberystwyth en
dc.subject functional representation en
dc.subject design analysis en
dc.title Interpretation of simulation for model-based design analysis of engineered systems en
dc.type Text en
dc.publisher.department Computer Science en
dc.type.qualificationlevel doctoral en
dc.type.qualificationname PhD en
dc.type.publicationtype thesis or dissertation

Files in this item

Aside from theses and in the absence of a specific licence document on an item page, all works in Cadair are accessible under the CC BY-NC-ND Licence. AU theses and dissertations held on Cadair are made available for the purposes of private study and non-commercial research and brief extracts may be reproduced under fair dealing for the purpose of criticism or review. If you have any queries in relation to the re-use of material on Cadair, contact

This item appears in the following Collection(s)

Show simple item record

Search Cadair

Advanced Search