{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T12:27:29Z","timestamp":1764937649474,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":35,"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 - 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.3629505","type":"proceedings-article","created":{"date-parts":[[2023,12,6]],"date-time":"2023-12-06T16:27:26Z","timestamp":1701880046000},"page":"198-207","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Enhancing Aviation Software Development: An Experience Report on Conducting Audits"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1551-435X","authenticated-orcid":false,"given":"Johnny","family":"Marques","sequence":"first","affiliation":[{"name":"Aeronautics Institute of Technology, Brazil"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7973-6982","authenticated-orcid":false,"given":"Sarasuaty","family":"Yelisetty","sequence":"additional","affiliation":[{"name":"Aeronautics Institute of Technology, Brazil"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3103-4919","authenticated-orcid":false,"given":"Talita","family":"Slavov","sequence":"additional","affiliation":[{"name":"Aeronautics Institute of Technology, Brazil"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4743-7253","authenticated-orcid":false,"given":"Lilian","family":"Barros","sequence":"additional","affiliation":[{"name":"Aeronautics Institute of Technology, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2023,12,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3014794"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"R.K. Behera S. Shukla S.K. Rath and S. Misra. 2018. Software Reliability Assessment Using Machine Learning Technique. In Computational Science and Its Applications \u2013 ICCSA 2018. Springer International Publishing Cham 403\u2013411.","DOI":"10.1007\/978-3-319-95174-4_32"},{"volume-title":"Software verification and validation: A Project-Based Tutorial","author":"Blokdyk G.","key":"e_1_3_2_1_3_1","unstructured":"G. Blokdyk. 2017. Software verification and validation: A Project-Based Tutorial. CreateSpace Independent Publishing Platform."},{"volume-title":"A Practitioner\u2019s Guide to Software Test Design","author":"Copeland L.","key":"e_1_3_2_1_4_1","unstructured":"L. Copeland. 2007. A Practitioner\u2019s Guide to Software Test Design. Artech House Publishers."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","unstructured":"F. Fernandes and R. Fran\u00e7a. 2015. Assessing the impact of Scrum in airborne software quality assurance. In Anais do XIV Simp\u00f3sio Brasileiro de Qualidade de Software (Manaus). SBC Porto Alegre RS Brasil 204\u2013211. https:\/\/doi.org\/10.5753\/sbqs.2015.15224","DOI":"10.5753\/sbqs.2015.15224"},{"key":"e_1_3_2_1_6_1","unstructured":"IEC. 2015. IEC 62304 Medical Device Software - Software Life-Cycle Processes."},{"key":"e_1_3_2_1_7_1","unstructured":"O. Karam F.\u00a0F. Tsui and B. Bernal. 2015. Essentials of Software Engineering. Jones and Bartlett Learning."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2015.7311643"},{"volume-title":"36th IEEE\/AIAA Digital Avionics Systems Conference.","author":"Marques J.","key":"e_1_3_2_1_9_1","unstructured":"J. Marques and A.M. Cunha. 2017. Verification Scenarios of Onboard Databases under the RTCA DO-178C and the RTCA DO-200B. 36th IEEE\/AIAA Digital Avionics Systems Conference."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1142\/S021819401950044X"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC43569.2019.9081775"},{"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","DOI":"10.5753\/wrac.2019.14031"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2020.3040511"},{"volume-title":"9th European Congress of Embedded Real-Time Software and Systems.","author":"Marsden J.","key":"e_1_3_2_1_14_1","unstructured":"J. Marsden, A. Windisch, R. Mayo, J. Grossi, J. Villermin, L. Fabre, and C. Aventini. 2019. ED-12C\/DO-178C vs. Agile Manifesto \u2013 A Solution to Agile Development of Certifiable Avionics Systems. In 9th European Congress of Embedded Real-Time Software and Systems."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2013.43"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"J. Munch O. Armbrunt M.Kowalczyk and M. Soto. 2012. Software Process Definition and Management. Springer-Verlag Berlim Germany.","DOI":"10.1007\/978-3-642-24291-5_7"},{"volume-title":"Practical Techniques, and Applications (2 ed.)","author":"Oshana R.","key":"e_1_3_2_1_17_1","unstructured":"R. Oshana and M. Kraeling. [n. d.]. Software Enineering for Embedded Systems: Mehtods, Practical Techniques, and Applications (2 ed.). Elsevier."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC55683.2022.9925871"},{"volume-title":"IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).","author":"Paz A.","key":"e_1_3_2_1_19_1","unstructured":"A. Paz and G. Bousaidi. 2016. On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification. In IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)."},{"volume-title":"Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance","author":"Rierson L.","key":"e_1_3_2_1_20_1","unstructured":"L. Rierson. 2013. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance. CRC Press."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW55968.2022.00071"},{"key":"e_1_3_2_1_22_1","unstructured":"RTCA. 1982. DO-178 Software Considerations in Airborne Systems and Equipment Certification."},{"key":"e_1_3_2_1_23_1","unstructured":"RTCA. 1985. DO-178A Software Considerations in Airborne Systems and Equipment Certification."},{"key":"e_1_3_2_1_24_1","unstructured":"RTCA. 1992. DO-178B Software Considerations in Airborne Systems and Equipment Certification."},{"key":"e_1_3_2_1_25_1","unstructured":"RTCA. 2011. DO-178C Software Considerations in Airborne Systems and Equipment Certification."},{"key":"e_1_3_2_1_26_1","unstructured":"RTCA. 2011. DO-330 Software Tool Qualification Considerations."},{"key":"e_1_3_2_1_27_1","unstructured":"RTCA. 2011. DO-331 Model-Based Development and Verification Supplement to DO-178C and DO-278A."},{"key":"e_1_3_2_1_28_1","unstructured":"RTCA. 2011. DO-332 Object-Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A."},{"key":"e_1_3_2_1_29_1","unstructured":"RTCA. 2011. DO-333 Formal Methods Supplement to DO-178C and DO-278A."},{"key":"e_1_3_2_1_30_1","unstructured":"RTCA. 2016. DO-200B Standards for Processing Aeronautical Data."},{"key":"e_1_3_2_1_31_1","volume-title":"Direcionadores para o Desenvolvimento Baseado emModelos de Software Embarcado Aeron\u00e1utico. Cadernos do IME : S\u00e9rie Inform\u00e1tica 44, 1","author":"Sarkis A.","year":"2020","unstructured":"A. Sarkis, J. Marques, and L.A.V. Dias. 2020. Direcionadores para o Desenvolvimento Baseado emModelos de Software Embarcado Aeron\u00e1utico. Cadernos do IME : S\u00e9rie Inform\u00e1tica 44, 1 (2020)."},{"key":"e_1_3_2_1_32_1","unstructured":"I. Sommerville. 2015. Software Engineering. Pearson."},{"volume-title":"2009 IEEE\/AIAA 28th Digital Avionics Systems Conference.","author":"VanderLeest S.H.","key":"e_1_3_2_1_33_1","unstructured":"S.H. VanderLeest and A. Buter. 2009. Escape the waterfall: Agile for aerospace. In 2009 IEEE\/AIAA 28th Digital Avionics Systems Conference."},{"key":"e_1_3_2_1_34_1","unstructured":"K.E. Wiegers and J. Beatty. 2013. Software Requirements 3. Microsoft Press Washington EUA."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2014.140109"}],"event":{"name":"SBQS '23: XXII Brazilian Symposium on Software Quality","acronym":"SBQS '23","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.3629505","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3629479.3629505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,18]],"date-time":"2025-09-18T17:14:24Z","timestamp":1758215664000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3629479.3629505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,7]]},"references-count":35,"alternative-id":["10.1145\/3629479.3629505","10.1145\/3629479"],"URL":"https:\/\/doi.org\/10.1145\/3629479.3629505","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"}}]}}