Sökresultat

Filtyp

Din sökning på "*" gav 539847 sökträffar

‘Causality’ in in-service information and design actions

In the global market of air transport, integration of products and services is now seen as being necessary for the long-term success of engine manufacturers. This paper describes research stimulated by a fundamental shift that is occurring in the manufacture and marketing of aero engines for commercial and defence purposes, away from the selling of products to the provision of services. Our collab

A Contract-Based Language for Embedded Control Systems

A new block-oriented language called Friend is proposed. It is designed to support for the implementation of flexible and adaptive embedded control systems. Requirements on a controller are specified using contracts. The use of contracts simplifies the design and implementation of embedded systems that can adapt to altered operating conditions. The contracts allow the system to negotiate about res