A programming language for adaptation control
Soufyane Aboubekr, Gwenaël Delaval, Éric Rutten · ACM SIGBED Review · 2009
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.