{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T16:51:19Z","timestamp":1760028679226,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T00:00:00Z","timestamp":1602806400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100011688","name":"Electronic Components and Systems for European Leadership","doi-asserted-by":"publisher","award":["737475"],"award-info":[{"award-number":["737475"]}],"id":[{"id":"10.13039\/501100011688","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,16]]},"DOI":"10.1145\/3417990.3419225","type":"proceedings-article","created":{"date-parts":[[2020,10,27]],"date-time":"2020-10-27T02:54:12Z","timestamp":1603767252000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["SysML models"],"prefix":"10.1145","author":[{"given":"Maysam","family":"Zoor","sequence":"first","affiliation":[{"name":"LTCI, T\u00e9l\u00e9com Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ludovic","family":"Apvrille","sequence":"additional","affiliation":[{"name":"LTCI, T\u00e9l\u00e9com Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renaud","family":"Pacalet","sequence":"additional","affiliation":[{"name":"LTCI, T\u00e9l\u00e9com Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,26]]},"reference":[{"volume-title":"EVITA E-safety vehicle intrusion protected applications. Retrieved","year":"2020","key":"e_1_3_2_1_1_1","unstructured":"2008-2011. EVITA E-safety vehicle intrusion protected applications. Retrieved May 7, 2020 from https:\/\/www.evita-project.org\/index.html 2008-2011. EVITA E-safety vehicle intrusion protected applications. Retrieved May 7, 2020 from https:\/\/www.evita-project.org\/index.html"},{"volume-title":"Retrieved","year":"2019","key":"e_1_3_2_1_2_1","unstructured":"2012-2016. MERGE : multi-concerns interactions system engineering . Retrieved May , 2019 from http:\/\/www.merge-project.eu\/ 2012-2016. MERGE: multi-concerns interactions system engineering. Retrieved May, 2019 from http:\/\/www.merge-project.eu\/"},{"volume-title":"Retrieved","year":"2019","key":"e_1_3_2_1_3_1","unstructured":"2012-2016. SESAMO : security and safety modelling . Retrieved May , 2019 from http:\/\/sesamo-project.eu\/ 2012-2016. SESAMO: security and safety modelling. Retrieved May, 2019 from http:\/\/sesamo-project.eu\/"},{"volume-title":"Aggregated Quality Assurance for Systems (AQUAS). Retrieved","year":"2020","key":"e_1_3_2_1_4_1","unstructured":"2013. Aggregated Quality Assurance for Systems (AQUAS). Retrieved May 7, 2020 from https:\/\/aquas-project.eu 2013. Aggregated Quality Assurance for Systems (AQUAS). Retrieved May 7, 2020 from https:\/\/aquas-project.eu"},{"key":"e_1_3_2_1_5_1","unstructured":"2013. TTool. Retrieved May 7 2020 from https:\/\/ttool.telecom-paris.fr  2013. TTool. Retrieved May 7 2020 from https:\/\/ttool.telecom-paris.fr"},{"volume-title":"CRYSTAL - CRITICAL SYSTEM ENGINEERING ACCELERATION. Retrieved","year":"2020","key":"e_1_3_2_1_6_1","unstructured":"2013-2016. CRYSTAL - CRITICAL SYSTEM ENGINEERING ACCELERATION. Retrieved May 9, 2020 from http:\/\/www.crystal-artemis.eu\/ 2013-2016. CRYSTAL - CRITICAL SYSTEM ENGINEERING ACCELERATION. Retrieved May 9, 2020 from http:\/\/www.crystal-artemis.eu\/"},{"key":"e_1_3_2_1_7_1","unstructured":"2015. Time4Sys. Retrieved May 7 2020 from https:\/\/www.eclipse.org\/time4sys\/  2015. Time4Sys. Retrieved May 7 2020 from https:\/\/www.eclipse.org\/time4sys\/"},{"volume-title":"SAFURE - Safety And Security By Design For Interconnected Mixed-Critical Cyber-Physical Systems. Retrieved","year":"2020","key":"e_1_3_2_1_8_1","unstructured":"2015-2018. SAFURE - Safety And Security By Design For Interconnected Mixed-Critical Cyber-Physical Systems. Retrieved May 9, 2020 from https:\/\/safure.eu\/ 2015-2018. SAFURE - Safety And Security By Design For Interconnected Mixed-Critical Cyber-Physical Systems. Retrieved May 9, 2020 from https:\/\/safure.eu\/"},{"key":"e_1_3_2_1_9_1","unstructured":"Charles Andr\u00e9. 2009. Syntax and semantics of the clock constraint specification language (CCSL). (2009).  Charles Andr\u00e9. 2009. Syntax and semantics of the clock constraint specification language (CCSL). (2009)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"e_1_3_2_1_11_1","volume-title":"Automatic Cryptographic Protocol Verifier, User Manual and Tutorial. Version from","author":"Blanchet Bruno","year":"2018","unstructured":"Bruno Blanchet , Ben Smyth , Vincent Cheval , and Marc Sylvestre . 2018. ProVerif 2.00 : Automatic Cryptographic Protocol Verifier, User Manual and Tutorial. Version from ( 2018 ), 05--16. Bruno Blanchet, Ben Smyth, Vincent Cheval, and Marc Sylvestre. 2018. ProVerif 2.00: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial. Version from (2018), 05--16."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30561-0_4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_3_2_1_14_1","unstructured":"Andrea Enrici Letitia Li Ludovic Apvrille and Dominique Blouin. 2018. A Tutorial on TTool\/DIPLODOCUS: an Open-source Toolkit for the Design of Data-flow Embedded Systems.  Andrea Enrici Letitia Li Ludovic Apvrille and Dominique Blouin. 2018. A Tutorial on TTool\/DIPLODOCUS: an Open-source Toolkit for the Design of Data-flow Embedded Systems."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MECO.2019.8760043"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2018.8441496"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775846"},{"key":"e_1_3_2_1_18_1","volume-title":"Co-Engineering-in-the-Loop. In International Conference on Computer Safety, Reliability, and Security. Springer, 151--163","author":"Gruber Thomas","year":"2018","unstructured":"Thomas Gruber , Christoph Schmittner , Martin Matschnig , and Bernhard Fischer . 2018 . Co-Engineering-in-the-Loop. In International Conference on Computer Safety, Reliability, and Security. Springer, 151--163 . Thomas Gruber, Christoph Schmittner, Martin Matschnig, and Bernhard Fischer. 2018. Co-Engineering-in-the-Loop. In International Conference on Computer Safety, Reliability, and Security. Springer, 151--163."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1921532.1921556"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2803174"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005748703310338"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-007-9007-6"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/VETECF.2008.258"},{"key":"e_1_3_2_1_26_1","volume-title":"Software model-based performance analysis. Model Driven Engineering for distributed Real-Time Systems: MARTE modelling, model transformations and their usages","author":"Petriu Dorina C","year":"2010","unstructured":"Dorina C Petriu . 2010. Software model-based performance analysis. Model Driven Engineering for distributed Real-Time Systems: MARTE modelling, model transformations and their usages (JP Babau, M. Blay-Fornarino, J. Champeau, S. Robert, A. Sabetta, Eds.), ISTE Ltd and John Wiley & Sons Inc ( 2010 ). Dorina C Petriu. 2010. Software model-based performance analysis. Model Driven Engineering for distributed Real-Time Systems: MARTE modelling, model transformations and their usages (JP Babau, M. Blay-Fornarino, J. Champeau, S. Robert, A. Sabetta, Eds.), ISTE Ltd and John Wiley & Sons Inc (2010)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.16"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2019.05.013"},{"key":"e_1_3_2_1_29_1","volume-title":"Silvia Mazzini, and Hu\u00e1scar Espinoza.","author":"Ruiz Alejandra","year":"2016","unstructured":"Alejandra Ruiz , Barbara Gallina , Jose Luis de la Vara , Silvia Mazzini, and Hu\u00e1scar Espinoza. 2016 . Architecture-driven, multi-concern and seamless assurance and certification of cyber-physical systems. In International Conference on Computer Safety, Reliability, and Security. Springer , 311--321. Alejandra Ruiz, Barbara Gallina, Jose Luis de la Vara, Silvia Mazzini, and Hu\u00e1scar Espinoza. 2016. Architecture-driven, multi-concern and seamless assurance and certification of cyber-physical systems. In International Conference on Computer Safety, Reliability, and Security. Springer, 311--321."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2633961"},{"key":"e_1_3_2_1_31_1","unstructured":"Benoit VIAUD Laurent RIOUX and Aur\u00e9lien DIDIER. 2020. Applying Timing Verification with TIDEAL\/Time4Sys on Flight Management System.  Benoit VIAUD Laurent RIOUX and Aur\u00e9lien DIDIER. 2020. Applying Timing Verification with TIDEAL\/Time4Sys on Flight Management System."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244110"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2523937"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5220\/0008970203730380"}],"event":{"name":"MODELS '20: ACM\/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Virtual Event Canada","acronym":"MODELS '20"},"container-title":["Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3419225","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3417990.3419225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:15Z","timestamp":1750197675000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3417990.3419225"}},"subtitle":["studying safety and security measures impact on performance using graph tainting"],"short-title":[],"issued":{"date-parts":[[2020,10,16]]},"references-count":32,"alternative-id":["10.1145\/3417990.3419225","10.1145\/3417990"],"URL":"https:\/\/doi.org\/10.1145\/3417990.3419225","relation":{},"subject":[],"published":{"date-parts":[[2020,10,16]]},"assertion":[{"value":"2020-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}