A RTCA DO-178C oriented method to develop Electronic Flight Bag Software
Resumo
Operar um avião envolve muitas tarefas complexas, mas os Electronic Flight Bags (EFBs) têm ajudado significativamente a reduzir a carga de trabalho dos pilotos e melhorar o desempenho. Em 2021, a EUROCAE publicou o padrão ED-273 para orientar o desenvolvimento de EFBs, levantando preocupações entre os fabricantes sobre como cumprir os novos requisitos. A RTCA DO-178C, um padrão de software já bem estabelecido, oferece diretrizes para o desenvolvimento de sistemas embarcados aeronáuticos. Este artigo propõe o uso dos processos existentes da norma RTCA DO-178C para atender às exigências do ED-273 para EFBs. As principais contribuições incluem o mapeamento entre os dois padrões, o desenvolvimento de uma abordagem compatível e sua avaliação com a participação de especialistas.Referências
Bhansali, P. V. (2005). Universal software safety standard. Software Engineering Notes, 30(2):1–4.
Ferreirós, A. and Dias, L. A. V. (2015). Evaluation of accomplishment of do-178c objectives by cmmi-dev 1.3. In 2015 12th International Conference on Information Technology - New Generations, pages 759–760.
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. (2013). A reference method for airborne software requirements.
Marques, J. and Cunha, A. (2015). Use of the rtca do-330 in aeronautical databases.
Marques, J. and Cunha, A. (2017). Verification scenarios of onboard databases under the rtca do-178c and the rtca do-200b. 36th AIAA/IEEE Digital Avionics System Conference (DASC 2017).
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.
Marques, J. and Cunha, A. (2019a). Ares: An agile requirements specification process for regulated environments. International Journal of Software Engineering and Knowledge Engineering.
Marques, J. and Cunha, A. (2019b). A set of requirements for development and certification processes applied to defense embedded software.
Marques, J., Cunha, A., and Dias, L. A. V. (2012). Using model-based development as software low-level requirements to achieve airborne software certification.
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.
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).
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 em modelos de software embarcado aeronáutico. Cadernos do IME : Série Informática, 44(1).
VanderLeest, S. and Buter, A. (2009). Escape the waterfall: Agile for aerospace. In 2009 IEEE/AIAA 28th 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.
Ferreirós, A. and Dias, L. A. V. (2015). Evaluation of accomplishment of do-178c objectives by cmmi-dev 1.3. In 2015 12th International Conference on Information Technology - New Generations, pages 759–760.
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. (2013). A reference method for airborne software requirements.
Marques, J. and Cunha, A. (2015). Use of the rtca do-330 in aeronautical databases.
Marques, J. and Cunha, A. (2017). Verification scenarios of onboard databases under the rtca do-178c and the rtca do-200b. 36th AIAA/IEEE Digital Avionics System Conference (DASC 2017).
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.
Marques, J. and Cunha, A. (2019a). Ares: An agile requirements specification process for regulated environments. International Journal of Software Engineering and Knowledge Engineering.
Marques, J. and Cunha, A. (2019b). A set of requirements for development and certification processes applied to defense embedded software.
Marques, J., Cunha, A., and Dias, L. A. V. (2012). Using model-based development as software low-level requirements to achieve airborne software certification.
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.
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).
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 em modelos de software embarcado aeronáutico. Cadernos do IME : Série Informática, 44(1).
VanderLeest, S. and Buter, A. (2009). Escape the waterfall: Agile for aerospace. In 2009 IEEE/AIAA 28th 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.
Publicado
04/11/2024
Como Citar
MATILDE, Felipe Rodrigo Evangelista; MARQUES, Johnny.
A RTCA DO-178C oriented method to develop Electronic Flight Bag Software. In: WORKSHOP ANUAL DO MPS (WAMPS), 20. , 2024, Salvador/BA.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2024
.
p. 1-5.
DOI: https://doi.org/10.5753/wamps.2024.33363.
