比尔•波特MathWorks
基于模型的设计和形式化方法分析中使用的许多MathWorks工具都需要根据DO-330软件工具鉴定考虑进行鉴定。DO确认套件提供必要的文档和测试工件,以确认DO- 178c项目中的这些工具。DO确认套件提供工具确认计划,工具操作需求文档,测试用例和程序,以及正式方法和技术的可靠性的参考。此工具包与合格的工具是分开授权的,可以应用于任意数量的项目,并跨MathWorks工具的任何版本。由于DO-330确实要求用户在其安装的环境中验证工具,因此测试过程是自动的,以允许用户轻松地执行测试并验证预期结果是否正确。这些工具支持各种Windows、Li万博1manbetxnux和MAC操作系统。DO确认套件中支持的工具有Simuli万博1manbetxnk Report Generator™、Simulink Check™、Simul万博1manbetxink Test™、Simulink Coverage™、Simulink Design Verifier™、Simulink Code Inspector™、Polyspace Bug Finder™和Polyspace Code Prover™。为Simulink设计验证器和Polyspace代码验证器提供了形式化方法的可靠性构件。万博1manbetxDO确认套件中提供的其他构件包括描述工具用户活动的用户指南、描述如何在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国家站点没有针对您所在位置的访问进行优化。