生活事件

开发安全的嵌入式代码

概述

通过利用基于静态代码分析工具(SCA)的正式方法，克服软件开发周期阶段涉及的挑战，以生产安全的嵌入式软件(C/ c++ & Ada)。在本节中，您将了解Polyspace产品如何结合使用基于正式和半正式方法的分析来证明运行时s manbetx 845错误(无溢出、零除)，并识别并发问题、安全漏洞和代码库中的其他缺陷。

突出了

  • 在构建代码时进行测试，很容易与IDE集成
  • 确保关键模块和健壮性测试没有错误
  • 检查是否违反了MISRA、JSF、CERT、CWE等安全编码规则。
  • 支持DO-178C、ISO 万博1manbetx26262和IEC 62304的认证
  • 与Polyspace Access产品进行协作评审s manbetx 845

的主持人

Vaishnavi H.R.，应用工程师，MathWorks印度有限公司

Vaishnavi H.R.是MathWorks印度私人有限公司的应用工程师，专注于验证和验证领域。在加入MathWorks之前，Vaishnavi曾在班加罗尔的HCL Technologies工作。瓦什纳维曾在航空工业的V&V项目中工作，客户包括罗克韦尔·柯林斯公司。在MathWorks, Vaishnavi主要专注于静态源代码分析和嵌入式代码的验证。

在学术界，Vaishnavi持有卡纳塔克邦Visvesvaraya技术大学(VTU)的电气工程学士学位和电力电子硕士学位。

MathWorks首席应用工程师Prashant Mathapati

Prashant Mathapati是MathWorks印度公司的一名应用工程师，专攻信号处理和嵌入式代码分析与验证。他在这个职位上有超过八年的经验。在加入MathWorks之前，Prashant曾在Trident Infosol和Programming Research工作，担任信号处理和验证工具领域的高级现场AE处理产品。s manbetx 845他拥有卡纳塔克邦Visvesvaraya技术大学(VTU)的电气和电子工程学士学位。

产品集中

本次在线研讨会结束。您现在可以查看随需应变的网络研讨会。

看到按需网络研讨会