Part IV examines four technology-specific guidance documents that were developed by the RTCA Special Committee #205 (SC-205) and EUROCAE Working Group #71 (WG-71):^*

• DO-330/ED-215, Software Tool Qualification Considerations

• DO-331/ED-218, Model-Based Development and Verification Supplement to DO-178C and DO-278A

• DO-332/ED-217, Object-Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A

• DO-333/ED-216, Formal Methods Supplement to DO-178C and DO-278A

Chapter 4 provided a brief overview of each of these documents generated by SC-205/WG-71 and their overall relationship to DO-178C. Each document is over 100 pages long; therefore, a detailed examination is not possible. A chapter is dedicated to each of the four documents. Chapter 13 discusses DO-330 and tool qualification. Chapter 14 briefly explores model-based development and verification and DO-331. Chapter 15 covers DO-332 and object-oriented technology, as well as some related techniques. Chapter 16 surveys formal methods and DO-333.

Because each document builds upon DO-178C, which was discussed in detail in Chapters 5 through 12, Part IV examines the relationship of DO-330, DO-331, DO-332, and DO-333 to DO-178C and identifies primary differences. Each chapter presents an overview of the identified technology, the key differences from DO-178C, and some of the challenges that will likely be encountered when applying the guidance. This overview is intended to give you a glimpse into the four documents and help you better understand how to apply them.

*The EUROCAE ED- numbers are included for reference purposes. The EUROCAE EDdocuments are exactly the same as the RTCA DO-, except the page size differs and the French translation is added. Throughout Part IV, only the RTCA document numbers will be referenced.