有没有人在 DO-178 航空电子设备环境中成功使用过 Rhapsody？也就是说，与 FAA/DER 流程合作，向他们提供工件并让他们获得批准。由于我的理解是 Rhapsody 不是可认证的 MDD 工具，我很好奇是否还有其他缓解因素。
如果你成功了，你采取了哪些步骤来实现这一目标？
感谢您的任何反馈和见解。
问问题
1062 次
3 回答
3
我在一个按照 DO-178B 级别 D 开发的项目中使用了 Rhapsody（但未经认证）。这些要求在 DOORS 中进行管理，并使用 Rhapsody Gateway 工具链接到 Rhapsody，该工具运行良好。这很重要，因为可追溯性是 178B 的关键部分。
该软件在 Rhapsody 中建模，然后手动生成代码。选择手动代码生成是因为代码的自动生成需要 Rhapsody 成为符合 178B 的开发工具。我不知道IBM 是否为Rhapsody 提供任何178B 认证。
使用定制的测试工具对软件的要求进行验证，为此，我们必须对该工具进行一些重要的测试，以使其成为验证工具。
您的问题很难回答，因为您没有提供有关您正在使用的 178B 级别、您正在使用/计划使用哪些工具（Rhapsody 除外）或您是否打算自动生成代码的任何信息，等等
希望这个对你有帮助。
于 2012-07-26T11:23:40.590 回答
2
我有使用 Rhapsody C++ 进行 DO-178B A/B 级兼容项目的经验。
自动生成的代码根据覆盖要求（包括 MC/DC 覆盖）进行验证，以获得适当的级别。由于生成的代码通过严格的静态/动态测试和人工审查进行了全面验证，就好像它们是手工编码的一样，Rhapsody 工具的资格不是强制性的。
我们在自定义 Rhapsody 代码生成属性方面付出了很多努力，以仅生成所需的代码，例如 ctor/dtors 和 get/setter，并避免使用不确定的库函数或具有动态内存分配的库函数。
我们能够充分利用往返工程，以便 Rhapsody 模型文件而不是代码受版本控制，因为模型包含所有代码。
Rhapsody UML 应该被考虑用于开发可重用和可移植的软件架构。
于 2013-02-04T04:48:40.417 回答
1
Rhapsody 正在我们的 A/C/D 级项目中使用Arinc 653。由于Rhapsody的输出（自动代码生成器）正在验证中。
因此，资格狂想曲是没有必要的。Rhapsody通过仅更新“标签”字段在可追溯性和生成或修改测试脚本方面提供优势。
因此不需要修改整个测试脚本或测试脚本中的跟踪。
于 2017-12-05T10:22:24.463 回答