{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T06:27:06Z","timestamp":1725776826507},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100004489","name":"Mitacs","doi-asserted-by":"publisher","award":["IT19246","IT30530"],"id":[{"id":"10.13039\/501100004489","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,9,21]]},"DOI":"10.1145\/3625223.3649278","type":"proceedings-article","created":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T15:03:43Z","timestamp":1718982223000},"page":"1-7","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["ReDaML: A Modeling Language for DO-178C High-Level Requirements in Airspace Systems"],"prefix":"10.1145","author":[{"ORCID":"http:\/\/orcid.org\/0000-0003-3057-8033","authenticated-orcid":false,"given":"Henrique Amaral","family":"Misson","sequence":"first","affiliation":[{"name":"Ecole Polytechnique de Montreal, Montreal, QC, Canada"}]},{"ORCID":"http:\/\/orcid.org\/0009-0006-9607-7660","authenticated-orcid":false,"given":"Rim","family":"Zrelli","sequence":"additional","affiliation":[{"name":"Ecole Polytechnique de Montreal, Montreal, QC, Canada"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-5527-2922","authenticated-orcid":false,"given":"Maroua","family":"Ben Attia","sequence":"additional","affiliation":[{"name":"Humanitas Solutions, Montreal, QC, Canada"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-0766-1421","authenticated-orcid":false,"given":"Felipe Gohring","family":"Magalhaes","sequence":"additional","affiliation":[{"name":"Ecole Polytechnique de Montreal, Montreal, QC, Canada"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-5205-9931","authenticated-orcid":false,"given":"Gabriela","family":"Nicolescu","sequence":"additional","affiliation":[{"name":"Ecole Polytechnique de Montreal, Montreal, QC, Canada"}]}],"member":"320","published-online":{"date-parts":[[2024,6,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Guidelines and methods for conducting the safety assessment process on airborne systems and equipments","author":"SAE","year":"1996","unstructured":"SAE ARP4761. 1996. Guidelines and methods for conducting the safety assessment process on airborne systems and equipments. USA: The Engineering Society for Advancing Mobility Land Sea Air and Space (1996)."},{"key":"e_1_3_2_1_2_1","unstructured":"Jean-Paul BODEVEIX. 2013. Modeling languages for requirements engineering and quantitative analysis of embedded systems. Ph. D. Dissertation. Universit\u00e9 de Bretagne-Sud."},{"key":"e_1_3_2_1_3_1","volume-title":"Domain Engineering: Product Lines, Languages, and Conceptual Models","author":"Clark T","year":"2013","unstructured":"T Clark and BS Barn. 2013. Domain Engineering: Product Lines, Languages, and Conceptual Models, chapter Domain Engineering for Software Tools."},{"key":"e_1_3_2_1_4_1","volume-title":"Jeremy et al","author":"Dick","year":"2017","unstructured":"Dick, Jeremy et al. 2017. Doors: A tool to manage requirements. Requirements Engineering (2017)."},{"key":"e_1_3_2_1_5_1","volume-title":"NASA Formal Methods: 9th International Symposium, NFM","author":"A.","year":"2017","unstructured":"Fifarek, A. W. et al. 2017. SpeAR v2. 0: Formalized past LTL specification and analysis of requirements. In NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA. Springer."},{"key":"e_1_3_2_1_6_1","volume-title":"Domain-specific modeling languages: requirements analysis and design guidelines. Domain engineering: Product lines, languages, and conceptual models","author":"Frank Ulrich","year":"2013","unstructured":"Ulrich Frank. 2013. Domain-specific modeling languages: requirements analysis and design guidelines. Domain engineering: Product lines, languages, and conceptual models (2013)."},{"key":"e_1_3_2_1_7_1","volume-title":"et al","author":"J.","year":"2007","unstructured":"Gray, J. et al. 2007. Domain-Specific Modeling. Handbook of dynamic system modeling (2007)."},{"key":"e_1_3_2_1_8_1","volume-title":"Future of Software Engineering Proceedings","author":"J.","year":"2014","unstructured":"Hatcliff, J. et al. 2014. Certifiably safe software-dependent systems: challenges and directions. Future of Software Engineering Proceedings (2014)."},{"key":"e_1_3_2_1_9_1","unstructured":"RTCA Inc. 2011. DO-178C - Software Considerations in Airborne Systems and Equipment Certification."},{"key":"e_1_3_2_1_10_1","volume-title":"Modeling Languages and Applications: 6th International Conference","author":"J\u00fcrjens Jan","year":"2003","unstructured":"Jan J\u00fcrjens. 2003. Developing safety-critical systems with UML. In \u00abUML\u00bb 2003- The Unified Modeling Language. Modeling Languages and Applications: 6th International Conference, San Francisco, CA, USA. Springer."},{"volume-title":"Engineering a safer world: Systems thinking applied to safety","author":"Leveson N. G.","key":"e_1_3_2_1_11_1","unstructured":"N. G. Leveson. 2016. Engineering a safer world: Systems thinking applied to safety. The MIT Press."},{"key":"e_1_3_2_1_12_1","volume-title":"et al","author":"N.","year":"1994","unstructured":"Leveson, N. G. et al. 1994. Requirements specification for process-control systems. IEEE transactions on software engineering (1994)."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the Conference on the Future of Software Engineering.","author":"Lutz Robyn R","year":"2000","unstructured":"Robyn R Lutz. 2000. Software engineering for safety: a roadmap. In Proceedings of the Conference on the Future of Software Engineering."},{"key":"e_1_3_2_1_14_1","volume-title":"Requirements engineering for safety-critical systems: A systematic literature review. Information and software technology","author":"Martins Luiz Eduardo G","year":"2016","unstructured":"Luiz Eduardo G Martins and Tony Gorschek. 2016. Requirements engineering for safety-critical systems: A systematic literature review. Information and software technology (2016)."},{"volume-title":"IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE.","author":"N.","key":"e_1_3_2_1_15_1","unstructured":"Metayer, N. et al. 2019. Modelling do-178c assurance needs: A design assurance level-sensitive dsl. In IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE."},{"key":"e_1_3_2_1_16_1","volume-title":"Toward a property based requirements theory: System requirements structured as a semilattice. Systems engineering","author":"Micouin Patrice","year":"2008","unstructured":"Patrice Micouin. 2008. Toward a property based requirements theory: System requirements structured as a semilattice. Systems engineering (2008)."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the Conference on the Future of Software Engineering.","author":"Nuseibeh Bashar","year":"2000","unstructured":"Bashar Nuseibeh and Steve Easterbrook. 2000. Requirements engineering: a roadmap. In Proceedings of the Conference on the Future of Software Engineering."},{"key":"e_1_3_2_1_18_1","volume-title":"33rd Annual ACM Symposium on Applied Computing.","author":"Paz Andr\u00e9s","year":"2018","unstructured":"Andr\u00e9s Paz and Ghizlane El Boussaidi. 2018. Building a software requirements specification and design for an avionics system: An experience report. In 33rd Annual ACM Symposium on Applied Computing."},{"key":"e_1_3_2_1_19_1","volume-title":"IEEE\/ACM 6th International Workshop on Requirements Engineering and Testing. IEEE.","author":"Paz Andr\u00e9s","year":"2019","unstructured":"Andr\u00e9s Paz and Ghizlane El Boussaidi. 2019. A requirements modelling language to facilitate avionics software verification and certification. In IEEE\/ACM 6th International Workshop on Requirements Engineering and Testing. IEEE."},{"volume-title":"Developing safety-critical software: a practical guide for aviation software and DO-178C compliance","author":"Rierson Leanna","key":"e_1_3_2_1_20_1","unstructured":"Leanna Rierson. 2017. Developing safety-critical software: a practical guide for aviation software and DO-178C compliance. CRC Press."},{"volume-title":"On the semantics of real-time domain specific modeling languages","author":"Rivera Jos\u00e9 Eduardo","key":"e_1_3_2_1_21_1","unstructured":"Jos\u00e9 Eduardo Rivera. 2010. On the semantics of real-time domain specific modeling languages. University of Malaga (2010)."},{"volume-title":"35th Euromicro Conference on Software Engineering and Advanced Applications. IEEE.","author":"S.","key":"e_1_3_2_1_22_1","unstructured":"Robert, S. et al. 2009. A lightweight approach for domain-specific modeling languages design. In 35th Euromicro Conference on Software Engineering and Advanced Applications. IEEE."},{"key":"e_1_3_2_1_24_1","volume-title":"Collision Avoidance Functional Requirements for Step 1. NASA access","author":"Team NASA CA","year":"2006","unstructured":"NASA CA Team. 2006. Collision Avoidance Functional Requirements for Step 1. NASA access (2006)."},{"volume-title":"The object constraint language: getting your models ready for MDA","author":"Warmer Jos B","key":"e_1_3_2_1_25_1","unstructured":"Jos B Warmer and Anneke G Kleppe. 2003. The object constraint language: getting your models ready for MDA. Addison-Wesley Professional."},{"volume-title":"d.]. A Formal Semantics for the Requirements State Machine Language without Events. Ph. D. Dissertation","author":"Whalen Michael William","key":"e_1_3_2_1_26_1","unstructured":"Michael William Whalen. [n. d.]. A Formal Semantics for the Requirements State Machine Language without Events. Ph. D. Dissertation. University of Minnesota."},{"key":"e_1_3_2_1_27_1","volume-title":"Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS","author":"G.","year":"2007","unstructured":"Zoughbi, G. et al. 2007. A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software. In Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA. Springer."},{"key":"e_1_3_2_1_28_1","volume-title":"et al","author":"G.","year":"2011","unstructured":"Zoughbi, G. et al. 2011. Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile. Software & Systems Modeling (2011)."}],"event":{"name":"RSP '23: 34th International Workshop on Rapid System Prototyping","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","CEDA","IEEE CAS"],"location":"Hamburg Germany","acronym":"RSP '23"},"container-title":["Proceedings of the 34th International Workshop on Rapid System Prototyping"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3625223.3649278","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T15:07:12Z","timestamp":1718982432000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3625223.3649278"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,21]]},"references-count":27,"alternative-id":["10.1145\/3625223.3649278","10.1145\/3625223"],"URL":"https:\/\/doi.org\/10.1145\/3625223.3649278","relation":{},"subject":[],"published":{"date-parts":[[2023,9,21]]},"assertion":[{"value":"2024-06-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}