A Survey of Human and Technical Factors in Quality Assurance of Embedded Aeronautical Software Projects in Brazil

• Sarasuaty Yelisetty ITA http://orcid.org/0000-0001-7973-6982
• Lilian Barros ITA
• Talita Slavov UNIFESP https://orcid.org/0000-0003-3103-4919
• Johnny Marques ITA https://orcid.org/0000-0002-1551-435X

DOI: https://doi.org/10.5753/washes.2021.15884

Abstract

Recent aeronautical products have a strong use of Embedded Aeronautical Software, where quality assurance is essential. Objective: To present the main human and technical factors involved in the Quality Assurance of Embedded Aviation Software. Justification and motivation: in regulated environments, such as aviation, human and technological factors are essential for quality assurance. However, the authors have not found any similar work that addresses this theme. Conclusion: this work identified the factors and deficiencies raised by the community involved in aviation software quality assurance.

Keywords: software, quality, aviation, standardization, process

References

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.