A Contract-Based Language for Embedded Control Systems

Johan Eker, Anders Blomdell

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceedingpeer-review


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.
Original languageEnglish
Title of host publicationProceedning of the Workshop for Real-time Programming Languages
Publication statusPublished - 2000

Subject classification (UKÄ)

  • Control Engineering


Dive into the research topics of 'A Contract-Based Language for Embedded Control Systems'. Together they form a unique fingerprint.

Cite this