More Web Proxy on the site http://driver.im/

research-article

Enhancing Aviation Software Development: An Experience Report on Conducting Audits

Authors:

Johnny Marques,

Sarasuaty Yelisetty,

Lilian BarrosAuthors Info & Claims

SBQS '23: Proceedings of the XXII Brazilian Symposium on Software Quality

Pages 198 - 207

https://doi.org/10.1145/3629479.3629505

Published: 06 December 2023 Publication History

Abstract

Software audits have paramount importance as they play a critical role in upholding the integrity, security, safety, and regulatory compliance of software systems. In the context of aviation, the RTCA DO-178C standard is specifically designed to guide the development and certification of safety-critical software used in aircraft systems. The RTCA DO-178C standard is a crucial framework for ensuring that safety-critical software in aviation systems adheres to rigorous guidelines and objectives throughout the development process. These guidelines are indispensable in ensuring that the software fulfills the stringent safety requirements necessary for airworthiness certification. The primary objective of this report is to share the author’s extensive experience in conducting software audits onboard aircraft. Over the course of 20 years working in the industry, the authors have amassed valuable data from numerous audits. The findings encompass 4 distinct scenarios and 7 key pitfalls identified in 93 Planning Audits, 110 Development Audits, and 98 Verification Audits.

References

[1]

J. Andres-Jimenez, J. Medina-Merodio, L. Fernandez-Sanz, J. Martinez-Herraiz, and J. Gonzalez-De-Lope. 2020. A Framework for Evaluating the Standards for the Production of Airborne and Ground Traffic Management Software. IEEE Access 8 (2020), 149142–149161. https://doi.org/10.1109/ACCESS.2020.3014794

[2]

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 – ICCSA 2018. Springer International Publishing, Cham, 403–411.

[3]

G. Blokdyk. 2017. Software verification and validation: A Project-Based Tutorial. CreateSpace Independent Publishing Platform.

[4]

L. Copeland. 2007. A Practitioner’s Guide to Software Test Design. Artech House Publishers.

[5]

F. Fernandes and R. França. 2015. Assessing the impact of Scrum in airborne software quality assurance. In Anais do XIV Simpósio Brasileiro de Qualidade de Software (Manaus). SBC, Porto Alegre, RS, Brasil, 204–211. https://doi.org/10.5753/sbqs.2015.15224

[6]

IEC. 2015. IEC 62304 Medical Device Software - Software Life-Cycle Processes.

[7]

O. Karam, F. F. Tsui, and B. Bernal. 2015. Essentials of Software Engineering. Jones and Bartlett Learning.

[8]

J. Marques and A.M. Cunha. 2015. Use of the RTCA DO-330 in aeronautical databases. In 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC). 8D1–1–8D1–6. https://doi.org/10.1109/DASC.2015.7311479

[9]

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.

[10]

J. Marques and A. M. da Cunha. 2019. ARES: An Agile Requirements Specification Process for Regulated Environments. International Journal of Software Engineering and Knowledge Engineering 29, 10 (2019), 1403–1438.

[11]

J. Marques and A. M. da Cunha. 2019. A Set of Requirements for Certification of Airborne Military Software. In 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC). 1–7. https://doi.org/10.1109/DASC43569.2019.9081775

[12]

J. Marques, S. Hayashi, and L. Barros. 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 (São Paulo). SBC, Porto Alegre, RS, Brasil, 1–10. https://doi.org/10.5753/wrac.2019.14031

[13]

J. Marques, S. Yelisetty, and L. Barros. 2021. A Framework for Loadable Airborne Systems. IEEE Aerospace and Electronic Systems Magazine 36, 5 (2021), 38–47. https://doi.org/10.1109/MAES.2020.3040511

[14]

J. Marsden, A. Windisch, R. Mayo, J. Grossi, J. Villermin, L. Fabre, and C. Aventini. 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.

[15]

Y. Moy, E. Ledinot, H. Delseny, V. Wiels, and B. Monate. 2013. Testing, or Formal Verification: DO-178C Alternatives and Industrial Experience. IEEE Software 30, 3 (2013), 50–57.

Digital Library

[16]

J. Munch, O. Armbrunt, M.Kowalczyk, and M. Soto. 2012. Software Process Definition and Management. Springer-Verlag, Berlim, Germany.

[17]

R. Oshana and M. Kraeling. [n. d.]. Software Enineering for Embedded Systems: Mehtods, Practical Techniques, and Applications (2 ed.). Elsevier.

[18]

P. Panchal, S. Myschik, K. Dmitriev, P. Bhardwaj, and F. Holzapfel. 2022. Handling Complex System Architectures with a DO-178C/DO-331 Process-Oriented Build Tool. In 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC). 1–8. https://doi.org/10.1109/DASC55683.2022.9925871

[19]

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

[20]

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

[21]

J.M. Silva Cardoso Rodrigues, J.E. Ferreira Ribeiro, and A. Aguiar. 2022. Improving Documentation Agility in Safety-Critical Software Systems Development For Aerospace. In 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). 222–229. https://doi.org/10.1109/ISSREW55968.2022.00071

[22]

RTCA. 1982. DO-178 Software Considerations in Airborne Systems and Equipment Certification.

[23]

RTCA. 1985. DO-178A Software Considerations in Airborne Systems and Equipment Certification.

[24]

RTCA. 1992. DO-178B Software Considerations in Airborne Systems and Equipment Certification.

[25]

RTCA. 2011. DO-178C Software Considerations in Airborne Systems and Equipment Certification.

