A Contract-Based Language for Embedded Control Systems
Författare
Summary, in English
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 resources, and redistribute them when necessary.
Avdelning/ar
Publiceringsår
2000
Språk
Engelska
Publikation/Tidskrift/Serie
Proceedning of the Workshop for Real-time Programming Languages
Dokumenttyp
Konferensbidrag
Ämne
- Control Engineering
Status
Published