DO-178认证咨询服务

DO-178认证服务由高级MathWorks顾问提供，他们多年来与航空航天行业的客户合作开发高完整性软件，积累了丰富的知识。MathWorks Consulting Services帮助组织避免常见错误，并减少开发满足DO-178目标的高完整性软件的时间、精力和成本。

MathWorks咨询服务与您合作:

执行关键活动以符合DO-178的要求

• 需求跟踪
• 基于需求的测试和模型覆盖率
• 使用金宝appAdvisor仿真软件模型
• 代码审查，可跟踪性和分析使用金宝app仿真软件代码检查员™和Polyspace^®下载188bet金宝搏
• 测试用例生成和设计分析使用金宝app仿真软件设计校验™
• 使用工具配置和代码生成嵌入式编码器^®
• 使用处理器在循环对算法进行目标测试，包括代码覆盖分析(例如，MC/DC)
• 使用做资格工具包(- 178)
• 生成DO-178遵从性所需的过程工件

计划和执行

• 转换您公司现有的软件开发过程，同时获得效率改进
• 确定并执行分阶段的方法来获得效率收益

培养你的团队

• 学习如何应用和充分利用基于模型的设计，以最大化利益和满足DO-178及其补充的目标
• 通过建立基于模型的设计的专业技术中心来实现自给自足

下一个步骤

在DO-178的工作流中使用基于模型的设计(Model-Based Design)的优化软件开发过程的迁移策略因公司和应用程序而异。MathWorks咨询服务利用产品专业知识和行业背景来定制流程，以最适合您的需求。步骤可能包括:

• 现有过程和工具的评估- MathWorks顾问审查您当前的软件开发过程、工具、应用程序、所需的安全级别(A-E)和规划文件，包括工具资质。
• 差距分析-我们的顾问执行差距分析，以确定当前的挑战、流程效率改进、培训，以及使用基于模型的设计迁移到DO-178流程框架的其他建议。我们制定了一个可行的路线图，其中包括实现建议的改进的分阶段方法。
• 知识转移-我们提供说明，说明如何应用基于模型的设计及其辅助工具链来满足DO-178及其补充的目标，强调从多年经验中提炼的最佳实践。金宝app主题可能包括如何使用特定的工具功能执行验证活动，以及基于优先需求列表对主题进行更深层次的指导。
• 实际部署支持金宝app- MathWorks顾问支持对特定项目实施推荐金宝app流程。我们协助建模、模拟、代码生成、验证、验证、DO确认工具包的定制以及认证活动。在使用基于模型的设计和通过裁剪DO确认工具包生成DO-178工具确认工件的背景下，我们帮助准备DO计划文件，如PSAC。

联系MathWorks咨询服务讨论您的具体要求。

相关会议论文和技术资料

• AIAA 2013:使用基于模型的设计开发DO-178兼容软件的最佳实践(会议论文)