DO Qualification Kit 1.2
for DO-178
根据 DO-178 标准对Simulink 和 PolySpace 验证工具进行鉴定
DO Qualification Kit(DO 鉴定工具包)提供了相关文档、测试案例和程序,使您可以根据 DO-178 标准鉴定项目使用的 Simulink® 或 PolySpace® 软件验证工具。此工具包含有工具鉴定计划、工具使用要求,以及根据标准鉴定软件验证工具所需的其他材料。对于使用 Simulink 或 PolySpace 产品开发的嵌入式系统,在使用此工具包后,可以简化系统的认证过程。
Simulink 验证、确认和测试工具以及 PolySpace 代码验证工具的特定版本均针对 DO-178 标准提供了相应的鉴定工具包。对于所支持工具的每一版本,DO Qualification Kit 均为鉴定工具是否符合标准而提供了样本。您可根据项目需要修改这些样本,并将其添加到提交给认证机构的 DO-178 认证申请资料。
|
|
商店