从系列中:在DO-178C开发过程中使用合格的工具
在基于模型的设计和形式化方法分析中使用的许多MathWorks工具都需要根据DO-330软件工具资格考虑条件进行资格认证。DO鉴定工具包提供了必要的文档和测试工件,以使这些工具适合DO- 178c项目。DO确认套件提供了工具确认计划,工具操作需求文档,测试用例和程序,以及适用的正式方法技术的可靠性参考。该工具包是与合格的工具分开授权的,可以应用于任意数量的项目和任意版本的MathWorks工具。由于DO-330确实要求用户在其安装环境中验证工具,因此测试过程是自动化的,允许用户轻松执行测试并验证预期结果是否正确。这些工具支持各种Windows、Li金宝appnux和MAC操作系统。DO资格工具包中支持的工具有Simul金宝appink Report Generator™、Simulink Check™、Simu金宝applink Test™、Simulink Coverage™、Simulink Design Verifier™、Simulink Code Inspector™、Polyspace Bug Finder™和Polyspace Code Prover™。为Simulink Design Verifier和Polyspace Code Prover提供了形式化方法的金宝app构件。DO认证工具包中提供的其他工件是描述工具用户活动的用户指南、描述如何在DO- 178c过程中使用工具的工作流文档、认证模板的软件方面计划和软件模型标准模板。DO-330确实有特定的刀具用户活动作为刀具确认过程的一部分,这些活动是: including the qualified tools in the project's Plan for Software Aspects of Certification, reviewing the tool operational requirements for applicability to the project, running a test in the installed environment and verifying the results, arching the tools and results in a configuration management system, and finally, summarizing all of the tool qualification activities in the Software Accomplishments Summary for the project.
您也可以从以下列表中选择一个网站:
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。