33:28视频长度是33:28。
理解遵循MISRA - C 2012编码指南
MISRA编码规则在各种行业中被广泛采用,因为它有助于避免不可靠的编码结构和开发健壮和可靠的软件。最近更新标准MISRA - C 2012 2013年被释放,我们看到很多客户更新到新的编码规则。在这个网络研讨会中,我们将介绍MISRA准则的变化以及这些变化有助于更好的遵守使用静态分析工具。
在这个网络研讨会你会发现有很多工具可以帮助与MISRA遵从,但他们并非都是平等的。你可能有工具报告违反不精确或只提供部分覆盖的标准。例如,指令4.1规定“应当尽量减少运行时失败”。这只能支持工具可以检测运行时错误。金宝app您将了解如何使用深层语义分析和抽象解释在Polyspace引擎帮助盖等违反指令除了检测有更好的精度。
此外,我们将展示如何Polyspace提供详细的信息,便于检查真正的侵犯,并提供证据证明偏差。基于集成模型的设计,这个过程进一步简化从模型生成的代码,能够跟踪结果对模型并添加偏差模型层面上减少维护工作。金宝app
的主持人
Ram Cherukuri是MathWorks Polyspace产品的技术营销经理。下载188bet金宝搏他有一个背景在航空航天工程和Polyspace产品专家。在这个角色,Ram与各行业领先的客户识别代码验证和验证策略可以应用于嵌入式系统的开发至关重要的。Ram在2010年加入MathWorks帮助支持MathWorks客户部署基于模型金宝app的设计。他有丰富的经验在计算流体动力学和数学建模。Ram收到了来自普渡大学航天工程的硕士学位,有一个航空航天工程学士学位从IIT在印度孟买。
记录:2016年8月16日
相关产品下载188bet金宝搏
你也可以从下面的列表中选择一个网站
表现最好的网站怎么走吗
选择中国网站(中文或英文)最佳站点的性能。其他MathWorks国家网站不优化的访问你的位置。