Identificação e Avaliação de Carências, Fatores Humanos e Técnicos na Garantia de Qualidade em Software Embarcado Aeronáutico no Brasil
DOI:
https://doi.org/10.5753/isys.2022.2375Keywords:
Software, Certificação, Aeronáutico, QualidadeAbstract
Contexto: os produtos aeronáuticos recentes possuem forte uso de Software Embarcado Aeronáutico, onde naturalmente a garantia da qualidade é essencial. Problema de pesquisa: essa pesquisa envolve descobrir quais as carências e fatores humanos e técnicos são envolvidos na atividade de Garantia de Qualidade de Software Embarcado Aeronáutico (GQSEA) na indústria aeronáutica brasileira. Solução: a solução envolveu identificar e avaliar as carências, fatores humanos e técnicos de GQSEA no Brasil, aplicando se um Survey com 25 participantes e posteriormente uma entrevista com 8 participantes. Justificativa e motivação: em ambientes regulados, como a aviação, os fatores humanos e técnicos são essenciais para a garantia da qualidade, no entanto, os autores não encontraram nenhum trabalho similar que aborde essa temática. Adicionalmente, a identificação destes fatores e carências podem ajudar na estruturação de ações como capacitação em RTCA DO-178C e definição de métricas de GQSEA. Conclusão: este trabalho identificou carências, fatores técnicos e humanos a partir da execução de um Survey levantadas pela comunidade envolvida na execução do Survey envolvendo o público-alvo. Essas carências e fatores foram avaliados posteriormente em uma entrevista com 8 profissionais de GQSEA.
Downloads
Referências
Andres-Jimenez, J., Medina-Merodio, J.-A., Fernandez-Sanz, L., Martinez-Herraiz, J.-J., and Gonzalez-De-Lope, J. (2020). A framework for evaluating the standards for the production of airborne and ground traffic management software. IEEE Access, 8.
Barros, L., Hirata, C., Marques, J., and Ambrosio, A. M. (2020). Generating test cases to evaluate and improve processes of safety-critical systems development. In 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Boscarioli, C., Araujo, R. M., and Maciel, R. S. (2017). Grand Research Challenges in Information Systems in Brazil 2016-2026. Sociedade Brasileira de Computação.
Chrissis, M. B., Konrad, M., and Shrum, S. (2011). CMMI for Development. Guidelines for Process Integration and Product Improvement. Pearson.
Georges, M. R. R. and Passarella, F. (2020). Sustentabilidade na Indústria Aeronáutica Brasileira. Appris.
Helgeson, J. W. (2009). The Software Audit Guide. ASQ Quality Press.
Imamura, M., Costa, L. A., Pereira, B., Ferreira, F. H., Fontão, A., and dos Santos, R. (2020). Fatores de governança em sistemas-de-sistemas: Análise de uma instituição pública brasileira. In Anais do V Workshop sobre Aspectos Sociais, Humanos e Econômicos de Software, pages 31–40, Porto Alegre, RS, Brasil. SBC.
Kasunic, M. (2005). Designing an Effective Survey. Software Engineering Institute.
Lemes, M. J. R., Altoé, F. O., Domiciano, A. J., and Carbonari, A. (2003). Software certification in airborne systems: process and challenges. In 2003 Latin American on Dependable Computing (LADC).
Marcil, L. (2012). Realizing do-178c’s value by using new technology: Oot, mbdv, tqc, fm. In 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).
Marques, J. and Cunha, A. (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).
Marques, J. and Cunha, A. (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).
Marques, J., Hayashi, S., and Barros, L. (2019). Caracterização de cenários e garantias de segurança em carregamentos de software aeronáutico. In Anais do V Workshop de Regulação, Avaliação da Conformidade e Certificação de Segurança, pages 1–10, Porto Alegre, RS, Brasil. SBC.
Marques, J., Yelisetty, S., and Barros, L. (2021). A framework for loadable airborne systems. IEEE Aerospace and Electronic Systems Magazine, 36(5):38–47.
Marsden, J., Windisch, A., Mayo, R., Grossi, J., Villermin, J., Fabre, L., and Aventini, C. (2019). Ed-12c/do-178c vs. agile manifesto – a solution to agile development of certifiable avionics systems. In 9th European Congress of Embedded Real-Time Software and Systems.
Monteiro, E. L. and Maciel, R. S. P. (2020). Maturity models architecture: A large systematic mapping. iSys - Brazilian Journal of Information Systems, 13(2):110–140.
Moy, Y., Ledinot, E., Delseny, H., Wiels, V., and Monate, B. (2013). Testing, or formal verification: Do-178c alternatives and industrial experience. IEEE Software, 30(3):50–57.
Paz, A. and Bousaidi, G. (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).
Pernstal, J., Feldt, R., Gorschek, T., and Florén, D. (2019). Communication problems in software development - a model and its industrial application. International Journal of Software Engineering and Knowledge Engineering, 29(10).
Ribeiro, S. A., Schmitz, E. A., Alencar, A. J. S. M. d., and Silva, M. F. d. (2017). A síndrome do deadline: Origem, causas e implicações no processo de desenvolvimento de software. iSys - Brazilian Journal of Information Systems, 10(2):30–47.
Rierson, L. (2013). Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance. CRC Press.
RTCA (1992). Do-178b software considerations in airborne systems and equipment certification.
RTCA (2011a). Do-178c software considerations in airborne systems and equipment certification.
RTCA (2011b). Do-331 model-based development and verification supplement to do- 178c and do-278a.
RTCA (2011c). Do-332 object-oriented technology and related techniques supplement to do-178c and do-278a.
RTCA (2011d). Do-333 formal methods supplement to do-178c and do-278a.
RTCA (2016). Do-200b standards for processing aeronautical data.
Sarkis, A., Marques, J., and Dias, L. A. V. (2020). Direcionadores para o desenvolvimento baseado em modelos de software embarcado aeronáutico. Cadernos do IME : Série Informática, 44(1).
Slavov, T. M. R., Martins, L. E. G., and Marques, J. (2020). A software audit model for safety-critical domains. In 39th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Lisbon, Portugal.
VanderLeest, S. and Buter, A. (2009). Escape the waterfall: Agile for aerospace. In 2009 IEEE/AIAA 28th Digital Avionics Systems Conference.
Westfall, L. (2020). The Certified Software Quality Engineer Handbook. Quality Press.
Yelisetty, S., Barros, L., Slavov, T., and Marques, J. (2021). Um levantamento de fatores humanos e técnicos em garantia de qualidade de projeto de software embarcado aeronáutico no brasil. In Anais do VI Workshop sobre Aspectos Sociais, Humanos e Econômicos de Software, pages 1–10, Porto Alegre, RS, Brasil. SBC.
Yelisetty, S. M., Marques, J., and Tasinaffo, P. M. (2015). A set of metrics to assess and monitor compliance with rtca do-178c. In 34th IEEE/AIAA Digital Avionics Systems Conference.
Youn, W., Hong, S., Oh, K., and Sung, O. (2015). Software certification of safety-critical avionic systems: Do-178c and its impacts. IEEE Aerospace and Electronic Systems Magazine, 30(4):4–13.
Downloads
Published
Como Citar
Issue
Section
Licença
Copyright (c) 2022 iSys - Revista Brasileira de Sistemas de Informação
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.
