做资格套件（对于DO-178和DO-254）
符合DO-178万博1manbetx，DO-278和DO-254的Simulink和PolySpace验证工具
DO确认套件提供文档、测试用例和程序，让您确认Simulink万博1manbetx®和Polyspace®基于DO-178C，DO-278A和相关补充的项目软件验证工具。该套件包含刀具资格计划，工具操作要求和资格化软件验证工具所需的其他材料。使用套件，您可以简化使用的嵌入式系统认证万博1manbetx支持Simulink万博1manbetx和Polyspace产品s manbetx 845。
DO认证套件还允许您对Simulink进行认证万博1manbetx®基于DO-254的项目模型验证工具。万博1manbetxSimulink Code Inspector™和Polyspace®代码验证工具不支持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，软件工具资格考虑因素
- - 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-3万博1manbetx30。它还提供了工作流指导、可跟踪矩阵生成以及其他有助于您使用的工件万博1manbetx®和波尔盖斯®补充的软件工具包括DO-331和DO-333。
工具使用者(而不是工具供应商)负责确认，并且必须对每个认证项目进行工具确认。
使用基于模型的设计工作流显示符合DO-178C和相关补充
DO-254是事实上的国际安全标准，用于认证商用航空电子系统硬件，特别是fpga和asic;它在其他领域和应用中得到了越来越多的应用。它发表于2000年4月。
DO-254，第11.4节，说明工具的资格仅在其输出未独立评估。然后，它根据工具对硬件生命周期进程的影响定义了刀具认证类型。工具可以定义为设计工具或验证工具。
DO确认套件支持DO-254用于验证过程中万博1manbetx使用的特定工具。它还提供了工作流指导、可跟踪矩阵生成以及其他有助于您使用的工件万博1manbetx®验证工具。
工具使用者(而不是工具供应商)负责确认，并且必须对每个认证项目进行工具确认。
DO确认套件执行DO- 178c中规定的工具确认方法。要使用DO鉴定套件，请遵循以下步骤:
- 向认证机构提供工具鉴定计划。
- 记录工具操作需求。
- 验证该工具满足工具操作要求，然后定义工具的限制和限制。
- 向认证机构提供工具鉴定结果，包括限制和限制。
验证套件是否提供了上述步骤的指导和信息，并包括您需要符合资格的文档模板，测试用例和测试程序万博1manbetx支持Simulink万博1manbetx和Polyspace产品s manbetx 845。
为了万博1manbetx支持的产品s manbetx 845， DO确认套件包括以下工件:
- 工具资格计划
- 工具操作要求
- 测试用例、过程和结果(带有支持文档)万博1manbetx
您需要执行DO确认套件中的测试用例和程序MATLAB®或波尔盖斯安装环境。然后，您应该将生成的测试结果与工具包的预期结果进行比较，并努力消除任何差异。万博1manbetxSimulink Report Generator™符合资格要求万博1manbetxSimulink要求™那万博1manbetx模型检查™那万博1manbetxSimulink Coverage™那万博1manbetxSimulink代码Inspector™和万博1manbetx仿真软件测试™。
注意:使用经过DO-178认证的工具并不保证考虑中的软件或系统的安全。
使用DO REQUITICATIONG套件来符合DO-178C和DO-254的验证工具。
DO确认套件为使用基于模型的设计开发和验证系统提供了详细的工作流程指导。工作流指南描述了从高级需求验证到可执行对象代码验证的每个软件开发和验证步骤所使用的过程、方法和工具。它清楚地标识了工具独立性路径。对DO-331中引入的基于模型的设计的新概念进行了解释和说明，包括模拟测试用例和模型覆盖的角色。
使用DO RUSTIFICARIET KIT，您可以生成可追溯矩阵电子表格，显示到代码型双向可追溯性路径和文件信息。您还可以使用Do Pryification Kit来生成您可以存储和存档的报告错误列表万博1manbetx和波尔盖斯用于基于模型的设计的验证工具。
体系认证
