Use this URL to cite or link to this record in EThOS:
Title: A method for specifying complex real-time systems with application to an experimental variable stability helicopter
Author: Bradley, Roy
ISNI:       0000 0001 3475 9232
Awarding Body: University of Glasgow
Current Institution: University of Glasgow
Date of Award: 1992
Availability of Full Text:
Access from EThOS:
Access from Institution:
Engineering systems increasingly contain a significant element of embedded software. The specification of such systems causes problems because of the diversity of the sub-systems which they contain. For example, in modem aerospace systems a combination of mechanical, electrical, hydraulic and digital sub-systems need to function together in a safety-critical manner. The need is for a uniform means of specification which spans the whole diversity of sub-systems and which serves both to verify and to validate the functional aspects of the total system.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Flight control systems