A programming language for adaptation control: case study

Authors:
Soufyane Aboubekr;Gwenaél Delaval;Éric Rutten
Affiliations:
INRIA Grenoble;INRIA Grenoble;INRIA Grenoble
Venue:
ACM SIGBED Review - Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'09)
Year:
2009

Citing 4
Cited 1

Synthesis of Discrete-Event Controllers Based on the SignalEnvironment

Discrete Event Dynamic Systems
Feedback Control of Computing Systems

Feedback Control of Computing Systems
The theory of deadlock avoidance via discrete control

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems

ICESS '09 Proceedings of the 2009 International Conference on Embedded Software and Systems

Contracts for modular discrete controller synthesis

Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We illustrate an approach for the safe design of adaptive embedded systems. It applies the BZR programming language, featuring a special new contract mechanism: its compilation involves automatical discrete controller synthesis. The contribution of this paper is to illustrate how it can be used to enforce the correct adaptation control of the application, meeting execution constraints, with the case study of a video module of a multimedia cellular phone.