[26]

RTCA. 2011. DO-330, Software Tool Qualification Considerations.

[27]

RTCA. 2011. DO-331, Model-Based Development and Verification Supplement to DO-178C and DO-278A.

[28]

RTCA. 2011. DO-332, Object-Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A.

[29]

RTCA. 2011. DO-333, Formal Methods Supplement to DO-178C and DO-278A.

[30]

RTCA. 2016. DO-200B Standards for Processing Aeronautical Data.

[31]

A. Sarkis, J. Marques, and L.A.V. Dias. 2020. Direcionadores para o Desenvolvimento Baseado emModelos de Software Embarcado Aeronáutico. Cadernos do IME : Série Informática 44, 1 (2020).

[32]

I. Sommerville. 2015. Software Engineering. Pearson.

[33]

S.H. VanderLeest and A. Buter. 2009. Escape the waterfall: Agile for aerospace. In 2009 IEEE/AIAA 28th Digital Avionics Systems Conference.

[34]

K.E. Wiegers and J. Beatty. 2013. Software Requirements 3. Microsoft Press, Washington, EUA.

[35]

W.K. Youn, S.B. Hong, K.R. Oh, and O.S. Sung. 2015. Software certification of safety-critical avionic systems: DO-178C and its impacts. IEEE Aerospace and Electronic Systems Magazine 30, 4 (2015), 4–13.

Cited By

Kosenkov OElahidoost PGorschek TFischbach JMendez DUnterkalmsteiner MFucci DMohanani R(2025)Systematic mapping study on requirements engineering for regulatory compliance of software systemsInformation and Software Technology10.1016/j.infsof.2024.107622178(107622)Online publication date: Feb-2025
https://doi.org/10.1016/j.infsof.2024.107622

Index Terms

Enhancing Aviation Software Development: An Experience Report on Conducting Audits

Index terms have been assigned to the content through auto-classification.

Recommendations

ME-MPS: An MR-MPS-SW extension model for critical software in regulated environments
SBQS '23: Proceedings of the XXII Brazilian Symposium on Software Quality

Safety-critical software puts human lives at risk or can cause significant financial losses in case of failures. Environments regulated by security standards impose requirements on critical software development organizations that aim to guide them in ...
Civil Aircraft Airborne Software Safety and Reliability Study Based on RTCA/DO-178C
CSSE '22: Proceedings of the 5th International Conference on Computer Science and Software Engineering

Airborne software is invisible but it can have a critical impact on the safety of aircraft systems. This paper studies the retroactive relationship between the certification regulations of various countries and the ICAO Convention, then analyzes the ...
A requirements modelling language to facilitate avionics software verification and certification
RET '19: Proceedings of the 6th International Workshop on Requirements Engineering and Testing

Engineering avionics software is a complex task. Even more so due to their safety-critical nature. Aviation authorities require avionics software suppliers to provide appropriate evidence of achieving DO-178C objectives for the verification of outputs ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

SBQS '23: Proceedings of the XXII Brazilian Symposium on Software Quality

November 2023

391 pages

ISBN:9798400707865

DOI:10.1145/3629479

Editors:
Edna Dias Canedo
University of Brasília (CIC, UnB), Brazil
,
Daniel de Paula Porto
University of Brasília (CIC, UnB), Brazil
,
Fábio Lúcio Lopes Mendonça
University of Brasília (FT, UnB), Brazil
,
Rafael Timóteo de Sousa Júnior
University of Brasília (FT, UnB), Brazil
,
Monalessa Perini Barcellos
Federal University of Espírito Santo (UFES), Brazil
,
Ismayle Sousa Santos
Ceará State University (UECE), Brazil
,
Sheila Reinehr
Pontifical Catholic University of Rio de Janeiro (PUC-PR), Brazil
,
Sergio Soares
Federal University of Pernambuco (UFPE), Brazil
,
Uirá Kulesza
Federal University of Rio Grande do Norte (UFRN), Brazil
,
Érica Ferreira de Souza
Federal Technological University of Paraná (UTFPR), Brazil
,
Adriano Albuquerque
University of Fortaleza (UNIFOR), Brazil
,
Carla Bezerra
Federal University of Ceará (UFC), Brazil
,
Rodrigo Santos
Federal University of the State of Rio de Janeiro (UNIRIO), Brazil
,
Alessandro Garcia
Pontifical Catholic University of Rio de Janeiro (PUC-RJ), Brazil
,
Simone Dornelas Costa
Federal University of Espírito Santo (UFES), Brazil
,
Adolfo Gustavo Serra Seca Neto
Federal Technological University of Paraná (UTFPR), Brazil

Copyright © 2023 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 December 2023

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Funding Sources

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Brasil (CAPES)

Conference

SBQS '23

SBQS '23: XXII Brazilian Symposium on Software Quality

November 7 - 10, 2023

Bras\'{\i}lia, Brazil

Acceptance Rates

Overall Acceptance Rate 35 of 99 submissions, 35%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
44
Total Downloads

Downloads (Last 12 months)44
Downloads (Last 6 weeks)1

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Kosenkov OElahidoost PGorschek TFischbach JMendez DUnterkalmsteiner MFucci DMohanani R(2025)Systematic mapping study on requirements engineering for regulatory compliance of software systemsInformation and Software Technology10.1016/j.infsof.2024.107622178(107622)Online publication date: Feb-2025
https://doi.org/10.1016/j.infsof.2024.107622

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

HTML Format

View this article in HTML Format.

Media

Figures

Other

Tables

View Table of Contents