了解遵守Misra C 2012编码指南
MISRA编码指南在各个行业中被广泛采用,因为它有助于避免不可靠的编码结构并开发可靠和可靠的软件。标准的最新更新 - 2013年Misra C 2012发行,我们看到许多客户正在更新到新的编码指南。在本网络研讨会中,我们将介绍MISRA准则的更改,以及这些更改如何有助于使用静态分析工具更好地遵守。
在本网络研讨会中,您会发现有许多工具可以帮助MISRA合规性,但并非全部平等。您可能拥有报告不精确的违规行为或仅提供标准的部分覆盖范围。例如,指令4.1规定“运行时失败应最小化”。这只能由可以检测运行时间错误的工具万博1manbetx来支持。您将了解多源空间引擎中深层语义分析和抽象解释的使用如何有助于涵盖此类指令,除了以更好的准确性检测违规行为。
此外,我们将展示PolySpace如何提供详细的信息,从而易于审查真正的违规行为并提供证据以证明偏差的合理性。通过集成到基于模型的设计,该过程将进一步简化为Simulink生成的代码,并能够将结果追溯到模型并在模型级别添加偏差以减少维护工作。万博1manbetx
关于主持人
Ram Cherukuri是Mathworks Polyspace产品的技术营销经理。s manbetx 845他拥有航空工程的背景,并且是Polyspace产品专家。在这个角色中,RAM与各个行业的领先客户合作,以确定可以应用于关键嵌入式系统的开发的代码验证和验证策略。Ram于2010年加入了Mathworks,以帮助支持MathWorks客户部署基万博1manbetx于模型的设计。他在计算流体动力学和数学建模方面拥有丰富的经验。RAM从普渡大学获得了他的航空航天工程硕士学位,并拥有印度IIT孟买的航空航天工程学士学位。
记录:2016年8月16日
相关产品s manbetx 845
您还可以从以下列表中选择一个网站:
如何获得最佳网站性能
选择中国网站(中文或英语)以获得最佳场地性能。其他Mathworks乡村网站未针对您所在的访问进行优化。
美洲
- AméricaLatina(Español)
- 加拿大(英语)
- 美国(英语)