A Method for Specifying Complex Real-Time Systems With Application to an Experimental Variable Stability Helicopter
Roy Bradley · Enlighten: Theses (The University of Glasgow) · 1992
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.