{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T02:10:59Z","timestamp":1778897459524,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,14]],"date-time":"2018-10-14T00:00:00Z","timestamp":1539475200000},"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":[[2018,10,14]]},"DOI":"10.1145\/3239372.3239409","type":"proceedings-article","created":{"date-parts":[[2018,10,4]],"date-time":"2018-10-04T12:21:55Z","timestamp":1538655715000},"page":"176-186","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["Enabling Model Testing of Cyber-Physical Systems"],"prefix":"10.1145","author":[{"given":"Carlos A.","family":"Gonz\u00e1lez","sequence":"first","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mojtaba","family":"Varmazyar","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yago","family":"Isasi","sequence":"additional","affiliation":[{"name":"LuxSpace S\u00e0rl, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 8th International Conference on Humanoid, Nanotechnology, Information Technology, Communication and Control, Environment and Management, HNICEM","author":"Abad Gian C.","year":"2015","unstructured":"An-jelo Gian C. Abad , Lady Mari Faeda G. Guerrero , Jasper Kendall M. Ignacio , Dianne C. Magtibay , Mark Angelo C. Purio , and Evelyn Q. Raguindin . 2015. A simulation of a power surge monitoring and suppression system using LabVIEW and multisim cosimulation tool . In Proceedings of the 8th International Conference on Humanoid, Nanotechnology, Information Technology, Communication and Control, Environment and Management, HNICEM 2015 . 1--3. An-jelo Gian C. Abad, Lady Mari Faeda G. Guerrero, Jasper Kendall M. Ignacio, Dianne C. Magtibay, Mark Angelo C. Purio, and Evelyn Q. Raguindin. 2015. A simulation of a power surge monitoring and suppression system using LabVIEW and multisim cosimulation tool. In Proceedings of the 8th International Conference on Humanoid, Nanotechnology, Information Technology, Communication and Control, Environment and Management, HNICEM 2015. 1--3."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2012.01.003"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2808705.2808715"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the IEEE Power & Energy Society General Meeting","author":"Bian D.","year":"2015","unstructured":"D. Bian , M. Kuzlu , M. Pipattanasomporn , S. Rahman , and Y. Wu . 2015. Realtime co-simulation platform using OPAL-RT and OPNET for analyzing smart grid performance . In Proceedings of the IEEE Power & Energy Society General Meeting 2015 . 1--5. D. Bian, M. Kuzlu, M. Pipattanasomporn, S. Rahman, and Y. Wu. 2015. Realtime co-simulation platform using OPAL-RT and OPNET for analyzing smart grid performance. In Proceedings of the IEEE Power & Energy Society General Meeting 2015. 1--5."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 8th Conference on Systems Engineering Research. 225--232","author":"Bone Mary","year":"2009","unstructured":"Mary Bone and Robert Cloutier . 2009 . The current state of model based systems engineering: Results from the OMG SysML request for information 2009 . In Proceedings of the 8th Conference on Systems Engineering Research. 225--232 . Mary Bone and Robert Cloutier. 2009. The current state of model based systems engineering: Results from the OMG SysML request for information 2009. In Proceedings of the 8th Conference on Systems Engineering Research. 225--232."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 14th International Conference Mechatronika. 59--64","author":"Brezina T.","unstructured":"T. Brezina , Z. Hadas , and J. Vetiska . 2011. Using of Co-simulation ADAMS-SIMULINK for development of mechatronic systems . In Proceedings of the 14th International Conference Mechatronika. 59--64 . T. Brezina, Z. Hadas, and J. Vetiska. 2011. Using of Co-simulation ADAMS-SIMULINK for development of mechatronic systems. In Proceedings of the 14th International Conference Mechatronika. 59--64."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889212"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728641"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12273-016-0279-2"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_3_2_1_11_1","volume-title":"Gluch","author":"Feiler Peter H.","year":"2012","unstructured":"Peter H. Feiler and David P . Gluch . 2012 . Model-Based Engineering with AADL : An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley Professional . Peter H. Feiler and David P. Gluch. 2012. Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley Professional."},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering, FormaliSE","author":"Fitzgerald J.","year":"2015","unstructured":"J. Fitzgerald , C. Gamble , P. G. Larsen , K. Pierce , and J. Woodcock . 2015. Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains . In Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015 . 40--46. J. Fitzgerald, C. Gamble, P. G. Larsen, K. Pierce, and J. Woodcock. 2015. Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. In Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015. 40--46."},{"key":"e_1_3_2_1_13_1","volume-title":"Design Patterns: Elements of Reusable Object-oriented Software","author":"Gamma Erich","year":"1995","unstructured":"Erich Gamma , Richard Helm , Ralph Johnson , and John Vlissides . 1995 . Design Patterns: Elements of Reusable Object-oriented Software . Addison-Wesley Longman Publishing Co., Inc. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. 1995. Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley Longman Publishing Co., Inc."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2332097"},{"key":"e_1_3_2_1_15_1","volume-title":"Peter Gorm Larsen, and Hans Vangheluwe","author":"Gomes Cl\u00e1udio","year":"2017","unstructured":"Cl\u00e1udio Gomes , Casper Thule , David Broman , Peter Gorm Larsen, and Hans Vangheluwe . 2017 . Co-simulation : State of the art. CoRR abs\/1702.00686 (February 2017). arXiv:1702.00686 Cl\u00e1udio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, and Hans Vangheluwe. 2017. Co-simulation: State of the art. CoRR abs\/1702.00686 (February 2017). arXiv:1702.00686"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2322503"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2017.2731741"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data","author":"Larsen P. G.","year":"2016","unstructured":"P. G. Larsen , J. Fitzgerald , J. Woodcock , P. Fritzson , J. Brauer , C. Kleijn , T. Lecomte , M. Pfeil , O. Green , S. Basagiannis , and A. Sadovykh . 2016. Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project . In Proceedings of the 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016 . 1--6. P. G. Larsen, J. Fitzgerald, J. Woodcock, P. Fritzson, J. Brauer, C. Kleijn, T. Lecomte, M. Pfeil, O. Green, S. Basagiannis, and A. Sadovykh. 2016. Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. In Proceedings of the 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016. 1--6."},{"key":"e_1_3_2_1_20_1","unstructured":"Peter Gorm Larsen Kenneth Lausdahl Nick Battle John Fitzgerald Sune Wolff Shin Sahara Marcel Verhoef Peter W. V. Tran-J\u00f8rgensen Tomohiro Oda and Paul Chisholm. 2018. VDM-10 Language Manual.  Peter Gorm Larsen Kenneth Lausdahl Nick Battle John Fitzgerald Sune Wolff Shin Sahara Marcel Verhoef Peter W. V. Tran-J\u00f8rgensen Tomohiro Oda and Paul Chisholm. 2018. VDM-10 Language Manual."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459848"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2015. 115--124","author":"Lee E. A.","unstructured":"E. A. Lee , M. Niknami , T. S. Nouidui , and M. Wetter . 2015. Modeling and simulating cyber-physical systems using CyPhySim . In Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2015. 115--124 . E. A. Lee, M. Niknami, T. S. Nouidui, and M. Wetter. 2015. Modeling and simulating cyber-physical systems using CyPhySim. In Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2015. 115--124."},{"key":"e_1_3_2_1_23_1","volume-title":"Introduction to Embedded Systems: A Cyber-Physical Systems Approach","author":"Lee Edward Ashford","unstructured":"Edward Ashford Lee and Sanjit Arunkumar Seshia . 2017. Introduction to Embedded Systems: A Cyber-Physical Systems Approach , 2 nd Edition. MIT Press . Edward Ashford Lee and Sanjit Arunkumar Seshia. 2017. Introduction to Embedded Systems: A Cyber-Physical Systems Approach, 2nd Edition. MIT Press.","edition":"2"},{"key":"e_1_3_2_1_24_1","volume-title":"Real-Time Systems","author":"Liu Jane W. S.","unstructured":"Jane W. S. Liu . 2000. Real-Time Systems . Prentice Hall . Jane W. S. Liu. 2000. Real-Time Systems. Prentice Hall."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1077276.1077279"},{"key":"e_1_3_2_1_26_1","unstructured":"Modelica Association. 2014. Functional Mock-up Interface for Model Exchange and Co-Simulation Version 2.0. https:\/\/svn.modelica.org\/fmi\/branches\/public\/specifications\/v2.0\/FMI_for_ModelExchange_and_CoSimulation_v2.0.pdf  Modelica Association. 2014. Functional Mock-up Interface for Model Exchange and Co-Simulation Version 2.0. https:\/\/svn.modelica.org\/fmi\/branches\/public\/specifications\/v2.0\/FMI_for_ModelExchange_and_CoSimulation_v2.0.pdf"},{"key":"e_1_3_2_1_27_1","unstructured":"OMG. 2017. Semantics of a Foundational Subset for Executable UML Models (fUML) 1.3 Specification. http:\/\/www.omg.org\/spec\/SysML\/1.5\/  OMG. 2017. Semantics of a Foundational Subset for Executable UML Models (fUML) 1.3 Specification. http:\/\/www.omg.org\/spec\/SysML\/1.5\/"},{"key":"e_1_3_2_1_28_1","unstructured":"OMG. 2017. Systems Modeling Language Specification (SysML). Version 1.5. http:\/\/www.omg.org\/spec\/SysML\/1.5\/  OMG. 2017. Systems Modeling Language Specification (SysML). Version 1.5. http:\/\/www.omg.org\/spec\/SysML\/1.5\/"},{"key":"e_1_3_2_1_29_1","volume-title":"Security-Aware CPS Simulator. In 11th International Symposium on Applied Reconfigurable Computing, ARC 2015 (Lecture Notes in Computer Science)","volume":"9040","author":"Papaefstathiou Ioannis","year":"2015","unstructured":"Ioannis Papaefstathiou , Gregory Chrysos , and Lambros Sarakis . 2015 . COSSIM: A Novel, Comprehensible, Ultra-Fast , Security-Aware CPS Simulator. In 11th International Symposium on Applied Reconfigurable Computing, ARC 2015 (Lecture Notes in Computer Science) , Vol. 9040 . Springer, 542--553. Ioannis Papaefstathiou, Gregory Chrysos, and Lambros Sarakis. 2015. COSSIM: A Novel, Comprehensible, Ultra-Fast, Security-Aware CPS Simulator. In 11th International Symposium on Applied Reconfigurable Computing, ARC 2015 (Lecture Notes in Computer Science), Vol. 9040. Springer, 542--553."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25264-8_4"},{"key":"e_1_3_2_1_31_1","unstructured":"Claudius Ptolemaeus (Ed.). 2014. System Design Modeling and Simulation using Ptolemy II. Ptolemy.org. http:\/\/ptolemy.org\/books\/Systems  Claudius Ptolemaeus (Ed.). 2014. System Design Modeling and Simulation using Ptolemy II. Ptolemy.org. http:\/\/ptolemy.org\/books\/Systems"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 2015 International Symposium on Smart Electric Distribution Systems and Technologies, EDST 2015. 516--521","author":"Schloegl F.","unstructured":"F. Schloegl , S. Rohjans , S. Lehnhoff , J. Velasquez , C. Steinbrink , and P. Palensky . 2015. Towards a classification scheme for co-simulation approaches in energy systems . In Proceedings of the 2015 International Symposium on Smart Electric Distribution Systems and Technologies, EDST 2015. 516--521 . F. Schloegl, S. Rohjans, S. Lehnhoff, J. Velasquez, C. Steinbrink, and P. Palensky. 2015. Towards a classification scheme for co-simulation approaches in energy systems. In Proceedings of the 2015 International Symposium on Smart Electric Distribution Systems and Technologies, EDST 2015. 516--521."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.125"},{"key":"e_1_3_2_1_35_1","volume-title":"ETAPS 2014 (Lecture Notes in Computer Science)","volume":"8415","author":"Sztipanovits Janos","year":"2014","unstructured":"Janos Sztipanovits , Ted Bapty , Sandeep Neema , Larry Howard , and Ethan Jackson . 2014 . OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems. In From Programs to Systems. The Systems perspective in Computing . ETAPS 2014 (Lecture Notes in Computer Science) , Vol. 8415 . Springer Berlin Heidelberg, 235--248. Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, and Ethan Jackson. 2014. OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems. In From Programs to Systems. The Systems perspective in Computing. ETAPS 2014 (Lecture Notes in Computer Science), Vol. 8415. Springer Berlin Heidelberg, 235--248."},{"key":"e_1_3_2_1_36_1","volume-title":"Telecommunication and Standardization Sector of the International Telecommunication Union","year":"1999","unstructured":"ITU-T : Telecommunication and Standardization Sector of the International Telecommunication Union . 1999 . Specification and Description Language (SDL) : Reference Manual . https:\/\/www.itu.int\/ITU-T\/studygroups\/com10\/languages\/Z.100_1199.pdf ITU-T: Telecommunication and Standardization Sector of the International Telecommunication Union. 1999. Specification and Description Language (SDL): Reference Manual. https:\/\/www.itu.int\/ITU-T\/studygroups\/com10\/languages\/Z.100_1199.pdf"},{"key":"e_1_3_2_1_37_1","volume-title":"Telecommunication and Standardization Sector of the International Telecommunication Union","year":"2002","unstructured":"ITU-T : Telecommunication and Standardization Sector of the International Telecommunication Union . 2002 . Abstract Syntax Notation One (ASN.1): Specification of basic notation. https:\/\/www.itu.int\/ITU-T\/studygroups\/com17\/languages\/X.680-0207.pdf ITU-T: Telecommunication and Standardization Sector of the International Telecommunication Union. 2002. Abstract Syntax Notation One (ASN.1): Specification of basic notation. https:\/\/www.itu.int\/ITU-T\/studygroups\/com17\/languages\/X.680-0207.pdf"},{"key":"e_1_3_2_1_38_1","volume-title":"Telecommunication and Standardization Sector of the International Telecommunication Union","year":"2011","unstructured":"ITU-T : Telecommunication and Standardization Sector of the International Telecommunication Union . 2011 . Message Sequence Chart (MSC): Recommendation ITU-T Z. 120. https:\/\/www.itu.int\/rec\/T-REC-Z.120-201102-I ITU-T: Telecommunication and Standardization Sector of the International Telecommunication Union. 2011. Message Sequence Chart (MSC): Recommendation ITU-T Z.120. https:\/\/www.itu.int\/rec\/T-REC-Z.120-201102-I"},{"key":"e_1_3_2_1_39_1","volume-title":"Verifying the Co-Simulation Orchestration Engine for INTO-CPS. CEUR Workshop Proceedings 1744 (November","author":"Thule Casper","year":"2016","unstructured":"Casper Thule . 2016 . Verifying the Co-Simulation Orchestration Engine for INTO-CPS. CEUR Workshop Proceedings 1744 (November 2016). Casper Thule. 2016. Verifying the Co-Simulation Orchestration Engine for INTO-CPS. CEUR Workshop Proceedings 1744 (November 2016)."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2013.12"}],"event":{"name":"MODELS '18: ACM\/IEEE 21th International Conference on Model Driven Engineering Languages and Systems","location":"Copenhagen Denmark","acronym":"MODELS '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239409","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3239372.3239409","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:19Z","timestamp":1750208899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239409"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,14]]},"references-count":39,"alternative-id":["10.1145\/3239372.3239409","10.1145\/3239372"],"URL":"https:\/\/doi.org\/10.1145\/3239372.3239409","relation":{},"subject":[],"published":{"date-parts":[[2018,10,14]]},"assertion":[{"value":"2018-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}