机构名称：
¥ 1.0
I. 简介 基于模型的设计允许工程师设计嵌入式系统并在其桌面环境中对其进行仿真，以进行分析和设计。基于模型的设计提供了各种代码生成功能，团队可以使用这些功能生成源代码，用于多种目的，包括仿真、快速原型设计和硬件在环测试。基于模型的设计在飞行代码设计和嵌入式部署中的应用也已得到充分证实 [1-4]。飞行软件需要经过严格且有据可查的验证活动才能获得飞行认证，例如商用机载软件认证标准 DO-178B [5]。根据 DO-178B，执行开发或验证任务的工具需要经过认证，或者其输出需要经过验证。根据 DO-178B 对工具进行认证的程序取决于工具的作用。如果工具用于开发活动，则适用严格的认证程序；对于验证工具，则使用大量但不太严格的程序。本文将介绍使用商用现货 (COTS) 基于模型的设计技术开发嵌入式飞行软件的框架。本文将介绍一个工作流程，其中包括文本要求、详细设计模型、自动代码生成和各种自动验证步骤。本文将与使用纸质设计和手工编码的传统开发流程进行比较。本文还将研究工具鉴定工件
使用合格工具进行基于模型的 DO-178B 设计
主要关键词
相关文件推荐
