do178-b - DO-178C 是否要求编译人员具备资格？

Question

在 DO 178C 文本中，要求开发工具和验证工具是合格的。编译器当然是一种开发工具。但是在搜索“DO 178C 合格的 C 编译器”时，我并没有真正找到 C 语言的编译器。相反，一些文章说“DO 178C 不需要对编译器进行限定”。有人可以帮忙解释为什么吗？

Answer 1

DO-330（软件工具资格考虑）标准中进一步定义了工具的资格。根据 DO-330，当以下三个条件为真时，该工具必须是合格的。

1. 工具的输出需要满足 DO-178/DO-254/DO-278 标准的目标。
2. 该工具可以将错误插入到 SW/HW 中，或者无法检测到 SW/HW 中的现有错误。
3. 工具的输出没有被其他验证活动验证或确认。

因此，如果没有对编译器输出进行验证，则编译器必须是合格的。

据我了解，不建议将纯 C 语言用于任何安全关键型软件开发，因此无法限定常规 C 编译器。C 的子集（例如 MISRA-C）可能是合格的。