A Contract-Based Language for Embedded Control Systems
Author
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.
Department/s
Publishing year
2000
Language
English
Publication/Series
Proceedning of the Workshop for Real-time Programming Languages
Document type
Conference paper
Topic
- Control Engineering
Status
Published