{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:56:23Z","timestamp":1750308983138,"version":"3.41.0"},"reference-count":8,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2017,11,22]],"date-time":"2017-11-22T00:00:00Z","timestamp":1511308800000},"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":[[2017,11,22]]},"abstract":"<jats:p>In this paper we highlight challenges of the applicability of contracting (based on assumptions and guarantees) for cyber-physical systems design. We illustrate in an example the limitations of an entirely composability-centered contracting approach. An alternative approach is subsequently proposed and applied to the presented example to illustrate that it is capable of handling the limitations demonstrated for the composable approach.<\/jats:p>","DOI":"10.1145\/3166227.3166236","type":"journal-article","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T13:24:24Z","timestamp":1511789064000},"page":"45-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Contracting challenges for system design and integration"],"prefix":"10.1145","volume":"14","author":[{"given":"Mischa","family":"M\u00f6stl","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Braunschweig"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Ernst","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Braunschweig"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,11,22]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Release 4.2.1 edition","author":"OSAR","year":"2015","unstructured":"AUT OSAR GbR. Requirements on Operating System , Release 4.2.1 edition , July 2015 . AUTOSAR GbR. Requirements on Operating System, Release 4.2.1 edition, July 2015."},{"key":"e_1_2_1_2_1","first-page":"125","volume-title":"13th Euromicro Conference on, 2001","author":"Harbour M. G.","year":"2001","unstructured":"M. G. Harbour , J. J. G. Garcia , J. C. P. Gutierrez , and J. M. D. Moyano . MAST : Modeling and analysis suite for real time applications. In Real-Time Systems , 13th Euromicro Conference on, 2001 ., pages 125 -- 134 , 2001 . M. G. Harbour, J. J. G. Garcia, J. C. P. Gutierrez, and J. M. D. Moyano. MAST: Modeling and analysis suite for real time applications. In Real-Time Systems, 13th Euromicro Conference on, 2001., pages 125--134, 2001."},{"doi-asserted-by":"publisher","key":"e_1_2_1_3_1","DOI":"10.1049\/ip-cdt:20045088"},{"key":"e_1_2_1_4_1","volume-title":"April","author":"International Organization for Standardization - ISO.","year":"2011","unstructured":"International Organization for Standardization - ISO. ISO 26262 - Road vehicles - Functional safety, 2 edition , April 2011 . International Organization for Standardization - ISO. ISO 26262 - Road vehicles - Functional safety, 2 edition, April 2011."},{"key":"e_1_2_1_5_1","volume-title":"Vehicular Electronics and Safety (ICVES'14)","author":"Reschka A.","year":"2014","unstructured":"A. Reschka , M. Nolte , T. Stolte , J. Schlatow , R. Ernst , and M. Maurer . Specifying a middleware for distributed embedded vehicle control systems . In Vehicular Electronics and Safety (ICVES'14) , Dec. 2014 . A. Reschka, M. Nolte, T. Stolte, J. Schlatow, R. Ernst, and M. Maurer. Specifying a middleware for distributed embedded vehicle control systems. In Vehicular Electronics and Safety (ICVES'14), Dec. 2014."},{"key":"e_1_2_1_6_1","first-page":"1","volume-title":"Response-Time Analysis for Task Chains in Communicating Threads. In 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","author":"Schlatow J.","year":"2016","unstructured":"J. Schlatow and R. Ernst . Response-Time Analysis for Task Chains in Communicating Threads. In 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) , pages 1 -- 10 , Apr. 2016 . J. Schlatow and R. Ernst. Response-Time Analysis for Task Chains in Communicating Threads. In 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 1--10, Apr. 2016."},{"key":"e_1_2_1_7_1","volume-title":"April","author":"The International Electrotechnical Commission - IEC.","year":"2010","unstructured":"The International Electrotechnical Commission - IEC. IEC 61508 - Functional safety of electrical\/electronic\/programmable electronic safety-related systems, 2 edition , April 2010 . The International Electrotechnical Commission - IEC. IEC 61508 - Functional safety of electrical\/electronic\/programmable electronic safety-related systems, 2 edition, April 2010."},{"doi-asserted-by":"publisher","key":"e_1_2_1_8_1","DOI":"10.1109\/ISCAS.2000.858698"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3166227.3166236","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3166227.3166236","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:41:06Z","timestamp":1750282866000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3166227.3166236"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,22]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,11,22]]}},"alternative-id":["10.1145\/3166227.3166236"],"URL":"https:\/\/doi.org\/10.1145\/3166227.3166236","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2017,11,22]]},"assertion":[{"value":"2017-11-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}