DO-178 认证咨询服务

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

MathWorks Consulting Services 会与您一起：

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

• 需求可追溯性
• 基于需求的测试和模型覆盖率
• 使用 Simulink 模型顾问检查模型标准
• 使用 Simulink Code Inspector™ 和 Polyspace^® 产品进行代码审查、可追溯性和分析
• 使用 Simulink Design Verifier™ 生成测试用例和进行设计分析
• 使用 Embedded Coder^® 配置工具和生成代码
• 使用处理器在环对算法进行目标系统上的测试，包括代码覆盖率分析（例如 MC/DC）
• 使用 DO Qualification Kit (for DO-178) 进行工具鉴定
• 生成符合 DO-178 规定的流程交付物

计划和执行

• 实现您公司现有软件开发过程的转型，同时提高效率
• 确定并执行分阶段实现效率提升的方法

培训您的团队

• 学习如何应用和充分利用基于模型的设计，以最大限度地提高收益并满足 DO-178 及其补充规范中要求的目标
• 建立基于模型的设计的专业知识库，以便自给自足

后续步骤

在 DO-178 工作流中使用基于模型的设计的优化软件开发过程的迁移策略因公司和应用而异。MathWorks Consulting Services 会凭借产品专业知识和行业背景为您量身定制最适合您的流程。步骤可能包括：

• 评估现有过程和工具 - MathWorks 顾问会审查您当前的软件开发过程、工具、应用、需要的安全级别 (A-E) 和规划文档，包括工具鉴定。
• 差距分析 - 我们的顾问会执行差距分析，以确定当前挑战、过程效率改进项目、培训和其他针对于迁移到使用基于模型的设计的 DO-178 过程框架的建议。我们会制定可行的路线图，其中包括实现建议改进的分阶段方法。
• 知识传授 - 我们会指导如何应用基于模型的设计及其支持工具链来满足 DO-178 及其补充规范中要求的目标，过程中会重点突出从多年经验中提炼出的最佳做法。主题可能包括如何使用特定工具功能执行验证活动，以及基于优先需求列表的更深入的主题说明。
• 实操部署支持 - MathWorks 顾问会提供对特定项目实施推荐流程的支持。我们可帮助进行建模、仿真、代码生成、验证、确认、DO Qualification Kit 自定义和认证活动。如果您准备使用基于模型的设计并且希望通过定制 DO Qualification Kit 生成 DO-178 工具鉴定交付物，我们可以帮助您准备 DO 规划文档，如 PSAC。

联系 MathWorks Consulting Services 以讨论您的具体需求。

相关会议论文和技术资料

• AIAA 2013：使用基于模型的设计开发 DO-178 合规软件的最佳做法（会议论文）