10 2020 档案

旋极信息ISO 26262功能安全在线课程取得圆满成功
摘要：2020年7月1日旋极信息携手QA Systems公司联合推出ISO 26262功能安全在线直播课程，并取得圆满成功。受疫情影响，汽车电子技术行业的沟通交流难以开展，为打破业内人士之间的交流屏障，促进技术人员的知识共享，旋极信息受邀在汽车安全技术直播专业平台的系列课程中分享了关于“ISO 26262 阅读全文
posted @ 2020-10-30 19:01 旋极智能 阅读(84) 评论(0) 推荐(0) 编辑
GrammaTech收购JuliaSoft，将CodeSonar®SAST平台的应用范围扩展到Java和C＃
摘要：软件应用安全测试解决方案的领先提供商GrammaTech,今天宣布已收购JuliaSoft S.r.l.的知识产权及资产。通过针对Java和C＃代码的自动代码分析来扩展其CodeSonar®静态应用程序安全测试(SAST)平台。 为了向客户提供可靠的能够检测出嵌入式应用程序中安全漏洞和其他缺陷的集成 阅读全文
posted @ 2020-10-30 18:17 旋极智能 阅读(101) 评论(0) 推荐(0) 编辑
如何选择应用程序安全测试解决方案？
摘要：与软件相关的问题继续困扰着各种规模的机构和组织，因此IT领导者们正在向应用程序安全测试工具寻求帮助。由于市场上存在多种类型的程序，因此选择一个程序并不是一个简单的过程。想要选择理想的应用程序安全测试解决方案，您需要考虑一系列细节。为此信息安全网站Help Net Security采访了Defense 阅读全文
posted @ 2020-10-30 15:43 旋极智能 阅读(137) 评论(0) 推荐(0) 编辑
新一代ARINC818仿真板卡
摘要：近期，GreatRiver Technology发布了基于新一代ARINC818协议的仿真开发板-Velocity XI。相对于以往的仿真板卡，Velocity XI具备了划时代的功能--即通过其独有的ICD文件配置工具可以快速创建多种任意的ICD文件并固化到仿真板卡内。该功能打破了同类仿真板卡只能 阅读全文
posted @ 2020-10-30 15:34 旋极智能 阅读(359) 评论(0) 推荐(0) 编辑
DefenseCode宣布集成GitHub为开发人员提供SAST解决方案
摘要：DefenseCode集团宣布，DefenseCode静态应用程序安全测试（SAST）ThunderScan®解决方案现可作为一个GitHub Action，提供30多种语言的安全漏洞分析，并将详细的漏洞报告集成到GitHub中。 DefenseCodeThunderScan®是SAST（静态应用程 阅读全文
posted @ 2020-10-21 17:28 旋极智能 阅读(116) 评论(0) 推荐(0) 编辑
GrammaTech被评为20大最具前景的汽车解决方案提供商
摘要：在最新一期的美国权威科技信息评论杂志《 CIO Review》中，GrammaTech被评为20大最有前途的汽车解决方案提供商之一。企业名单由专家小组和CIO Review编辑委员会的成员选出，选择GrammaTech的物联网（IoT）解决方案是基于其在当今IoT驱动的市场中提供非凡价值的能力。它源 阅读全文
posted @ 2020-10-21 11:38 旋极智能 阅读(86) 评论(0) 推荐(0) 编辑
案例分析 | CodeSonar如何帮助汽车零部件公司Stoneridge实现安全保障
摘要：Stoneridge Stoneridge，Inc.是为商用车，乘用车和非公路用车市场提供高度工程化电气电子元件的全球领导者。其业务范围遍及全球15个国家，27个地区。 Stoneridge的解决方案可以为车辆智能系统提供动力，大幅提高燃油效率、减少排放，并为公路上的每个人提高安全和保障。他们的技术 阅读全文
posted @ 2020-10-21 11:34 旋极智能 阅读(139) 评论(0) 推荐(0) 编辑
如何满足EN50128软件安全认证标准？
摘要：导语：EN 50128是为铁路行业的特定需求量身定制的功能安全标准。其标题为“铁路应用—通信，信号和处理系统—铁路控制和防护系统软件”。遵守该标准的要求对于铁路软件开发是至关重要的。因此，必须了解什么是EN 50128，如何遵循EN 50128以及什么是软件安全完整性等级（SSIL）。 什么是EN 阅读全文
posted @ 2020-10-21 11:11 旋极智能 阅读(589) 评论(0) 推荐(0) 编辑
汽车芯片如何高效符合ISO 26262功能安全标准
摘要：汽车芯片和集成电路（IC）是高级驾驶员辅助系统（advanced driver assistance systems-ADAS）和联网自动驾驶汽车（connected autonomous vehicles-CAV）的基础。尽管IC已经变的非常可靠和耐用，但依然会发生故障。例如物理现象（如电迁移）可 阅读全文
posted @ 2020-10-21 11:01 旋极智能 阅读(740) 评论(0) 推荐(0) 编辑
FPGA形式化验证工具OneSpin360™新版发布
摘要：Onespin是领先的EDA解决方案提供商，其360系列产品为FPGA形式化验证工具。它以强大、高性能的形式化验证引擎为基础，能够覆盖自动设计分析到高级属性检查以及逻辑等效性验证，帮助构建功能正确，安全，可靠、可信赖的系统。 OneSpin 360™2020.2.0版本现已准备就绪，该版本包括功能和 阅读全文
posted @ 2020-10-16 11:40 旋极智能 阅读(238) 评论(0) 推荐(0) 编辑
Cantata9.0 | 全 新 功 能
摘要：Cantata 9.0，从2019年10月开始正式发布，它是一个重要的具有全新功能的新版本。此版本引入了对测试驱动开发（TDD）的支持，并增强了Cantata的AutoTest功能，为C ++代码提供了自动测试生成技术。 Cantata 9.0还包含许多其他较小的功能增强和修复。发行说明中记录了完整 阅读全文
posted @ 2020-10-16 11:39 旋极智能 阅读(228) 评论(0) 推荐(0) 编辑
Klocwork
摘要：“借助Klocwork，我们能够比传统的手动分析和测试更快发现可能遗漏的问题。这使我们能够交付出引以为傲的高质量软件，并满足客户的期望。” — SCM系统工程经理 Klocwork 简介 Klocwork是针对C，C ++，C＃和Java编程语言的最准确的代码分析器之一。它是一款现代化的敏捷静态代码 阅读全文
posted @ 2020-10-16 11:37 旋极智能 阅读(721) 评论(0) 推荐(0) 编辑
MISRA C:2012规则1.3和C与C++的弱点
摘要：MISRA C是安全使用C编程语言的一套准则，主要使用在安全关键的嵌入式系统中。它的许多规则和指令旨在帮助软件开发人员编写更易于理解和维护的代码。软件开发工作需要团队合作，这些编程风格类的规则是重要的，有益于理解源代码。其他规则禁止进行有风险的设计或已知的不良编程行为。 编程风格类规则的一个很好的例 阅读全文
posted @ 2020-10-16 11:36 旋极智能 阅读(524) 评论(0) 推荐(0) 编辑
CodeSonar如何帮助无人机查找软件缺陷？
摘要：Crazyflie是Bitcraze售卖的可编程无人机，它被设计成为可被修改的并为其操纵装置和操作系统运行的开源软件。特别是这架无人机使用了FreeRTOS作为其实时的操作系统。 通过CodeSonar运行Crazyflie的代码，发现Crazyflie中的一个故障由应用程序代码中的一个未初始化变量 阅读全文
posted @ 2020-10-16 11:35 旋极智能 阅读(154) 评论(0) 推荐(0) 编辑
最新版本的CodeSonar改进了功能安全性，支持MISRA，C ++解析和可视化
摘要：最新版本的GrammaTech CodeSonar（版本5.3）继续致力于成为静态应用程序安全测试（SAST）的首选提供商,以及成为提高软件内外部安全和软件质量所选择的静态分析工具。该版本具备一些新功能以及兼容性的更新和其他改进。 此版本的CodeSonar包括对Android，NetBSD 8，V 阅读全文
posted @ 2020-10-16 11:31 旋极智能 阅读(227) 评论(0) 推荐(0) 编辑
C代码单元集成测试培训
摘要：课程简介 本课程为期2天，结合实例讲解如何使用Cantata开展C代码，通过培训，可以明显提高工程师操作Cantata的效率，并加速单元测试和集成测试。 【日期】2020年12月8日-9日（共2天） 【时间】3:00pm-11:00pm （北京）时间 【地点】线上（Go To Meeting -网络 阅读全文
posted @ 2020-10-14 21:36 旋极智能 阅读(117) 评论(0) 推荐(0) 编辑