A Method for Specifying Complex Real-Time Systems With Application to an Experimental Variable Stability Helicopter

Bradley, Roy (1992) A Method for Specifying Complex Real-Time Systems With Application to an Experimental Variable Stability Helicopter. PhD thesis, University of Glasgow.

Abstract

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.

• Item Type: Thesis (PhD)
• Qualification Level: Doctoral
• Keywords: Aerospace engineering
• Date of Award: 1992
• Depositing User: Enlighten Team
• Unique ID: glathesis:1992-77318
• Copyright: Copyright of this thesis is held by the author.
• Date Deposited: 14 Jan 2020 09:12
• Last Modified: 14 Jan 2020 09:12
• URI: https://theses.gla.ac.uk/id/eprint/77318