Use this URL to cite or link to this record in EThOS:
Title: Interpretation of simulation for model-based design analysis of engineered systems
Author: Bell, Jonathan
ISNI:       0000 0001 3455 4720
Awarding Body: University of Wales Aberystwyth
Current Institution: Aberystwyth University
Date of Award: 2006
Availability of Full Text:
Access from EThOS:
Access from Institution:
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.
Supervisor: Snooke, Neal ; Price, Christopher Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: functional representation ; design analysis