装备电子系统的研发、测试、保障解决方案中心

旋极信息成功举办“FPGA验证及软件安全性测试技术”研讨会
发布时间:2019-05-19来源:

2019年6月18日下午“旋极FPGA验证及软件安全性测试技术研讨会”于北京长峰假日酒店成功举办。会议吸引了众多来自FPGA与软件行业的开发测试技术人员,旨在为行业搭建专业化的合作交流平台,帮助大家更好的了解FPGA软件测试领域的测试技术和解决方案等内容。

1561511084812870.jpg

      随着电子科技的飞速发展,软件开发对系统的可靠性提出了更高的要求,这使得FPGA技术在电子系统中得以广泛应用,然而FPGA的设计速度、尺寸和复杂度都明显增加,使得整个设计流程中的调试和验证成为当前FPGA系统的关键部分,因此“FPGA验证及软件安全性测试”就显得尤为重要,这也是本次会议的内容和主题。
      北京旋极销售总监宋玉平先生参加本次会议并致辞。热情欢迎各位嘉宾的到来,介绍了多年来旋极在FPGA软件安全测试领域积累的研发经验,经过不断专研与磨砺,当前旋极已达到业内领先水平。希望借助平台能够促进各方交流,加强合作,共同推动FPGA软件领域的技术发展与应用。

1561511102387501.jpg

研讨会开幕致辞

      上海旋极技术总监马翔代表技术团队就“FPGA功能测试验证”的主题做了精彩演讲,为用户提供了两种高效能的FPGA测试解决方案,OneSpin提供最先进、最强大的验证平台,使设计团队能够创建功能正确、安全、可靠且值得信赖的SoC,而EXOSTIV主要是FPGA板的创新分析,验证和调试解决方案。针对以上产品与听众进行了深度交流与互动,并于会后通过设置独立展台为大家进一步演示了方案操作流程,使在场嘉宾感受到更为直观的产品功能体验。

1561511150130803.jpg

“FPGA专用的RTL-Netlist等效性检查”的主题演讲

1561511182187704.jpg

1561511192182497.jpg

技术交流环节

1561511227258190.jpg

会后产品演示引来嘉宾关注

       FPGA资深工程师史龙飞发表了“基于模型库的FPGA仿真测试”的主题演讲,其中包含的HDLSimTP软件是一款针对  FPGA软件仿真测试平台进行环境建模的工具,通过可视化来管理平台、模型和组件,对FPGA软件开展仿真测试

1561511242339865.jpg

“基于模型库的FPGA仿真测试”的主题演讲

       北京旋极技术工程师张新杰发表了关于“软件安全性测试”的主题演讲,他由软件安全—safety和security的两个概念介绍,引入到嵌入式软件行业更加关注代码的内部安全,目前主要利用自动化的静态分析或者代码审查去发现不合规代码以及软件缺陷,如何修复这些潜在的缺陷,从而保证代码质量,提高代码安全,他提供了四种解决方案,CodeSonar基于SAST和DAST的一款静态代码分析工具;DefenseCode依托和覆盖OWASP TOP10缺陷列表的主流解决方案,以及WhiteSource开源库的安全性检测解决方案和Julia针对二进制代码的安全分析。

1561511265388576.jpg

“软件安全性测试”的主题演讲

1561511286155129.jpg

1561511298836666.jpg

技术交流环节

会议精彩瞬间

1561511324137895.jpg

抽奖环节

1561511344269378.jpg

一等奖幸运嘉宾

1561511363470337.jpg

嘉宾领取伴手礼

 FPGA验证及软件安全测试工具咨询请Mail至:
 info@softtest.cn

1561525374130691.jpg

— 感谢您的关注 —