{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:07Z","timestamp":1750307407536,"version":"3.41.0"},"reference-count":6,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2009,10,1]],"date-time":"2009-10-01T00:00:00Z","timestamp":1254355200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2009,10]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/1851340.1851353","type":"journal-article","created":{"date-parts":[[2010,8,31]],"date-time":"2010-08-31T13:05:55Z","timestamp":1283259955000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["A programming language for adaptation control"],"prefix":"10.1145","volume":"6","author":[{"given":"Soufyane","family":"Aboubekr","sequence":"first","affiliation":[{"name":"INRIA Grenoble"}]},{"given":"Gwena\u00e9l","family":"Delaval","sequence":"additional","affiliation":[{"name":"INRIA Grenoble"}]},{"given":"\u00c9ric","family":"Rutten","sequence":"additional","affiliation":[{"name":"INRIA Grenoble"}]}],"member":"320","published-online":{"date-parts":[[2009,10]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_2_1_1_1","DOI":"10.1109\/JPROC.2002.805826"},{"volume-title":"Draft available from the authors","year":"2009","author":"Delaval G.","key":"e_1_2_1_2_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_3_1","DOI":"10.5555\/975344"},{"doi-asserted-by":"publisher","key":"e_1_2_1_4_1","DOI":"10.1023\/A:1008311720696"},{"doi-asserted-by":"publisher","key":"e_1_2_1_5_1","DOI":"10.1145\/1480881.1480913"},{"doi-asserted-by":"publisher","key":"e_1_2_1_6_1","DOI":"10.1109\/ICESS.2009.12"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1851340.1851353","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1851340.1851353","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:29Z","timestamp":1750246769000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1851340.1851353"}},"subtitle":["case study"],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":6,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,10]]}},"alternative-id":["10.1145\/1851340.1851353"],"URL":"https:\/\/doi.org\/10.1145\/1851340.1851353","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2009,10]]},"assertion":[{"value":"2009-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}