IEEE - Aerospace and Electronic Systems - May 2021 - 47

Marques et al.

[7] Software Considerations in Airborne Systems and Equip-

[18] J. Marques and A. M. da Cunha, " Use of the RTCA DO-

ment Certification, RTCA Standard DO-178B, 1992.

330 in aeronautical databases, " in Proc.IEEE/AIAA 34th

[8] L. Marcil and M. Hawthornthwaite, " Realizing DO-178C's
value by using new technology: OOT, MBDV, TQC FM, "
in Proc. IEEE/AIAA 31st Digit. Avionics Syst. Conf., 2012,

Digit. Avionics Syst. Conf., 2015, pp. 8D1-1-8D1-6.
[19] S. Mahmoodi, U. Durak, S. Hartmann, and S. Jafer, ''DO330/ED-215 overlay to the IEEE recommended practice for

pp. 6A3-1-6A3-10.

distributed simulation engineering and execution process, "

[9] W. Youn, S. Hong, K. Oh, and O. Sung, " Software certification of safety-critical avionic systems: DO-178C and its

J. Aerosp. Inf. Syst., vol. 15, no. 12, pp. 696-705, 2018.
[20] Airworthiness Security Process Specification, RTCA Stan-

impacts, " IEEE Aerosp. Electron. Syst. Mag., vol. 30, no. 4,
pp. 4-13, Apr. 2015.

dard DO-326A, 2014.
[21] Airworthiness Security Methods and Consideration, RTCA

[10] A. Paz and G. El Bousaidi, " On the exploration of modelbased support for DO-178C-compliant avionics software
development and certification, " in Proc. IEEE Int. Symp.

Standard DO-356, 2014.
[22] J. Marques and A. Cunha, " A reference method for airborne software requirements, " in Proc.IEEE/AIAA 32th

Softw. Rel. Eng. Workshops, 2016, pp. 229-236.

Digit. Avionics Syst. Conf., 2013, pp. 7A2-1-7A2-14.

[11] U. Eisemann, " Applying model-based techniques for aero-

[23] Guidelines for Development of Civil Aircraft and Systems,

space projects in accordance with DO178C, DO-331, and
DO-333, " in Proc. 8th Eur. Congr. Embedded Real-Time

SAE Standard ARP4754A, 2010.
[24] L. Rierson, Developing Safety-Critical Software: A Practi-

Softw. Syst., 2016, pp. 1-8.

cal Guide for Aviation Software and DO-178C Compli-

[12] S. VanderLeest and A. Buter, " Escape the waterfall: Agile

ance. Boca Raton, FL, USA: CRC Press, 2013.

for aerospace, " in Proc.IEEE/AIAA 28th Digit. Avionics
Syst. Conf., 2009, pp. 6.D.3-1-6.D.3-16.

[25] European Aviation Safety Agency, " Certification memo
SW-CEH 002, " 2010.

[13] J. Marques, S. Yelisetty, A. Cunha, and L. Dias, ''CARD-

[26] Electronic Distribution of Software, Standard ARINC 666,

RM: A reference model for airborne software, " in Proc.10th
Int. Conf. Inf. Technol., New Gener., 2013, pp. 273-279.

2002.
[27] Guidance of the Management of Field Loadable Software,

[14] J. Marsden et al., ''ED-12C/DO-178C vs. agile mani-

Standard ARINC 667-2, 2017.

festo-A solution to agile development of certifiable avi-

[28] C. Rogers, " Choosing a CRC specifying its requirements

onics systems, " in Proc.9th Eur. Congr. Embedded Real-

for field-loadable software, " in Proc.IEEE/AIAA 27th
Digit. Avionics Syst. Conf., 2008, pp. 5.C.6-1-5.C.6-9.
[29] IEEE Standard Glossary of Software Engineering Termi-

Time Softw. Syst., 2019, pp. 1-10.
[15] Y. Moy, E. Ledinot, H. Delseny, V. Wiels, and B. Monate,
" Testing, or formal verification: DO-178C alternatives and
industrial experience, " IEEE Softw., vol. 30, no. 3, pp. 50-57,

nology, IEEE Standard 610.12-1990, 1990.
[30] K. Pohl and C. Rupp, Requirements Engineering Fundamen-

May/Jun. 2013.

tals: A Study Guide for the Certified Professional for

[16] J. Marques and A. M. da Cunha, " Verification scenarios of

Compliant. San Rafael, CA, USA: Rocky Nook, 2015.

RTCA DO-200B, " in Proc.IEEE/AIAA 36th Digit. Avion-

[31] K. Pohl, Process-Centered Requirements Engineering.

ics Syst. Conf., 2017, pp. 1-8.
[17] J. Marques and A. M. da Cunha, " Cots tool qualifica-

MAY 2021

Requirements Engineering Exam - Foundation Level - IREB

onboard databases under the RTCA DO-178C and the

Boston, MA, USA: Res. Stud. Press, 1996.
[32] Systems and Software Engineering-Systems

and

tion using RTCA DO-330: Common pitfalls, " in Proc.

Software

IEEE/AIAA 36th Digit. Avionics Syst. Conf., 2017,

(SQuaRE)-System and Software Quality Models,

pp. 1-6.

ISO/IEC 25010, 2011.

IEEE A&E SYSTEMS MAGAZINE

Quality

Requirements

and

Evaluation

47
IEEE - Aerospace and Electronic Systems - May 2021

Table of Contents for the Digital Edition of IEEE - Aerospace and Electronic Systems - May 2021
