DO鉴定套件(适用于DO-178和DO-254)
确认Simuli万博1manbetxnk和Polyspace验证工具适用于DO-178、DO-278和DO-254
DO Qualification Kit提供文档、测试用例和程序,使您能够鉴定Simulink万博1manbetx®和多空间®基于DO-178C、DO-278A和相关补充的项目软件验证工具。该工具包包含工具鉴定计划、工具操作要求以及鉴定软件验证工具所需的其他材料。使用该工具包,您可以简化使用开发的嵌入式系统的认证万博1manbetx支持的Simulin万博1manbetxk和Polyspace产品s manbetx 845.
DO鉴定工具包还允许您鉴定Simulink万博1manbetx®基于DO-254的项目模型验证工具。Simulink代码检查器™ 和多空间万博1manbetx®代码验证工具不支持HDL代码,因此不适用于do-254。万博1manbetx
工具鉴定工具包可用于基于DO-330的特定版本的Simulink和Polyspace验证工具,软件工具鉴定注意事项。您可以修改万博1manbetx特定项目的工具鉴定工具包中的工件,并将其包括在提交认证的DO-178C、DO-278A和DO-254认证包中。
开始:
DO-178是事实上的国际安全标准,用于认证商用航空电子系统软件;它越来越多地用于其他部门和应用。DO-278源于DO-178,用于地基和天基软件。DO-178C和DO-278A为当前版本。它们于2011年12月与补充文件一起发布,这些补充文件扩展或修改了DO-178和DO-278《采用特定技术的软件过程指南》。
补充文件包括:
- DO-330,软件工具鉴定注意事项
- DO-331,DO-178C和DO-278A基于模型的开发和验证补充
- DO-332,DO-178C和DO-278A的面向对象技术和相关技术补充
- DO-333,DO-178C和DO-278A的正式方法补充
DO-178C第12.2节规定,只有在输出未经验证的情况下,才需要对工具进行鉴定。然后,它根据工具对软件生命周期过程的影响来定义工具鉴定级别(TQL)。DO-178C参考DO-330了解工具鉴定细节,如每个TQL所需的目标、指南和生命周期数据。
DO鉴定套件支持DO-178C和DO-33万博1manbetx0。它还提供工作流指导、可追溯性矩阵生成以及其他有助于您使用万博1manbetx®和多空间®补充软件工具,包括DO-331和DO-333。
工具使用者(而非工具供应商)负责此认证,且必须对每个认证项目进行工具认证。
DO-254是事实上的国际安全标准,用于认证商用航空电子系统硬件,特别是FPGA和ASIC;它越来越多地用于其他部门和应用。它于2000年4月出版。
DO-254第11.4节规定,只有在输出未经独立评估的情况下,才需要对工具进行鉴定。然后根据工具对硬件生命周期过程的影响定义工具鉴定类型。工具可以定义为设计工具或验证工具。
DO鉴定套件支持DO-254用于验证过程中万博1manbetx使用的特定工具。它还提供工作流指导、可追溯性矩阵生成以及其他有助于您使用万博1manbetx®核查工具。
工具使用者(而非工具供应商)负责此认证,且必须对每个认证项目进行工具认证。
DO鉴定套件实施DO-178C中规定的工具鉴定方法。要使用DO鉴定套件,请遵循以下步骤:
- 向认证机构提供工具鉴定计划。
- 记录工具操作要求。
- 验证工具是否满足工具操作要求,然后定义工具的限制和限制。
- 向认证机构提供工具鉴定结果,包括限制和限制。
DO Qualification Kit为上述步骤提供了指导和信息,并包括您需要的文档模板、测试用例和测试程序,以验证万博1manbetx支持的Simulin万博1manbetxk和Polyspace产品s manbetx 845.
对于万博1manbetx支持产品s manbetx 845,DO鉴定工具包包括以下工件:
- 工具鉴定计划
- 工具操作要求
- 测试用例、程序和结果(附证明文件)万博1manbetx
您需要在您的系统中执行DO鉴定工具包中的测试用例和程序MATLAB®或多空间安装环境。然后,您应该将生成的测试结果与工具包中的预期结果进行比较,并努力消除任何差异。万博1manbetxSimulink报告生成器™是资格认证所必需的万博1manbetx模拟链路要求™,万博1manbetx模拟链路检查™,万博1manbetx模拟链路覆盖™,万博1manbetxSimulink代码检查器™和万博1manbetx模拟试验™.
注:使用DO-178合格工具不能确保所考虑的软件或系统的安全。
DO鉴定工具包提供了使用基于模型的设计开发和验证系统所需的详细工作流程指南。工作流程指南描述了从高级需求验证到可执行目标代码验证的每个软件开发和验证步骤所使用的过程、方法和工具。工作流程指南还明确了l独立路径。对DO-331中引入的基于模型的设计的新概念进行了解释和说明,包括模拟测试用例的作用和模型覆盖率。
使用DO资格鉴定工具包,您可以生成一个可追溯性矩阵电子表格,显示从建模到编码双向可追溯性路径和文件信息的需求。您还可以使用DO鉴定工具包生成一个报告的bug列表,您可以为密钥存储和存档这些bug万博1manbetx和多空间用于基于模型的设计的验证工具。