do-凯发k8网页登录

do-178 认证咨询服务

mathworks consulting services 会与您通力协作，将您的现有软件开发过程（无论基于手动方法还是）迁移到使用面向 do-178 的基于模型的设计的开发过程。do-178 认证咨询服务可对您的特定环境、工具和应用进行自定义，以帮您找出当前流程中的差距，使用基于模型的设计为 do-178 制定优化工作流的路线图，并与您一起部署该路线图。mathworks consulting services 可帮助您做好执行关键的建模、代码生成和工具鉴定活动的准备，以实现 do-178c 及其补充文档 do-330（软件工具鉴定注意事项）、do-331（基于模型的开发和验证）及 do-333（形式化方法）的新目标。

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

mathworks consulting services 会与您一起：

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

需求可追溯性
基于需求的测试和模型覆盖率
使用检查模型标准
使用 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。

以讨论您的具体需求。

有问题吗？

如何生成基于需求的测试用例

raymond estrada 是一名高级技术顾问，在制导、导航和控制以及用于 hil 环境的代码生成方面有丰富的行业经验。他专门帮助各个组织应用基于模型的设计来开发和部署符合安全标准的高完整性应用的嵌入式软件。raymond 持有麻省理工学院航空航天工程学士学位和加利福尼亚大学洛杉矶分校航空航天工程硕士学位。