{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,28]],"date-time":"2026-09-28T17:36:33Z","timestamp":1790616993077,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,7]],"date-time":"2015-06-07T00:00:00Z","timestamp":1433635200000},"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,6,7]]},"DOI":"10.1145\/2744769.2747945","type":"proceedings-article","created":{"date-parts":[[2015,6,2]],"date-time":"2015-06-02T05:35:02Z","timestamp":1433223302000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["The challenge of interoperability"],"prefix":"10.1145","author":[{"given":"Huafeng","family":"Yu","sequence":"first","affiliation":[{"name":"Toyota InfoTechnology Center, Mountain View, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Prachi","family":"Joshi","sequence":"additional","affiliation":[{"name":"Virginia Polytechnic Institute and State University, Falls Church, VA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Pierre","family":"Talpin","sequence":"additional","affiliation":[{"name":"INRIA, Rennes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sandeep","family":"Shukla","sequence":"additional","affiliation":[{"name":"Virginia Polytechnic Institute and State University, Falls Church, VA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shinichi","family":"Shiraishi","sequence":"additional","affiliation":[{"name":"Toyota InfoTechnology Center, Mountain View, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"DARPA \"Adaptive Vehicle Make (AVM) Program.\" http:\/\/www.darpa.mil\/Our\\_Work\/TTO\/Programs.  DARPA \"Adaptive Vehicle Make (AVM) Program.\" http:\/\/www.darpa.mil\/Our\\_Work\/TTO\/Programs."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134292"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/846216.846984"},{"key":"e_1_3_2_1_5_1","volume-title":"System Architecture Virtual Integration: An Industrial Case Study,\" tech. rep","author":"Feiler P.-H.","year":"2009","unstructured":"P.-H. Feiler , J. Hansson , D. de Niz , and L. Wrage , \" System Architecture Virtual Integration: An Industrial Case Study,\" tech. rep ., Software Engineering Institute , 2009 . CMU\/SEI-2009-TR-017. P.-H. Feiler, J. Hansson, D. de Niz, and L. Wrage, \"System Architecture Virtual Integration: An Industrial Case Study,\" tech. rep., Software Engineering Institute, 2009. CMU\/SEI-2009-TR-017."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000763"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_8_1","volume-title":"Architecture Analysis and Design Language (AADL),\" SAE AS5506A","author":"SAE Aerospace (Society of Automotive Engineers), \"Aerospace Standard AS5506A","year":"2009","unstructured":"SAE Aerospace (Society of Automotive Engineers), \"Aerospace Standard AS5506A : Architecture Analysis and Design Language (AADL),\" SAE AS5506A , 2009 . SAE Aerospace (Society of Automotive Engineers), \"Aerospace Standard AS5506A: Architecture Analysis and Design Language (AADL),\" SAE AS5506A, 2009."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2004.824340"},{"key":"e_1_3_2_1_10_1","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"Shaw M.","year":"1996","unstructured":"M. Shaw and D. Garlan , Software Architecture: Perspectives on an Emerging Discipline . Prentice Hall Englewood Cliffs , 1996 . M. Shaw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall Englewood Cliffs, 1996."},{"key":"e_1_3_2_1_11_1","unstructured":"AUTOSAR (AUTomotive Open System ARchitecture). http:\/\/www.autosar.org\/.  AUTOSAR (AUTomotive Open System ARchitecture). http:\/\/www.autosar.org\/."},{"key":"e_1_3_2_1_12_1","unstructured":"EAST-ADL. http:\/\/www.east-adl.info.  EAST-ADL. http:\/\/www.east-adl.info."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2013.08.004"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982263"},{"key":"e_1_3_2_1_15_1","first-page":"291","volume-title":"Modelling Environment for Heterogeneous Systems based on MoCs,\" in Forum on specification and Design Languages (FDL)","author":"Mathaikutty D.","year":"2005","unstructured":"D. Mathaikutty , H. Patel , S. Shukla , and A. Jantsch , \" Modelling Environment for Heterogeneous Systems based on MoCs,\" in Forum on specification and Design Languages (FDL) , pp. 291 -- 303 , 2005 . D. Mathaikutty, H. Patel, S. Shukla, and A. Jantsch, \"Modelling Environment for Heterogeneous Systems based on MoCs,\" in Forum on specification and Design Languages (FDL), pp. 291--303, 2005."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161529"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"A. Rossignol \"The Reference Technology Platform \" in CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems Springer 2013.  A. Rossignol \"The Reference Technology Platform \" in CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems Springer 2013.","DOI":"10.1007\/978-3-7091-1387-5_6"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2037771"},{"key":"e_1_3_2_1_21_1","volume-title":"Model-based Toolchain for the Efficient Development of Safety-Relevant Automotive Embedded Systems,\" in SAE World Congress & Exhibition","author":"Armengaud E.","year":"2011","unstructured":"E. Armengaud , M. Zoier , , \" Model-based Toolchain for the Efficient Development of Safety-Relevant Automotive Embedded Systems,\" in SAE World Congress & Exhibition , 2011 . E. Armengaud, M. Zoier, et al., \"Model-based Toolchain for the Efficient Development of Safety-Relevant Automotive Embedded Systems,\" in SAE World Congress & Exhibition, 2011."},{"key":"e_1_3_2_1_22_1","first-page":"1173","volume-title":"Toward Polychronous Analysis and Validation for Timed Software Architectures in AADL,\" in Design, Automation, and Test in Europe (DATE)","author":"Ma Y.","year":"2013","unstructured":"Y. Ma , H. Yu , T. Gautier , P. Le Guernic , J.-P. Talpin , L. Besnard , and M. Heitz , \" Toward Polychronous Analysis and Validation for Timed Software Architectures in AADL,\" in Design, Automation, and Test in Europe (DATE) , pp. 1173 -- 1178 , 2013 . Y. Ma, H. Yu, T. Gautier, P. Le Guernic, J.-P. Talpin, L. Besnard, and M. Heitz, \"Toward Polychronous Analysis and Validation for Timed Software Architectures in AADL,\" in Design, Automation, and Test in Europe (DATE), pp. 1173--1178, 2013."},{"key":"e_1_3_2_1_23_1","volume-title":"Mapping Functional Behavior onto Architectural Model in a Model Driven Embedded System Design,\" in ACM Symposium on Applied Computing (SAC)","author":"Joshi P.","year":"2015","unstructured":"P. Joshi , S. K. Shukla , J.-P. Talpin , and H. Yu , \" Mapping Functional Behavior onto Architectural Model in a Model Driven Embedded System Design,\" in ACM Symposium on Applied Computing (SAC) , 2015 . To appear. P. Joshi, S. K. Shukla, J.-P. Talpin, and H. Yu, \"Mapping Functional Behavior onto Architectural Model in a Model Driven Embedded System Design,\" in ACM Symposium on Applied Computing (SAC), 2015. To appear."},{"key":"e_1_3_2_1_24_1","volume-title":"Timed Behavioural Modelling and Affine Scheduling of Embedded Software Architectures in the AADL using Polychrony,\" Science of Computer Programming","author":"Besnard L.","year":"2014","unstructured":"L. Besnard , A. Bouakaz , T. Gautier , P. L. Guernic , Y. Ma , J.-P. Talpin , and H. Yu , \" Timed Behavioural Modelling and Affine Scheduling of Embedded Software Architectures in the AADL using Polychrony,\" Science of Computer Programming , 2014 . doi:10.1016\/j.scico.2014.05.014. 10.1016\/j.scico.2014.05.014 L. Besnard, A. Bouakaz, T. Gautier, P. L. Guernic, Y. Ma, J.-P. Talpin, and H. Yu, \"Timed Behavioural Modelling and Affine Scheduling of Embedded Software Architectures in the AADL using Polychrony,\" Science of Computer Programming, 2014. doi:10.1016\/j.scico.2014.05.014."},{"key":"e_1_3_2_1_26_1","volume-title":"A Synchronous Approach,\" in Computational Engineering in Systems Applications","author":"Andr\u00e9 C.","year":"1996","unstructured":"C. Andr\u00e9 , \"Representation and Analysis of Reactive Behaviors : A Synchronous Approach,\" in Computational Engineering in Systems Applications , 1996 . C. Andr\u00e9, \"Representation and Analysis of Reactive Behaviors: A Synchronous Approach,\" in Computational Engineering in Systems Applications, 1996."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594310"},{"key":"e_1_3_2_1_28_1","first-page":"581","volume-title":"Automation Test in Europe (DATE)","author":"von Hanxleden R.","year":"2013","unstructured":"R. von Hanxleden , M. Mendler , conservative extension of the synchronous model of computation,\" in Design , Automation Test in Europe (DATE) , pp. 581 -- 586 , March 2013 . R. von Hanxleden, M. Mendler, et al., \"Sequentially constructive concurrency A conservative extension of the synchronous model of computation,\" in Design, Automation Test in Europe (DATE), pp. 581--586, March 2013."},{"key":"e_1_3_2_1_29_1","volume-title":"pp. 1--40","author":"Besnard L.","year":"2010","unstructured":"L. Besnard , T. Gautier , P. Le Guernic , and J.-P. Talpin , \"Compilation of Polychronous Data Flow Equations,\" in Synthesis of Embedded Software ( S. K. Shukla and J.-P. Talpin , eds.), pp. 1--40 , Springer , 2010 . L. Besnard, T. Gautier, P. Le Guernic, and J.-P. Talpin, \"Compilation of Polychronous Data Flow Equations,\" in Synthesis of Embedded Software (S. K. Shukla and J.-P. Talpin, eds.), pp. 1--40, Springer, 2010."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463596.2463600"},{"key":"e_1_3_2_1_31_1","volume-title":"An Abstraction-Refinement Framework for Priority-Driven Scheduling of Static Dataflow Graphs,\" in ACM-IEEE International Conference on Formal Methods and Models for System Design","author":"Bouakaz A.","year":"2014","unstructured":"A. Bouakaz and T. Gautier , \" An Abstraction-Refinement Framework for Priority-Driven Scheduling of Static Dataflow Graphs,\" in ACM-IEEE International Conference on Formal Methods and Models for System Design , 2014 . A. Bouakaz and T. Gautier, \"An Abstraction-Refinement Framework for Priority-Driven Scheduling of Static Dataflow Graphs,\" in ACM-IEEE International Conference on Formal Methods and Models for System Design, 2014."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.009"},{"key":"e_1_3_2_1_33_1","first-page":"110","volume-title":"Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using FIACRE,\" in ABZ 2014: The Landing Gear Case Study","author":"Berthomieu B.","year":"2014","unstructured":"B. Berthomieu , S. Dal Zilio , and T. Fronc , \" Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using FIACRE,\" in ABZ 2014: The Landing Gear Case Study , vol. 433 , pp. 110 -- 125 , Springer , 2014 . B. Berthomieu, S. Dal Zilio, and T. Fronc, \"Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using FIACRE,\" in ABZ 2014: The Landing Gear Case Study, vol. 433, pp. 110--125, Springer, 2014."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/2000301"},{"key":"e_1_3_2_1_35_1","volume-title":"The SynDEx Software Environment for Real-Time Distributed Systems, Design and Implementation,\" in European Control Conference (ECC)","author":"Lavarenne C.","year":"1991","unstructured":"C. Lavarenne , O. Seghrouchni , Y. Sorel , and M. Sorine , \" The SynDEx Software Environment for Real-Time Distributed Systems, Design and Implementation,\" in European Control Conference (ECC) , 1991 . C. Lavarenne, O. Seghrouchni, Y. Sorel, and M. Sorine, \"The SynDEx Software Environment for Real-Time Distributed Systems, Design and Implementation,\" in European Control Conference (ECC), 1991."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217295.1217298"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.04.009"}],"event":{"name":"DAC '15: The 52nd Annual Design Automation Conference 2015","location":"San Francisco California","acronym":"DAC '15","sponsor":["SIGDA ACM Special Interest Group on Design Automation"]},"container-title":["Proceedings of the 52nd Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2744769.2747945","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2744769.2747945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:36Z","timestamp":1750227156000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2744769.2747945"}},"subtitle":["model-based integration for automotive control software"],"short-title":[],"issued":{"date-parts":[[2015,6,7]]},"references-count":36,"alternative-id":["10.1145\/2744769.2747945","10.1145\/2744769"],"URL":"https:\/\/doi.org\/10.1145\/2744769.2747945","relation":{},"subject":[],"published":{"date-parts":[[2015,6,7]]},"assertion":[{"value":"2015-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}