{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T12:27:27Z","timestamp":1764937647812,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,7]],"date-time":"2023-11-07T00:00:00Z","timestamp":1699315200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior \u00f0 Brasil (CAPES)"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,7]]},"DOI":"10.1145\/3629479.3629508","type":"proceedings-article","created":{"date-parts":[[2023,12,6]],"date-time":"2023-12-06T16:27:26Z","timestamp":1701880046000},"page":"52-61","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["ME-MPS: An MR-MPS-SW extension model for critical software in regulated environments"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-9085-0263","authenticated-orcid":false,"given":"Everton","family":"Machado","sequence":"first","affiliation":[{"name":"Aeronautics Institute of Technology, Brazil"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1551-435X","authenticated-orcid":false,"given":"Johnny","family":"Marques","sequence":"additional","affiliation":[{"name":"Aeronautics Institute of Technology, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2023,12,6]]},"reference":[{"unstructured":"ASSOCIA\u00c7\u00c3O BRASILEIRA DE NORMAS T\u00c9CNICAS. 2015. NBR ISO 9001:2015 \u2013 Sistemas de gest\u00e3o da qualidade \u2013 Requisitos. Rio de Janeiro Brasil.","key":"e_1_3_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1109\/TLA.2011.5876426"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1109\/ITNG.2015.132"},{"unstructured":"Funda\u00e7\u00e3o\u00a0Nacional\u00a0da\u00a0Qualidade. 2022. Pr\u00eamio Nacional da Qualidade. https:\/\/fnq.org.br\/melhores-em-gestao\/. Acesso: 2022-11-07.","key":"e_1_3_2_1_4_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1109\/SEW.2012.22"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1155\/2021\/9982227"},{"unstructured":"ISO\/IEC. 2015. ISO\/IEC 33002:2015 Information Technology -Process Assessment \u2013Requirements for performing process assessment. Technical Report.","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","unstructured":"ISO\/IEC\/IEEE. 2017. ISO\/IEC\/IEEE 12207:2017 International Standard - Systems and software engineering \u2013 Software life cycle processes. 157\u00a0pages. https:\/\/doi.org\/10.1109\/IEEESTD.2017.8100771","key":"e_1_3_2_1_8_1","DOI":"10.1109\/IEEESTD.2017.8100771"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1109\/SBES.2011.31"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. of ERTS2","author":"Ledinot Emmanuel","year":"2012","unstructured":"Emmanuel Ledinot, Jean-Marc Astruc, Jean-Paul Blanquart, Philippe Baufreton, Jean-Louis Boulanger, Herv\u00e9 Delseny, Jean Gassino, G\u00e9rard Ladier, Michel Leeman, Joseph Machrouh, 2012. A cross-domain comparison of software development assurance standards. Proc. of ERTS2 (2012)."},{"volume-title":"2017 IEEE\/AIAA 36th Digital Avionics Systems Conference (DASC).","author":"Marques J.","unstructured":"J. Marques and A.M. Cunha. 2017. Verification scenarios of onboard databases under the RTCA DO-178C and the RTCA DO-200B. In 2017 IEEE\/AIAA 36th Digital Avionics Systems Conference (DASC).","key":"e_1_3_2_1_11_1"},{"volume-title":"2018 IEEE\/AIAA 37th Digital Avionics Systems Conference (DASC).","author":"Marques J.","unstructured":"J. Marques and A.M. Cunha. 2018. Tailoring Traditional Software Life Cycles to Ensure Compliance of RTCA DO-178C and DO-331 with Model-Driven Design. In 2018 IEEE\/AIAA 37th Digital Avionics Systems Conference (DASC).","key":"e_1_3_2_1_12_1"},{"doi-asserted-by":"publisher","unstructured":"J. Marques S. Hayashi and L. Barros. 2019. Caracteriza\u00e7\u00e3o de Cen\u00e1rios e Garantias de Seguran\u00e7a em Carregamentos de Software Aeron\u00e1utico. In Anais do V Workshop de Regula\u00e7\u00e3o Avalia\u00e7\u00e3o da Conformidade e Certifica\u00e7\u00e3o de Seguran\u00e7a (S\u00e3o Paulo). SBC Porto Alegre RS Brasil 1\u201310. https:\/\/doi.org\/10.5753\/wrac.2019.14031","key":"e_1_3_2_1_13_1","DOI":"10.5753\/wrac.2019.14031"},{"unstructured":"ORGANISMO NACIONAL DE NORMALIZACI\u00d3N Y CERTIFICACI\u00d3N. 2011. Tecnolog\u00eda de la Informaci\u00f3n - Software - Modelos de Procesos y Evaluaci\u00f3n para el Desarrollo y Mantenimiento de Software - Parte 02 Requisitos de Procesos (MoProSoft). NMX-I-059\/02 -NYCE-2011 M\u00e9xico.","key":"e_1_3_2_1_14_1"},{"volume-title":"Developing Safety-Critical Software","author":"Rierson Leanna","unstructured":"Leanna Rierson. 2013. Developing Safety-Critical Software:. CRC Press. 610 pages.","key":"e_1_3_2_1_15_1"},{"unstructured":"RTCA. 2011. RTCA DO -178C Software Considerations in Airborne Systems and Equipment Certification. Technical Report.","key":"e_1_3_2_1_16_1"},{"unstructured":"S-18 Aircraft and Sys Dev and Safety Assessment Committee. 1996. Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. Technical Report.","key":"e_1_3_2_1_17_1"},{"unstructured":"S-18 Aircraft and Sys Dev and Safety Assessment Committee. 2010. ARP-4754A Guidelines for Development of Civil Aircraft and Systems. Technical Report.","key":"e_1_3_2_1_18_1"},{"unstructured":"SEI. 2010. CMMI for Development Version 1.3. Technical Report CMU\/SEI-2010-TR-033. Software Engineering Institute Carnegie Mellon University Pittsburgh PA. http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?AssetID=9661","key":"e_1_3_2_1_19_1"},{"unstructured":"Softex. 2021. MPS. BR - Melhoria de Processo do Software Brasileiro Guia Geral Sum\u00e1rio. https:\/\/softex.br\/mpsbr\/","key":"e_1_3_2_1_20_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1007\/978-3-030-46781-4_1"}],"event":{"acronym":"SBQS '23","name":"SBQS '23: XXII Brazilian Symposium on Software Quality","location":"Bras\\'{\\i}lia Brazil"},"container-title":["Proceedings of the XXII Brazilian Symposium on Software Quality"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3629479.3629508","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3629479.3629508","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,18]],"date-time":"2025-09-18T17:14:52Z","timestamp":1758215692000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3629479.3629508"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,7]]},"references-count":21,"alternative-id":["10.1145\/3629479.3629508","10.1145\/3629479"],"URL":"https:\/\/doi.org\/10.1145\/3629479.3629508","relation":{},"subject":[],"published":{"date-parts":[[2023,11,7]]},"assertion":[{"value":"2023-12-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}