{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T16:35:17Z","timestamp":1760027717283,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000844","name":"European Space Agency","doi-asserted-by":"publisher","award":["4000133658\/21\/NL\/CRS"],"award-info":[{"award-number":["4000133658\/21\/NL\/CRS"]}],"id":[{"id":"10.13039\/501100000844","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,23]]},"DOI":"10.1145\/3550356.3561541","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T18:13:20Z","timestamp":1668017600000},"page":"237-246","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Model-checking of space systems designed with TASTE\/SDL"],"prefix":"10.1145","author":[{"given":"Iulia","family":"Dragomir","sequence":"first","affiliation":[{"name":"GMV Aerospace and Defence, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Redondo","sequence":"additional","affiliation":[{"name":"GMV Aerospace and Defence, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiago","family":"Jorge","sequence":"additional","affiliation":[{"name":"GMV Aerospace and Defence, Lisbon, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Gouveia","sequence":"additional","affiliation":[{"name":"GMV Aerospace and Defence, Lisbon, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iulian","family":"Ober","sequence":"additional","affiliation":[{"name":"ISAE-SUPAERO, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Kolesnikov","sequence":"additional","affiliation":[{"name":"ISAE-SUPAERO, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[{"name":"CNRS\/VERIMAG, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maxime","family":"Perrotin","sequence":"additional","affiliation":[{"name":"European Space Agency, Noordwijk, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"M. Bozzano H. Bruintjes A. Cimatti J. P. Katoen T. Noll and S. Tonetta. 2019. COMPASS 3.0. In Tools and Algorithms for the Construction and Analysis of Systems Tom\u00e1\u0161 Vojnar and Lijun Zhang (Eds.). Springer International Publishing Cham 379--385.  M. Bozzano H. Bruintjes A. Cimatti J. P. Katoen T. Noll and S. Tonetta. 2019. COMPASS 3.0. In Tools and Algorithms for the Construction and Analysis of Systems Tom\u00e1\u0161 Vojnar and Lijun Zhang (Eds.). Springer International Publishing Cham 379--385.","DOI":"10.1007\/978-3-030-17462-0_25"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"e_1_3_2_1_4_1","unstructured":"MoC4Space Consortium. 2022. TASTE model-checking with IF - Git repository. Available at https:\/\/gitrepos.estec.esa.int\/taste\/if-model-checking.  MoC4Space Consortium. 2022. TASTE model-checking with IF - Git repository. Available at https:\/\/gitrepos.estec.esa.int\/taste\/if-model-checking."},{"key":"e_1_3_2_1_5_1","unstructured":"MoC4Space Consortium. 2022. TASTE model-checking with IF - Technical Documentation. Available at https:\/\/taste.tuxfamily.org\/wiki\/index.php?title=IF_model-checking.  MoC4Space Consortium. 2022. TASTE model-checking with IF - Technical Documentation. Available at https:\/\/taste.tuxfamily.org\/wiki\/index.php?title=IF_model-checking."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of 2nd Workshop on Model Based Space Systems and Software Engineering. European Space Agency.","author":"Dragomir I.","year":"2021","unstructured":"I. Dragomir , M. Bozga , I. Ober , D. Silveira , T. Jorge , E. Alana , and M Perrotin . 2021 . Formal Verification of Space Systems Designed with TASTE . In Proceedings of 2nd Workshop on Model Based Space Systems and Software Engineering. European Space Agency. I. Dragomir, M. Bozga, I. Ober, D. Silveira, T. Jorge, E. Alana, and M Perrotin. 2021. Formal Verification of Space Systems Designed with TASTE. In Proceedings of 2nd Workshop on Model Based Space Systems and Software Engineering. European Space Agency."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of 3nd Workshop on Model Based Space Systems and Software Engineering. European Space Agency.","author":"Dragomir I.","year":"2022","unstructured":"I. Dragomir , C. Redondo , T. Jorge , L. Gouveia , M. Bozga , I. Ober , and M Perrotin . 2022 . Model-Checking for TASTE designed Space Software Systems: Results and Lessons Learned . In Proceedings of 3nd Workshop on Model Based Space Systems and Software Engineering. European Space Agency. I. Dragomir, C. Redondo, T. Jorge, L. Gouveia, M. Bozga, I. Ober, and M Perrotin. 2022. Model-Checking for TASTE designed Space Software Systems: Results and Lessons Learned. In Proceedings of 3nd Workshop on Model Based Space Systems and Software Engineering. European Space Agency."},{"key":"e_1_3_2_1_8_1","unstructured":"ITU-T. 2010. Specification and Description Language (SDL). Available at https:\/\/www.itu.int\/rec\/T-REC-Z.100\/en.  ITU-T. 2010. Specification and Description Language (SDL). Available at https:\/\/www.itu.int\/rec\/T-REC-Z.100\/en."},{"key":"e_1_3_2_1_9_1","unstructured":"ITU-T. 2021. Abstract Syntax Notation One (ASN.1): Specification of basic notation.  ITU-T. 2021. Abstract Syntax Notation One (ASN.1): Specification of basic notation."},{"volume-title":"Proceedings of 2nd Workshop on Model Based Space Systems and Software Engineering. European Space Agency.","author":"Kurowki M.","key":"e_1_3_2_1_10_1","unstructured":"M. Kurowki , R. Babski , S. Duncan , M Perrotin , and M. Webster . 2021. Model-Checking for Formal Verification of Space Systems . In Proceedings of 2nd Workshop on Model Based Space Systems and Software Engineering. European Space Agency. M. Kurowki, R. Babski, S. Duncan, M Perrotin, and M. Webster. 2021. Model-Checking for Formal Verification of Space Systems. In Proceedings of 2nd Workshop on Model Based Space Systems and Software Engineering. European Space Agency."},{"volume-title":"Proceedings of 15th Symposium on Advanced Space Technologies in Robotics and Automation. European Space Agency.","author":"Ocon J.","key":"e_1_3_2_1_11_1","unstructured":"J. Ocon , F. Colmenero , I. Dragomir , E. Heredia , M. Alonso , J. Estremera , R. Marc , P. Weclewski , T. Keller , M. Woods , and S. Karachalios . 2019. Testing Autonomous Robots: A Discussion on Performances Obtained During the ERGO Field Tests . In Proceedings of 15th Symposium on Advanced Space Technologies in Robotics and Automation. European Space Agency. J. Ocon, F. Colmenero, I. Dragomir, E. Heredia, M. Alonso, J. Estremera, R. Marc, P. Weclewski, T. Keller, M. Woods, and S. Karachalios. 2019. Testing Autonomous Robots: A Discussion on Performances Obtained During the ERGO Field Tests. In Proceedings of 15th Symposium on Advanced Space Technologies in Robotics and Automation. European Space Agency."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-11494-7_22"},{"key":"e_1_3_2_1_13_1","unstructured":"SAE. 2022. Architecture Analysis and Design Language (AADL). Available at https:\/\/www.sae.org\/standards\/content\/as5506d\/.  SAE. 2022. Architecture Analysis and Design Language (AADL). Available at https:\/\/www.sae.org\/standards\/content\/as5506d\/."},{"key":"e_1_3_2_1_14_1","unstructured":"TASTE. 2022. The Assert Set of Tools for Engineering. Available at https:\/\/taste.tools\/.  TASTE. 2022. The Assert Set of Tools for Engineering. Available at https:\/\/taste.tools\/."}],"event":{"name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"],"location":"Montreal Quebec Canada","acronym":"MODELS '22"},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3561541","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550356.3561541","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:10Z","timestamp":1750182550000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3561541"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":14,"alternative-id":["10.1145\/3550356.3561541","10.1145\/3550356"],"URL":"https:\/\/doi.org\/10.1145\/3550356.3561541","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}