DO-178认证咨询服务
MathWorks咨询服务与您一起迁移现有的软件开发过程，无论是基于手动方法还是基于基于模型的设计-为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仿真软件模型
- 使用金宝app仿真软件代码检查员™和多空间®下载188bet金宝搏
- 测试用例生成和设计分析使用金宝appSimulink设计验证程序™
- 工具配置和代码生成使用嵌入式编码器®
- 使用处理器在循环对算法进行目标测试，包括代码覆盖分析(例如，MC/DC)
- 使用DO资格鉴定套件(- 178)
- 生成符合DO-178要求所需的过程工件
计划和执行
- 改变公司现有的软件开发过程，同时提高效率
- 确定并执行分阶段方法以实现效率提升
训练你的团队
- 学习如何应用和充分利用基于模型的设计，以最大化利益和满足DO-178及其补充的目标
- 通过建立基于模型的设计的专业中心，实现自给自足
下一步
在DO-178工作流中使用基于模型的设计的优化软件开发过程的迁移策略因公司和应用程序而异。MathWorks咨询服务利用产品专业知识和行业背景来定制过程，以最适合您的需要。步骤可能包括：
- 对现有流程和工具的评估- MathWorks顾问审查您当前的软件开发过程、工具、应用程序、所需的安全级别(A-E)和规划文件，包括工具资质。
- 差距分析-我们的顾问执行差距分析，以确定当前的挑战、流程效率改进、培训，以及使用基于模型的设计迁移到DO-178流程框架的其他建议。我们制定了一个可行的路线图，其中包括实现建议的改进的分阶段方法。
- 知识转移-我们提供说明，说明如何应用基于模型的设计及其辅助工具链来满足DO-178及其补充的目标，强调从多年经验中提炼的最佳实践。金宝app主题可能包括如何使用特定的工具功能执行验证活动，以及基于优先需求列表对主题进行更深层次的指导。
- 动手部署支持金宝app-MathWorks顾问支持在特定项目中实施建议金宝app的流程。我们协助建模、模拟、代码生成、验证、确认、DO资格鉴定工具包的定制和认证活动。我们在使用模式的背景下帮助编制DO规划文件，如PSAC基于l的设计和通过裁剪DO鉴定工具包生成DO-178工具鉴定工件。
联系MathWorks咨询服务讨论您的具体要求。
雷蒙德·埃斯特拉达是一名高级技术顾问，在指导、导航和控制以及在HIL环境中使用的代码生成方面拥有丰富的行业经验。他专门帮助组织应用基于模型的设计，为符合安全标准的高完整性应用程序开发和部署嵌入式软件。Raymond拥有学士学位。麻省理工学院航空航天工程系，加利福尼亚大学洛杉矶航空航天工程硕士。
