来自系列:在DO-178C开发过程中使用合格工具
比尔波特,Mathworks
显示低级要求和软件架构的准确性和一致性是DO-178C的目标。使用正式方法时,DO-333允许通过正式分析满足这些目标,可以在使用设计模型时应用。金宝appSimulink Design Verifier™是一种可以对Simulink执行正式分析的工具®和州流®楷模。Simulink设计验证程序的正式分析功能之一是设计错误检测,可检测设计模型中金宝app的某些潜在的运行时误差。可以在模型中检测到的错误类型是:死亡逻辑,整数溢出,划分零,超过指定的最小值和最大信号,以及绑定的数组访问。死亡逻辑的分析必须与其他缺陷分开运行。为模型生成死逻辑报告,并将指示具有无法访问逻辑的模型的任何区域,从而指示设计错误。该报告将清楚地显示其中的模型元素,这些元素是死亡逻辑的一部分。可以在单个分析运行中分析其他可能的缺陷,并为这些潜在错误生成组合报告。此报告还清楚地显示了可能发生特定错误的模型元素。DO Quitification Kit提供了通过Simulink Design Verifier提供了符合设计错误检测和报告的必要工件。金宝app该套件还提供了表现出正式方法的合理性所需的证据,根据DO-333的要求。
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。