{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:14Z","timestamp":1750306034056,"version":"3.41.0"},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2018,1,4]],"date-time":"2018-01-04T00:00:00Z","timestamp":1515024000000},"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":[[2018,1,4]]},"abstract":"<jats:p>Cyberphysical systems (CPS) integrate embedded sensors, actuators, and computing elements for controlling physical processes. Due to the intimate interactions with the surrounding environment, CPS software must continuously adapt to changing conditions. Enacting adaptation decisions is often subject to strict time requirements to ensure control stability, while CPS software must operate within the tight resource constraints that characterize CPS platforms. Developers are typically left without dedicated programming support to cope with these aspects. This results in either to neglect functional or timing issues that may potentially arise or to invest significant efforts to implement hand-crafted solutions. We provide programming constructs that allow developers to simplify the specification of adaptive processing and to rely on well-defined time semantics. Our evaluation shows that using these constructs simplifies implementations while reducing developers' effort, at the price of a modest memory and processing overhead.<\/jats:p>","DOI":"10.1145\/3177803.3177808","type":"journal-article","created":{"date-parts":[[2018,1,4]],"date-time":"2018-01-04T16:27:31Z","timestamp":1515083251000},"page":"27-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Programming support for time-sensitive adaptation in cyberphysical systems"],"prefix":"10.1145","volume":"14","author":[{"given":"Mikhail","family":"Afanasov","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleksandr","family":"Iavorskii","sequence":"additional","affiliation":[{"name":"John Wiley &amp; Sons Inc., Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Mottola","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy and SICS Swedish ICT"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,1,4]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/DCOSS.2014.31"},{"key":"e_1_2_1_2_1","unstructured":"ArduPilot. www.ardupilot.com.  ArduPilot. www.ardupilot.com."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11428572_7"},{"volume-title":"Proc. of ARCS","year":"2015","author":"Bretschneider T. R.","key":"e_1_2_1_4_1"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/285160"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1656539"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368166"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2198662"},{"key":"e_1_2_1_9_1","unstructured":"M. H. Halstead. Elements of Software Science (Operating and Programming Systems Series). 1977.  M. H. Halstead. Elements of Software Science (Operating and Programming Systems Series). 1977."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2008.7.3.a4"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225041"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960305"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/940923.940926"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_2_1_15_1","unstructured":"mBed on-line IDE. developer.mbed.org.  mBed on-line IDE. developer.mbed.org."},{"volume-title":"Proc. of the AAAI","year":"2008","author":"McGann C.","key":"e_1_2_1_16_1"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1307414"},{"key":"e_1_2_1_18_1","unstructured":"OpenROV. www.openrov.com.  OpenROV. www.openrov.com."},{"volume-title":"Proc. of RTSS","year":"2004","author":"Patil A.","key":"e_1_2_1_19_1"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SBESC.2014.15"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2181"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.03.024"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988051.1988053"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814620"},{"key":"e_1_2_1_25_1","doi-asserted-by":"crossref","unstructured":"J. A. Stankovic etal Opportunities and obligations for physical computing systems. IEEE Computer 38(11) 2005.  J. A. Stankovic et al. Opportunities and obligations for physical computing systems. IEEE Computer 38(11) 2005.","DOI":"10.1109\/MC.2005.386"},{"volume-title":"Proc. of SE","year":"2007","author":"Trapp M.","key":"e_1_2_1_26_1"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3177803.3177808","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3177803.3177808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:02:54Z","timestamp":1750215774000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3177803.3177808"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,4]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,1,4]]}},"alternative-id":["10.1145\/3177803.3177808"],"URL":"https:\/\/doi.org\/10.1145\/3177803.3177808","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2018,1,4]]},"assertion":[{"value":"2018-01-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}