{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T08:46:28Z","timestamp":1767084388353,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,4,8]],"date-time":"2013-04-08T00:00:00Z","timestamp":1365379200000},"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":[[2013,4,8]]},"DOI":"10.1145\/2502524.2502539","type":"proceedings-article","created":{"date-parts":[[2013,7,16]],"date-time":"2013-07-16T18:06:58Z","timestamp":1373998018000},"page":"99-108","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":53,"title":["Context-sensitive synthesis of executable functional models of cyber-physical systems"],"prefix":"10.1145","author":[{"given":"Arquimedes","family":"Canedo","sequence":"first","affiliation":[{"name":"Siemens Corporation, Princeton"}]},{"given":"Eric","family":"Schwarzenbach","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton"}]},{"given":"Mohammad Abdullah","family":"Al Faruque","sequence":"additional","affiliation":[{"name":"University of California, Irvine"}]}],"member":"320","published-online":{"date-parts":[[2013,4,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"System design: New product development for mechatronics","author":"Aberdeen Group","year":"2008","unstructured":"Aberdeen Group . System design: New product development for mechatronics . January 2008 . Aberdeen Group. System design: New product development for mechatronics. January 2008."},{"key":"e_1_3_2_1_2_1","first-page":"412","volume-title":"Proc. of the 19th CIRP Design Conference \u00e2\u0102\u015e Competitive Design","author":"Alvarez Cabrera A. A.","year":"2009","unstructured":"A. A. Alvarez Cabrera , M. S. Erden , and T. Tomiyama . On the potential of function-behavior-state (FBS) methodology for the integration of modeling tools . In Proc. of the 19th CIRP Design Conference \u00e2\u0102\u015e Competitive Design , pages 412 -- 419 , 2009 . A. A. Alvarez Cabrera, M. S. Erden, and T. Tomiyama. On the potential of function-behavior-state (FBS) methodology for the integration of modeling tools. In Proc. of the 19th CIRP Design Conference \u00e2\u0102\u015e Competitive Design, pages 412--419, 2009."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2010.2073480"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. of the Embedded Real Time Software and Systems Conference (ERTS 2010)","author":"Bhave A.","year":"2010","unstructured":"A. Bhave , D. Garlan , B. Krogh , and B. Schmerl . Multi-domain modeling of cyber-physical systems using architectural views . In Proc. of the Embedded Real Time Software and Systems Conference (ERTS 2010) , 2010 . A. Bhave, D. Garlan, B. Krogh, and B. Schmerl. Multi-domain modeling of cyber-physical systems using architectural views. In Proc. of the Embedded Real Time Software and Systems Conference (ERTS 2010), 2010."},{"key":"e_1_3_2_1_5_1","first-page":"15","volume-title":"Proc. of International Conference on Engineering Design, ICED 2005","author":"Bryant C. R.","year":"2005","unstructured":"C. R. Bryant , R. B. Stone , D. A. Mcadams , T. Kurtoglu , and M. I. Campbell . Concept generation from the functional basis of design . In Proc. of International Conference on Engineering Design, ICED 2005 , pages 15 -- 18 , 2005 . C. R. Bryant, R. B. Stone, D. A. Mcadams, T. Kurtoglu, and M. I. Campbell. Concept generation from the functional basis of design. In Proc. of International Conference on Engineering Design, ICED 2005, pages 15--18, 2005."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1094\/CC-82-0053"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2011.01.009"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3922-0","volume-title":"Continuous System Modeling","author":"Cellier F. E.","year":"1991","unstructured":"F. E. Cellier . Continuous System Modeling . Springer-Verlag , 1991 . F. E. Cellier. Continuous System Modeling. Springer-Verlag, 1991."},{"key":"e_1_3_2_1_9_1","volume-title":"54th Joint JANNAF Propulsion Conference","author":"Dumbacher D.","year":"2007","unstructured":"D. Dumbacher and S. R. Davis . Building operations efficiencies into nasa's ares i crew launch vehicle design . In 54th Joint JANNAF Propulsion Conference , 2007 . D. Dumbacher and S. R. Davis. Building operations efficiencies into nasa's ares i crew launch vehicle design. In 54th Joint JANNAF Propulsion Conference, 2007."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060408000103"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1950815.1950869"},{"key":"e_1_3_2_1_12_1","volume-title":"NIST","author":"Hirtz J.","year":"2002","unstructured":"J. Hirtz , R. B. Stone , S. Szykman , D. A. McAdams , and K. L. Wood . A functional basis for engineering design: Reconciling and evolving previous efforts. Technical report , NIST , 2002 . J. Hirtz, R. B. Stone, S. Szykman, D. A. McAdams, and K. L. Wood. A functional basis for engineering design: Reconciling and evolving previous efforts. Technical report, NIST, 2002."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cad.2012.02.004"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2012-70378"},{"key":"e_1_3_2_1_15_1","first-page":"19","article-title":"Automated synthesis of electromechanical design configurations from empirical analysis of function to form mapping","author":"Kurtoglu T.","year":"2008","unstructured":"T. Kurtoglu and M. I. Campbell . Automated synthesis of electromechanical design configurations from empirical analysis of function to form mapping . Journal of Engineering Design , 19 , 2008 . T. Kurtoglu and M. I. Campbell. Automated synthesis of electromechanical design configurations from empirical analysis of function to form mapping. Journal of Engineering Design, 19, 2008.","journal-title":"Journal of Engineering Design"},{"key":"e_1_3_2_1_16_1","unstructured":"Lawrence Berkeley National Laboratory - Modelica Buildings Library. http:\/\/simulationresearch.lbl.gov\/modelica.  Lawrence Berkeley National Laboratory - Modelica Buildings Library. http:\/\/simulationresearch.lbl.gov\/modelica."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2165270"},{"key":"e_1_3_2_1_19_1","unstructured":"Mathworks. Simscape. http:\/\/www.mathworks.com\/products\/simscape\/.  Mathworks. Simscape. http:\/\/www.mathworks.com\/products\/simscape\/."},{"key":"e_1_3_2_1_20_1","volume-title":"Executable UML: A Foundation for Model-Driven Architectures","author":"Mellor S. J.","year":"2002","unstructured":"S. J. Mellor and M. Balcer . Executable UML: A Foundation for Model-Driven Architectures . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 2002 . S. J. Mellor and M. Balcer. Executable UML: A Foundation for Model-Driven Architectures. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002."},{"key":"e_1_3_2_1_21_1","unstructured":"Oregon State University Design Engineering Lab Design Repository. http:\/\/designengineeringlab.org\/.  Oregon State University Design Engineering Lab Design Repository. http:\/\/designengineeringlab.org\/."},{"key":"e_1_3_2_1_22_1","unstructured":"Modelica Association Modelica. https:\/\/modelica.org\/.  Modelica Association Modelica. https:\/\/modelica.org\/."},{"key":"e_1_3_2_1_23_1","unstructured":"Modelica Association Modelica Standard Library. https:\/\/modelica.org\/libraries\/Modelica\/.  Modelica Association Modelica Standard Library. https:\/\/modelica.org\/libraries\/Modelica\/."},{"key":"e_1_3_2_1_24_1","unstructured":"Modelon - Vehicle Dynamics Library. http:\/\/www.modelon.com\/.  Modelon - Vehicle Dynamics Library. http:\/\/www.modelon.com\/."},{"key":"e_1_3_2_1_25_1","unstructured":"OMG Systems Modeling Language (SysML). http:\/\/http:\/\/www.omgsysml.org\/.  OMG Systems Modeling Language (SysML). http:\/\/http:\/\/www.omgsysml.org\/."},{"key":"e_1_3_2_1_26_1","volume-title":"Modelica 2005 Proceedings","author":"Otter M.","year":"2005","unstructured":"M. Otter , K.-E. \u00c5rz\u00e9n , and I. Dressler . Stategraph---A Modelica library for hierarchical state machines . In Modelica 2005 Proceedings , 2005 . M. Otter, K.-E. \u00c5rz\u00e9n, and I. Dressler. Stategraph---A Modelica library for hierarchical state machines. In Modelica 2005 Proceedings, 2005."},{"key":"e_1_3_2_1_27_1","volume-title":"Engineering Design - A Systematic Approach","author":"Pahl G.","year":"2007","unstructured":"G. Pahl , W. Beitz , J. Feldhusen , and K. Grote . Engineering Design - A Systematic Approach . Springer , 3 rd edition, 2007 . G. Pahl, W. Beitz, J. Feldhusen, and K. Grote. Engineering Design - A Systematic Approach. Springer, 3rd edition, 2007.","edition":"3"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1129601.1129712"},{"key":"e_1_3_2_1_30_1","volume-title":"AIAC-13 Thirteenth Australian International Aerospace Congress","author":"Rudov-Clark S.","year":"2009","unstructured":"S. Rudov-Clark and J. Stecki . The language of FMEA: on the effective use and reuse of FMEA data . In AIAC-13 Thirteenth Australian International Aerospace Congress , 2009 . S. Rudov-Clark and J. Stecki. The language of FMEA: on the effective use and reuse of FMEA data. In AIAC-13 Thirteenth Australian International Aerospace Congress, 2009."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.890107"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(00)00220-2"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.1289637"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161529"},{"key":"e_1_3_2_1_35_1","volume-title":"Complexity of multi-disciplinary design. CIRP Annals - Manufacturing Technology, 56(1):185--188","author":"Tomiyama T.","year":"2007","unstructured":"T. Tomiyama , V. D'Amelio , J. Urbanic , and W. ElMaraghy . Complexity of multi-disciplinary design. CIRP Annals - Manufacturing Technology, 56(1):185--188 , 2007 . T. Tomiyama, V. D'Amelio, J. Urbanic, and W. ElMaraghy. Complexity of multi-disciplinary design. CIRP Annals - Manufacturing Technology, 56(1):185--188, 2007."},{"key":"e_1_3_2_1_36_1","volume-title":"Meta ii: Formal co-verification of correctness of large-scale cyber-physical systems during design. Technical report","author":"Uckun S.","year":"2011","unstructured":"S. Uckun . Meta ii: Formal co-verification of correctness of large-scale cyber-physical systems during design. Technical report , Palo Alto Research Center , September 2011 . S. Uckun. Meta ii: Formal co-verification of correctness of large-scale cyber-physical systems during design. Technical report, Palo Alto Research Center, September 2011."},{"key":"e_1_3_2_1_37_1","volume-title":"Function, behaviour, and structure. Applications of artificial intelligence in engineering V, 1:177--194","author":"Umeda Y.","year":"1990","unstructured":"Y. Umeda , H. Takeda , T. Tomiyama , and H. Yoshikawa . Function, behaviour, and structure. Applications of artificial intelligence in engineering V, 1:177--194 , 1990 . Y. Umeda, H. Takeda, T. Tomiyama, and H. Yoshikawa. Function, behaviour, and structure. Applications of artificial intelligence in engineering V, 1:177--194, 1990."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2010.02.002"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2009-87239"}],"event":{"name":"ICCPS '13: ACM\/IEEE 4th International Conference on Cyber-Physical Systems","sponsor":["IEEE-CS\\TCRT TC on Real-Time Systems","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Philadelphia Pennsylvania","acronym":"ICCPS '13"},"container-title":["Proceedings of the ACM\/IEEE 4th International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2502524.2502539","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2502524.2502539","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:54Z","timestamp":1750234734000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2502524.2502539"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,8]]},"references-count":39,"alternative-id":["10.1145\/2502524.2502539","10.1145\/2502524"],"URL":"https:\/\/doi.org\/10.1145\/2502524.2502539","relation":{},"subject":[],"published":{"date-parts":[[2013,4,8]]},"assertion":[{"value":"2013-04-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}