ABSTRACT

In this chapter, authors propose the entries and scores to rate techniques and tools applied in the company: The possibility to select the option unknown is offered, meaning that the person was unable to decide on a rating. Ultimately, note that a questionnaire for techniques in standards is not necessary, because at least one corresponding technique in company is matched to each technique in a standard. The authors start their analysis from the avionics standards DO-178B, DO-178C, ED-153 and ARP4754A. However, they note that often the techniques recommended in the standards can have replacement techniques, or only a subset of such techniques is actually necessary. In general, the outcomes which suggest smaller confidence are those related to formal methods and model checking, although other replacement techniques are accepted in DO-178B and this does not really constitutes a gap in what concerns the DO-178B application.