{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:10:09Z","timestamp":1750227009518,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,4]],"date-time":"2015-10-04T00:00:00Z","timestamp":1443916800000},"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":[],"published-print":{"date-parts":[[2015,10,4]]},"DOI":"10.1145\/2832920.2832924","type":"proceedings-article","created":{"date-parts":[[2015,11,23]],"date-time":"2015-11-23T13:24:48Z","timestamp":1448285088000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Cyber-Physical System and Contract-Based Design"],"prefix":"10.1145","author":[{"given":"Daniela","family":"Cancila","sequence":"first","affiliation":[{"name":"CEA, LIST, CEA Saclay - F91191, Gif-sur-Yvette Cedex"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hadi","family":"Zaatiti","sequence":"additional","affiliation":[{"name":"CEA, LIST, CEA Saclay - F91191, Gif-sur-Yvette Cedex"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Passerone","sequence":"additional","affiliation":[{"name":"DISI, University of Trento, 38123, Trento"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,10,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Ansaldo-STS. Glossary. http:\/\/www.ansaldo-sts.com\/en\/glossary. Accessed: 2015-04-20.  Ansaldo-STS. Glossary. http:\/\/www.ansaldo-sts.com\/en\/glossary. Accessed: 2015-04-20."},{"key":"e_1_3_2_1_2_1","unstructured":"ASSERT FP6 Project. Automated proof-based System and Software Engineering for Real-Time systems project. http:\/\/www.assert-project.net.  ASSERT FP6 Project. Automated proof-based System and Software Engineering for Real-Time systems project. http:\/\/www.assert-project.net."},{"key":"e_1_3_2_1_3_1","unstructured":"AUTOSAR. Automotive Open System Architecture. www.autosar.org.  AUTOSAR. Automotive Open System Architecture. www.autosar.org."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2829957.2829958"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2008.4641436"},{"key":"e_1_3_2_1_6_1","unstructured":"Blender Foundation. Home of the blender project. Free and open 3D creation software. https:\/\/www.blender.org.  Blender Foundation. Home of the blender project. Free and open 3D creation software. https:\/\/www.blender.org."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2043741"},{"issue":"4","key":"e_1_3_2_1_8_1","first-page":"272","article-title":"Feasibility study in the use of contract-based approaches to deal with safety-related properties","volume":"35","author":"Cancila D.","year":"2014","unstructured":"D. Cancila , E. Soubiran , and R. Passerone . Feasibility study in the use of contract-based approaches to deal with safety-related properties in CPS. Ada User Journal , 35 ( 4 ): 272 -- 277 , December 2014 . D. Cancila, E. Soubiran, and R. Passerone. Feasibility study in the use of contract-based approaches to deal with safety-related properties in CPS. Ada User Journal, 35(4):272--277, December 2014.","journal-title":"CPS. Ada User Journal"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693137"},{"key":"e_1_3_2_1_10_1","unstructured":"CONCERTO Project. Guaranteed Component Assembly with Roud Trip Analysis for Energy High-integrity Multi-core Systems. http:\/\/www.concerto-project.org\/.  CONCERTO Project. Guaranteed Component Assembly with Roud Trip Analysis for Energy High-integrity Multi-core Systems. http:\/\/www.concerto-project.org\/."},{"key":"e_1_3_2_1_11_1","unstructured":"CONTREX FP7 Project. Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties. http:\/\/www.assert-project.net.  CONTREX FP7 Project. Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties. http:\/\/www.assert-project.net."},{"key":"e_1_3_2_1_12_1","unstructured":"CyPhERS FP7 Project. CPS: State of the Art. http:\/\/www.cyphers.eu\/sites\/default\/files\/D5.1.pdf.  CyPhERS FP7 Project. CPS: State of the Art. http:\/\/www.cyphers.eu\/sites\/default\/files\/D5.1.pdf."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763167"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2435227.2435245"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502540"},{"key":"e_1_3_2_1_16_1","unstructured":"DREAMS FP7 Project. Distributed REal-time Architecture for Mixed Criticality Systems. http:\/\/www.assert-project.net.  DREAMS FP7 Project. Distributed REal-time Architecture for Mixed Criticality Systems. http:\/\/www.assert-project.net."},{"key":"e_1_3_2_1_17_1","unstructured":"Eclipse. Open Source Tools for Embedded Systems (PolarSys). https:\/\/www.polarsys.org\/projects\/polarsys.chess.  Eclipse. Open Source Tools for Embedded Systems (PolarSys). https:\/\/www.polarsys.org\/projects\/polarsys.chess."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656075.2656093"},{"key":"e_1_3_2_1_19_1","unstructured":"Hamed Zaghaghi. Animation Temporal Verification. http:\/\/www.foro3d.com\/f230\/animation-temporal-verification-77370.html.  Hamed Zaghaghi. Animation Temporal Verification. http:\/\/www.foro3d.com\/f230\/animation-temporal-verification-77370.html."},{"key":"e_1_3_2_1_20_1","unstructured":"PROXIMA FP7 Project. Probabilistic real-time control of mixed-criticality multicore and manycore systems. http:\/\/www.proxima-project.eu\/.  PROXIMA FP7 Project. Probabilistic real-time control of mixed-criticality multicore and manycore systems. http:\/\/www.proxima-project.eu\/."},{"key":"e_1_3_2_1_21_1","unstructured":"SAFECER Project. Safety Certification of Software-Intensive Systems with Reusable Components. http:\/\/www.safecer.eu\/.  SAFECER Project. Safety Certification of Software-Intensive Systems with Reusable Components. http:\/\/www.safecer.eu\/."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"volume-title":"How does a driverless metro system work?","year":"2012","key":"e_1_3_2_1_23_1","unstructured":"Siemens. How does a driverless metro system work? April 2012 . FactSheet . Siemens. How does a driverless metro system work? April 2012. FactSheet."},{"volume-title":"Trainguard Sirius CBTC","year":"2013","key":"e_1_3_2_1_24_1","unstructured":"Siemens. Trainguard Sirius CBTC . 2013 . Siemens. Trainguard Sirius CBTC. 2013."},{"key":"e_1_3_2_1_25_1","unstructured":"SPEEDS FP6 Project. SPEculative and Exploratory Design in Systems Engineering. http:\/\/www.speeds.eu.com\/.  SPEEDS FP6 Project. SPEculative and Exploratory Design in Systems Engineering. http:\/\/www.speeds.eu.com\/."},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of WESE workshop","author":"Taha W.","year":"2013","unstructured":"W. Taha , R. Cartwright , R. Philippsen , and Y. Zeng . Experiences with A First Course on Cyber-Physical Systems . In Proceedings of WESE workshop , 2013 . W. Taha, R. Cartwright, R. Philippsen, and Y. Zeng. Experiences with A First Course on Cyber-Physical Systems. In Proceedings of WESE workshop, 2013."},{"volume-title":"Automatic train operation","author":"Technical R.","key":"e_1_3_2_1_27_1","unstructured":"R. Technical . Automatic train operation . http:\/\/www.railway-technical.com\/sigtxt4.shtml\\#ATO-ATP-Multi-Home-Signalling, December 2014. Accessed: 2015-04-25. R. Technical. Automatic train operation. http:\/\/www.railway-technical.com\/sigtxt4.shtml\\#ATO-ATP-Multi-Home-Signalling, December 2014. Accessed: 2015-04-25."},{"key":"e_1_3_2_1_28_1","unstructured":"The GSN Working Group Online. Goal Structuring Notation (GSN). http:\/\/www.goalstructuringnotation.info\/.  The GSN Working Group Online. Goal Structuring Notation (GSN). http:\/\/www.goalstructuringnotation.info\/."}],"event":{"name":"ESWEEK'15: ELEVENTH EMBEDDED SYSTEM WEEK","sponsor":["CEDA Council on Electronic Design Automation","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CS"],"location":"Amsterdam Netherlands","acronym":"ESWEEK'15"},"container-title":["Proceedings of the WESE'15: Workshop on Embedded and Cyber-Physical Systems Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2832920.2832924","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2832920.2832924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:05Z","timestamp":1750225385000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2832920.2832924"}},"subtitle":["A Three Dimensional View"],"short-title":[],"issued":{"date-parts":[[2015,10,4]]},"references-count":28,"alternative-id":["10.1145\/2832920.2832924","10.1145\/2832920"],"URL":"https:\/\/doi.org\/10.1145\/2832920.2832924","relation":{},"subject":[],"published":{"date-parts":[[2015,10,4]]},"assertion":[{"value":"2015-10-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}