比尔·波特,MathWorks公司
这是一本介绍使用基于模型的设计,并与DO-178C的过程符合正式的方法,DO-331,DO-333和DO-330。MathWorks工具可在既有DO-178C项目的开发和验证阶段使用。虽然MathWorks工具支持范围广泛的功能金宝app,用于两个系统和软件,还有推荐有限的子集,以便使用嵌入式系统需要被认证的工具。金宝appSimulink的®,Stateflow的®,和Simu金宝applink要求™被用来开发符合软件与DO-331基于模型的开发和验证的设计。金宝appSimulink的报告生成器™用于提供一个设计描述文档和跟踪数据,所要求的DO-331和DO-178C。利用Simulink检查™,Simulink的测试™,Simulink的覆盖™和Simulink设计金宝app验证™进行设计的验证。金宝appSimulink设计验证器使用符合DO-333形式化方法形式分析。MATLAB编码器™,Simu金宝applink的编码器™和嵌入式编码器®被用于开发该系统的源代码。的源代码的验证利用Simulink代码检查™,Polyspace错误查找程序™和Polyspace代码金宝app证明者™执行的。Polyspace代码证明器使用符合DO-333形式化方法形式分析。该可执行的目标代码的验证利用Simulink测试和Simulink覆盖率与处理器在环测试功能结合来执行的。金宝app要为使用这些工具的信用,他们必须DO-330软件工具资质注意事项的指导下,合格。该DO资格工具包提供必要的文件和测试文物,为需要它的工具进行工具资格。
您还可以选择从下面的列表中的网站:
选择最佳的网站性能的中国网站(在中国或英文)。其他MathWorks的国家网站都没有从您的位置访问进行了优化。