A Contract-Based Language for Embedded Control Systems
(2000)- Abstract
- 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.
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/526398
- author
- Eker, Johan and Blomdell, Anders LU
- organization
- publishing date
- 2000
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- host publication
- Proceedning of the Workshop for Real-time Programming Languages
- language
- English
- LU publication?
- yes
- id
- 1fac8c7c-ffb9-45c4-ab53-f60dae820b79 (old id 526398)
- date added to LUP
- 2016-04-04 12:52:44
- date last changed
- 2018-11-21 21:11:13
@inproceedings{1fac8c7c-ffb9-45c4-ab53-f60dae820b79, abstract = {{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.}}, author = {{Eker, Johan and Blomdell, Anders}}, booktitle = {{Proceedning of the Workshop for Real-time Programming Languages}}, language = {{eng}}, title = {{A Contract-Based Language for Embedded Control Systems}}, year = {{2000}}, }