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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1145/1851340.1851353 | SIGBED Review |
Keywords | Field | DocType |
video module,safe design,bzr programming language,special new contract mechanism,multimedia cellular phone,meeting execution constraint,automatical discrete controller synthesis,correct adaptation control,case study,adaptive embedded system,adaptive control,embedded system,programming language | Control theory,Programming language,Computer science,Real-time computing,Code generation,Phone,Embedded system,Distributed computing | Journal |
Volume | Issue | Citations |
6 | 3 | 3 |
PageRank | References | Authors |
0.42 | 2 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Soufyane Aboubekr | 1 | 3 | 0.42 |
Gwenaél Delaval | 2 | 5 | 1.13 |
Éric Rutten | 3 | 255 | 30.50 |