DO-178认证咨询服务
MathWorks的咨询服务与您一起迁移您现有的软件开发过程——无论是基于手动方法还是基于基于模型的设计-to一个使用基于模型的设计DO-178。定制你的特定环境，工具和应用程序时，DO-178认证咨询服务将确定您的当前进程的差距，制定一个路线图，运用基于模型的设计DO-178优化的工作流程，并与你的工作部署该路线图。MathWorks的咨询服务可以帮助您做好执行关键的建模，代码生成和工具认证活动，以实现DO-178C的新目标和补充文件DO-330（软件工具资质的考虑），DO-331（基于模型的开发和验证）和DO-333（形式化方法）。
DO-178认证服务是由MathWorks高级顾问提供的，这些顾问从多年与航空航天行业客户合作开发高完整性软件中获得知识。MathWorks咨询服务帮助组织避免常见错误，并减少开发满足DO-178目标的高完整性软件的时间、精力和成本。
MathWorks咨询服务与您合作:
执行关键工作以遵守DO-178
- 需求追溯
- 基于需求的测试和模型覆盖
- 使用金宝appAdvisor仿真软件模型
- 代码评审、可追溯性和分析金宝appSimulink的代码检查™和Polyspace®下载188bet金宝搏
- 测试用例生成和设计分析使用金宝app仿真软件设计校验™
- 工具配置和代码生成使用嵌入式编码器®
- 基于目标的使用处理器在该循环中，包括代码覆盖分析的算法测试（例如，MC / DC）
- 使用做资格工具包（对于DO-178）
- 生成DO-178遵从性所需的过程工件
计划和执行
- 在获得效率改进的同时，转换公司现有的软件开发过程
- 确定和执行一个分阶段的方法来实现效率的提高
培养你的团队
- 了解如何应用和充分利用基于模型的设计在DO-178及其补充利益最大化和满足目标
- 通过为基于模型的设计构建专门知识中心来实现自给自足
下一个步骤
在DO-178的工作流程中使用基于模型的设计，从而优化软件开发流程的迁移策略因公司和应用而异。MathWorks咨询服务利用产品专业知识和行业背景来定制流程，以最适合您的需求。步骤可能包括:
- 评估现有的过程和工具- MathWorks的顾问查看当前的软件开发流程，工具，应用程序，所需的安全级别（A-E），和规划文件，包括工具的资格。
- 差距分析- 我们的顾问进行差距分析，以确定迁移到使用基于模型的设计一个DO-178流程框架当前面临的挑战，过程效率的提升，培训，和其他建议。我们开发了一个可操作的路线图，包括分阶段地实现了改善建议。
- 知识传输- 我们提供指导，说明如何基于模型的设计及配套工具链可以适用于满足DO-178及其补充目标，突出从多年的经验蒸馏水的最佳实践。金宝app主题可能包括如何进行使用特定工具的功能和基于优先级排序的需求列表上的主题的更深层次的指令核查活动。
- 实际部署支持金宝app- MathWorks顾问支持对特定项目实施推荐金宝app的流程。我们协助建模，模拟，代码生成，验证，验证，定制的做鉴定工具包，和认证活动。我们帮助准备DO计划文件，例如PSAC，在使用基于模型的设计和通过裁剪DO鉴定工具包生成DO-178工具鉴定工件的环境中。
联系MathWorks咨询服务讨论您的具体要求。
雷蒙德·埃斯特拉达是一位资深技术顾问，在指导、导航和控制以及用于HIL环境的代码生成方面具有丰富的行业经验。他专门帮助组织应用基于模型的设计来开发和部署符合安全标准的高完整性应用程序的嵌入式软件。雷蒙德拥有麻省理工学院航空航天工程学士学位，加州大学洛杉矶分校航空航天工程硕士学位。
