做资格套件(对于DO-178和DO-254)
符合DO-178万博1manbetx,DO-278和DO-254的SIMULINK和POLYSPACE验证工具
做资格套件provides documentation, test cases, and procedures that let you qualify Simulink®and Polyspace®基于DO-178C,DO-278A和相关补充的项目软件验证工具。该套件包含刀具资格计划,工具操作要求和资格验证软件验证工具所需的其他材料。使用套件,您可以简化使用的嵌入式系统的认证supported Simulink and Polyspace products。
The DO Qualification Kit also lets you qualify Simulink®model verification tools for projects based on DO-254. Simulink Code Inspector™ and Polyspace®code verification tools do not support HDL code, thus are not applicable to DO-254.
Tool qualification kits are available for specific versions of Simulink and Polyspace verification tools based on DO-330, Software Tool Qualification Considerations. You can modify the artifacts in the tool qualification kit for your specific project and include them in the DO-178C, DO-278A, and DO-254 certification packages submitted for certification.
Get Started:
DO-178 is the de facto international safety standard used to certify commercial avionic system software; it is increasingly used in other sectors and applications. DO-278 is derived from DO-178 and used for ground-based and space-based software. DO-178C and DO-278A are the current versions. They were published in December 2011 along with supplemental documents that extend or modify DO-178 and DO-278 guidance for software processes that employ specific technologies or techniques.
补充文件是:
- DO-330,软件工具资格考虑
- DO-331,基于模型的开发和验证补充到DO-178C和DO-278A
- DO-332,面向对象的技术和相关技术补充到DO-178C和DO-278A
- DO-333,正式的方法吃晚饭plement to DO-178C and DO-278A
DO-178C,第12.2节,指出工具的资格仅在未验证其输出时才需要。然后,它根据工具对软件生命周期进程的影响定义了工具资格级别(TQL)。DO-178C参考文献DO-330用于刀具资格详细信息,例如每个TQL所需的目标,指导和生命周期数据。
做资格套件supports DO-178C and DO-330. It also provides workflow guidance, traceability matrix generation, and other artifacts that facilitate your use of万博1manbetx®and波尔盖斯®software tools for supplements including DO-331 and DO-333.
The tool user (not the tool vendor) is responsible for this qualification, and tool qualification must be done for each certification project.
DO-254.is the de facto international safety standard used to certify commercial avionic system hardware, specifically FPGAs and ASICs; it is increasingly used in other sectors and applications. It was published in April 2000.
DO-254,第11.4节,指出,只有在无法独立评估其输出,才需要工具的资格。然后,它根据工具对硬件生命周期进程的影响定义了工具资格类型。工具可以定义为设计工具或验证工具。
做资格套件supports DO-254 for specific tools used in the verification processes. It also provides workflow guidance, traceability matrix generation, and other artifacts that facilitate your use of万博1manbetx®verification tools.
The tool user (not the tool vendor) is responsible for this qualification, and tool qualification must be done for each certification project.
做资格套件implements the tool qualification approach specified in DO-178C. To use DO Qualification Kit, follow these steps:
- Provide certification authorities with a tool qualification plan.
- Document tool operational requirements.
- 验证该工具满足工具操作要求,然后定义工具的限制和限制。
- Provide certification authorities with tool qualification results, including limitations and restrictions.
验证套件是否提供了上述步骤的指导和信息,并包括您需要符合资格的文档模板,测试用例和测试程序supported Simulink and Polyspace products。
为了万博1manbetx支持的产品s manbetx 845那做资格套件includes these artifacts:
- Tool qualification plan
- 工具操作要求
- Test cases, procedures, and results (with supporting documentation)
You need to execute the test cases and procedures from DO Qualification Kit in yourMATLAB®or波尔盖斯installation environment. You should then compare your generated test results with the expected results from the kit and work to eliminate any differences.万博1manbetxSimulink Report Generator™is required for qualifying万博1manbetxSimulink要求™那Simulink Check™那万博1manbetxSimulink Coverage™那Simulink Code Inspector™andSimulink Test™。
Note: Use of DO-178 qualified tools does not ensure the safety of the software or the system under consideration.
资格顾工具包提供了详细的工作流程吗idance needed for developing and verifying systems using Model-Based Design. The workflow guidance describes process, methods, and tools used for each software development and verification step from high-level requirements validation to executable object code verification. It clearly identifies tool independence paths. New concepts for Model-Based Design introduced in DO-331 are explained and illustrated, including the role of simulation test cases and model coverage.
使用DO Qualification Kit,您可以生成可追溯矩阵电子表格,显示到代码型双向跟踪性跟踪路径和文件信息。您还可以使用DO Qualification Kit来生成您可以存储和存档的报告错误列表万博1manbetxand波尔盖斯用于基于模型的设计的验证工具。