A Contract-Based Language for Embedded Control Systems

Research output: Chapter in Book/Report/Conference proceedingPaper 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

  • Control Engineering
Original languageEnglish
Title of host publicationProceedning of the Workshop for Real-time Programming Languages
Publication statusPublished - 2000
Publication categoryResearch