DO Qualification Kit (for DO-178)
Description
What is DO-178?
DO-178 is the de facto international safety standard used to certify commercial avionic system software; it is increasingly used in other sectors and applications. DO-178B is the current version; an effort is underway to update the document to DO-178C.
Any software verification tool used in your avionic system development must be qualified if its output is not verified. DO-178B, Section 12.2, defines a software verification tool as a tool that does not introduce errors but might fail to detect errors that already exist in a product.
The tool user (not the tool vendor) is responsible for this qualification, and tool qualification must be done for each certification project. DO Qualification Kit provides resources for qualifying MathWorks software verification tools.
