DO-178 航空电子环境的狂想曲？

Question

有人在 DO-178 航空电子环境中成功使用 Rhapsody 吗？也就是说，与 FAA/DER 流程合作，向他们提供工件并获得批准。由于据我所知，Rhapsody 不是可认证的 MDD 工具，因此我很好奇是否还有其他缓解因素。

如果您成功了，您采取了哪些步骤来实现这一目标？

感谢您的任何反馈和见解。

Answer 1

我在一个根据 DO-178B D 级开发(但未经过认证)的项目中使用了 Rhapsody。需求在 DOORS 中进行管理，并使用 Rhapsody Gateway 工具链接到 Rhapsody，该工具运行得相当好。这很重要，因为可追溯性是 178B 的关键部分。

该软件在 Rhapsody 中建模，然后手动生成代码。选择手动代码生成是因为自动生成代码需要 Rhapsody 符合开发工具资格才能符合 178B 标准。我不知道IBM是否为Rhapsody提供任何178B认证。

使用定制测试工具根据需求对软件进行验证，为此，我们必须对该工具进行一些重要的测试，以使其符合验证工具的资格。

你的问题很难回答，因为你没有包含任何关于你正在达到什么级别的 178B、你正在使用/计划使用什么工具(Rhapsody 除外)或者你是否打算自动生成代码等

希望这对您有所帮助。