A Contract-Based Language for Embedded Control Systems
Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
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.
|Research areas and keywords||
Subject classification (UKÄ) – MANDATORY
|Title of host publication||Proceedning of the Workshop for Real-time Programming Languages|
|Publication status||Published - 2000|