Meny

Du är här

A Contract-Based Language for Embedded Control Systems

Författare:
Publiceringsår: 2000
Språk: Engelska
Publikation/Tidskrift/Serie: Proceedning of the Workshop for Real-time Programming Languages
Dokumenttyp: Konferensbidrag

Sammanfattning

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.

Disputation

Nyckelord

  • Technology and Engineering

Övriga

Published
Yes

Box 117, 221 00 LUND
Telefon 046-222 00 00 (växel)
Telefax 046-222 47 20
lu [at] lu [dot] se

Fakturaadress: Box 188, 221 00 LUND
Organisationsnummer: 202100-3211
Om webbplatsen