Um Levantamento de Fatores Humanos e Técnicos em Garantia de Qualidade de Projeto de Software Embarcado Aeronáutico no Brasil

Resumo


Os produtos aeronáuticos recentes possuem forte uso de Software Embarcado Aeronáutico, onde naturalmente a garantia da qualidade é essencial. Objetivo: apresentar os principais fatores humanos e técnicos envolvidos na Garantia de Qualidade de Software Embarcado Aeronáutico. 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. Conclusão: este trabalho identificou os fatores assim como as carências levantadas pela comunidade envolvida na garantia de qualidade de software aeronaútico.
Palavras-chave: software, qualidade, aviação, normatização, processo

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).

Eisemann, U. (2016). Applying model-based techniques for aerospace projects in accordance with do178c, do-331, and do-333. In 8th European Congress on Embedded Real-Time Software and Systems.

Georges, M. R. R. and Passarella, F. (2020). Sustentabilidade na Industria 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., Fontao, 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 Economicos de Software, pages 31–40, Porto Alegre, RS, Brasil. SBC.

Kasunic, M. (2005). Designing an Effective Survey. Software Engineering Institute.

Lemes, M. J. R., Altoe, 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).

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).

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.

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 do178c-compliant avionics software development and certification. In IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

Pernstal, J., Feldt, R., Gorschek, T., and Floren, D. (2019). Communication problems in software development - a model and its industrial application. International Journal of Software Engineering and Knowledge Engineering, 29(10).

Rierson, L. (2013). Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance. CRC Press.

RTCA (2011). Do-178c software considerations in airborne systems and equipment certification.

Sarkis, A., Marques, J., and Dias, L. A. V. (2020). Direcionadores para o desenvolvimento baseado emmodelos de software embarcado aeronautico. Cadernos do IME : Série Informatica, 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. 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.
Publicado
18/07/2021
YELISETTY, Sarasuaty; BARROS, Lilian; SLAVOV, Talita; MARQUES, Johnny. Um Levantamento de Fatores Humanos e Técnicos em Garantia de Qualidade de Projeto de Software Embarcado Aeronáutico no Brasil. In: WORKSHOP SOBRE ASPECTOS SOCIAIS, HUMANOS E ECONÔMICOS DE SOFTWARE (WASHES), 6. , 2021, Evento Online. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2021 . p. 1-10. ISSN 2763-874X. DOI: https://doi.org/10.5753/washes.2021.15884.