A Contract-Based Language for Embedded Control Systems

Autor: Johan Eker, Anders Blomdell
Rok vydání: 2000
Předmět:
Zdroj: IFAC Proceedings Volumes. 33:17-22
ISSN: 1474-6670
DOI: 10.1016/s1474-6670(17)39927-5
Popis: 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.
Databáze: OpenAIRE