适用于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除外）的任何信息，或者您是否打算自动生成代码等。

希望这有一些帮助。

Answer 2

我有使用Rhapsody C ++进行DO-178B Level A / B兼容项目的经验。

根据覆盖要求（包括MC / DC覆盖范围）验证自动生成的代码的适当级别。由于生成的代码通过严格的静态/动态测试和人工审核完全验证，就好像它们是手工编码一样，Rhapsody工具认证不是强制性的。

我们已经花了很多精力来定制Rhapsody代码生成属性，以便只生成所需的代码，如ctor / dtors和get / setter，并避免不确定的库函数或具有动态内存分配的库函数。

我们能够充分利用往返工程，以便Rhapsody模型文件而不是代码受版本控制，因为模型包含所有代码。

应该考虑使用Rhapsody UML来开发可重用和可移植的软件架构。

Answer 3

Rhapsody正在我们的A / C / D级项目中使用 Arinc 653 。由于正在验证输出 Rhapsody （自动代码生成器）。

因此，不需要资格 Rhapsody 。 Rhapsody 通过仅更新“标签”字段，提供可追溯性和生成或修改测试脚本的优势。

因此，不需要修改测试脚本中的整个测试脚本或跟踪。