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

[摘要] 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.

[发布机构] University:University of Glasgow

[关键词] Aerospace engineering