DO资质套件提供文档,测试用例,和过程,让您合格的Simulink®和Polyspace®基于DO-178C、DO-278A及相关补充的项目软件验证工具。该工具包包含工具确认计划,工具操作要求,以及软件验证工具确认所需的其他材料。有了这个工具包,您可以简化使用支持Simulink和Polyspace产品2022世界杯八强谁会赢?.
DO资格套件还可以让您获得Simulink的资格®基于DO-254的项目模型验证工具。Simulink代码检查器™和Polyspace®代码验证工具不支持HDL代码,因此不适用于do -254。
工具鉴定套件可用于基于DO-330的Simulink和Polyspace验证工具的特定版本,软件工具鉴定考虑。您可以为您的特定项目修改工具确认套件中的工件,并将它们包含到提交认证的DO-178C、DO-278A和DO-254认证包中。
开始:
DO-178是用于认证商业航空电子系统软件的事实上的国际安全标准;它越来越多地应用于其他部门和应用程序。DO-278源自DO-178,用于地基和天基软件。DO-178C和DO-278A是目前的版本。它们与补充文档一起发布于2011年12月,这些补充文档扩展或修改了使用特定技术或技术的软件过程的DO-178和DO-278指南。
补充文件如下:
- - 330,软件工具鉴定考虑事项
- - 331,对DO-178C和DO-278A的基于模型的开发与验证的补充
- - 332,面向对象技术及相关技术DO-178C和DO-278A的补充
- - 333,DO-178C和DO-278A的形式方法补充
DO-178C第12.2节规定,只有在工具的输出未经验证的情况下,才需要对其进行确认。然后根据工具对软件生命周期过程的影响定义工具资格级别(tql)。DO-178C参考DO-330的工具确认细节,如目标、指导和每个TQL所需的生命周期数据。
DO资格套件支持DO- 178c和DO-330。它还提供了工作流指导、可跟踪矩阵生成和其他方便您使用的工件动态仿真模块®而且Polyspace®补充的软件工具,包括DO-331和DO-333。
工具用户(不是工具供应商)对这种确认负责,并且必须对每个认证项目进行工具确认。
DO鉴定套件实现了DO- 178c中规定的工具鉴定方法。要使用DO认证套件,请遵循以下步骤:
- 向认证机构提供工具认证计划。
- 文档工具操作需求。
- 确认工具满足工具操作要求,然后定义工具的限制和限制。
- 向认证机构提供工具合格结果,包括限制和限制。
DO限定套件为上述步骤提供了指导和信息,并包括您需要限定的文档模板、测试用例和测试过程支持Simulink和Polyspace产品2022世界杯八强谁会赢?.
为支持产品2022世界杯八强谁会赢?, DO认证套件包括以下工件:
- 工具资格计划
- 工具运行要求
- 测试用例、过程和结果(带有支持文档)
您需要在您的MATLAB®或Polyspace安装环境。然后,您应该将生成的测试结果与套件的预期结果进行比较,并努力消除任何差异。仿真软件报告生成器™符合资格要求要求工具箱™,模型检查™,仿真软件覆盖™,仿真软件代码检查员™而且仿真软件测试™.
注意:使用DO-178合格工具并不保证软件或系统的安全。