Klocwork 符合功能安全要求的自动化静态测试工具

发布时间:2024-03-15 12:50:14   来源:江南体育官方网站

  经纬恒润,专门干汽车电子、智能驾驶、车联网、新能源、人工智能的电子科技类产品研发生产、工程咨询、研发工具以及特定场景无人驾驶运维服务等。

  Klocwork工具应用静态分析技术,可实现对C、C++、Java等代码的全面静态分析。检查问题种类既包含软件质量和安全缺陷相关,也可实现多种语言编码规则规范的检查。利用Klocwork,能够在一定程度上帮助研发人员能够在开发早期检测到程序有几率存在的缺陷和漏洞,在开发过程中即可提升代码安全可靠性,确保代码质量可控。

  在开发阶段使用Klocwork开展静态分析,立足程序安全性角度来测试,有利于尽早发现和修复安全性有关问题,并确保代码符合国际公认的编码标准。

  ♦ DevSecOps:Klocwork可以集成到CI/CD工具、容器、云服务等,便于实现自动化测试流程

  Klocwork在设计时首先考虑了CI/CD,方便用户将Klocwork分析代码作为CI/CD一部分,可以做到:

  ♦ 差异分析:通过Klocwork Server上的数据,在整个项目分析完成后,可以只分析更改的文件,提供差异分析结果,节约分析时间。

  ♦ 易于自动化:Klocwork工具有通用的命令行接口,Klocwork检测结果数据能够最终靠REST API访问,所有输出格式都使用标准格式,例如XML、JSON和PDF等。

  ♦ 容器化构建:Klocwork支持在容器化和云构建系统中运行,为使用内部或外部的云服务进行代码分析提供灵活的操作。

  Klocwork Portal是一个集中存储分析数据、度量和分析配置的工具,支持不同人员通过web浏览器访问。Klocwork Poratl界面是高度可定制的,允许开发人员、管理人员和其他有关人员操作:

  Klocwork与开发工具无缝集成,将缺陷检验测试流程提前到开发阶段,提高了研发人员的产出效率及质量:

  ♦ 无需用户配置编译器:Klocwork为数百个编译器和交叉编译器提供了开箱即用的支持,可以方便地与编译器集成。

  ♦ 与IDE集成:支持常见IDE的插件(VS,Eclipse,IntelliJ等),可直接集成到IDE中,代码修改后,在IDE插件提供差异分析结果。

  ♦ 详细的帮助文档:缺陷和编码违反是根据风险的严重程度确定的,对于每个缺陷和编码违规,能查看帮助文档,为理解缺陷和违规提供帮助。

  ♦ 自定义规则:为了更高级的需求,工具提供了用户自定义规则的接口,支持用户结合实际需要自定义检查规则。

  ♦ 架构分析:可与Structure 101集成,使用户了解项目架构,提高项目可维护性。

  RTaW基于车载以太网TSN的下一代E/E架构设计优化工具

  在港口无人水平运输场景中,经纬恒润提供了车、路、网、云、图全栈式自研解决方案,包含了无人驾驶车辆、路侧车路协同、全场高可靠定位、5G远程驾驶、运营调度管理、数字孪生、仿真系统、高精地图等专业模块,组成了一套完整的智慧港口解决方案。车辆精准对位系统CPS(ChassisPositioningSystem)作为港口无人水平运输系统中影响作业效果最关键的组成部件之

  随着汽车电动化、智能化的发展,制动系统迎来新一轮变革。在新能源车型尤其是新能源智能汽车中,智能底盘系统在底盘融合控制、整车安全方面重要性慢慢的升高,线控制动属于智能底盘的重要部分,凭借着快速响应和精确执行的优势,正成为推动汽车电动化、智能化升级的重要的条件。据华经产业研究院预测,2026年全球线亿元人民币,这意

  随着汽车科技的迅猛发展,汽车EE架构正从分布式到域集中式再到中央计算式快速过渡。整车ECU数量骤减,线束布置一直在优化,控制功能不断集中,域控制器作为整车EE架构中的核心控制单元,具有举足轻重的作用。汽车智能底盘是影响车辆运行过程中安全性、舒适性与稳定性的主要的因素,智能底盘的发展对无人驾驶量产落地有着非常非常重要的意义。因此,底盘域控制器的解决方案也受到越来越多O

  近日,经纬恒润整车电子电气测试实验室成功通过中国一汽研发总院的资质评定,获得外部实验室认可证书。这是继经纬恒润测试实验室获得一汽智能网联开发院车载以太网测试资质认证之后的又一次认可,它将拓宽经纬恒润与红旗新能源及相关零部件供应商的合作范围。在此,特别感谢一汽研发总院及行业同仁对经纬恒润的信任及支持!通过资质评定后,经纬恒润将为一汽红旗零部件供应商提供汽车电子

  旧岁已展千重锦,新年再进百尺杆。2024年伊始,经纬恒润接连受邀参加国内知名OEM年度盛会,分别斩获江铃汽车“2023年度优秀供应商奖”、一汽解放“2023年度优秀供应商技术上的支持奖”、领克汽车“2023年度携手同行奖”。满载的荣誉奖项是广大生态伙伴对经纬恒润过硬研发实力与供应体系的高度肯定,也是双方不断深化合作关系的强劲动力。01江铃汽车:2023年度优秀供

  1月22日,经纬恒润,中国汽车智能驾驶系统解决方案供应商,宣布将于2024年第二季度在国内率先量产基于MobileyeEyeQ6Lite芯片打造的ADAS系统。这标志着在推动汽车安全和舒适功能方面迈出了重要一步。EyeQ6是Mobileye系统集成芯片产品中的最新成员,旨在重新定义基础和高阶ADAS产品的性能和效率。搭载Mobileye先进的基于视觉的感知技

  近日,在2024哪吒汽车价值链大会上,哪吒汽车与经纬恒润联合宣布合作升级,就中央域控制器和区域域控制器展开合作,合作成果将在山海平台新一代车型上发布。哪吒汽车首席技术官戴大力、经纬恒润副总裁李伟经纬恒润在智能驾驶领域拥有丰富的经验,旗下产品覆盖汽车全域,迭代快速。此次哪吒汽车与经纬恒润深化合作的项目涉及产品定义、工程开发、整车应用等多个领域,将为哪吒汽车创新

  在刚刚结束的CES2024上,经纬恒润联合以色列ArbeRobotics公司展出了基于Arbe芯片组方案的4D成像毫米波雷达LRR610。经纬恒润自主研发的4D成像毫米波雷达LRR610,具备48发48收通道,在方位和俯仰向均具有高分辨能力,能形成丰富的点云信息,还可以对目标进行轮廓的点云成像,能够区分、追踪、识别数百个目标。因此,可以称之为真正意义上的

  近日,经纬恒润首个国产化4GT-BOX产品获得某头部整车厂定点,预计2024年开始量产。经纬恒润自主研发的首个国产化4GT-BOX,基于4G蜂窝通讯、GNSS卫星定位和车辆总线通信等核心技术,可以为整车客户提供包括行车数据采集、高精度位置信息、车辆故障监控、车辆远程查询和控制(开闭锁、空调控制、发动机启停等)、OTA等丰富的车联网服务。当前,国际局势波谲云诡

  近日,为加快推进先进制造业和现代服务业融合发展,北京市开展了首批市级两业融合试点示范认定工作。经纬恒润凭借在行业多年来的突出表现以及深厚的创新研发能力,以“领跑型”入选北京市第一批两业融合试点企业榜单。北京市先进制造业和现代服务业融合试点企业的评定需符合北京市两业融合八个重点领域,并且在核心技术掌握、融合发展模式方面具有典型性。试点企业的评定分为领跑型和成长

  车载HMI系统(HMI:Human-Machine-Interface),包括车载仪表、车载信息娱乐系统,以及与之相关的方向盘、中控面板等物理部件。经纬恒润可以在一定程度上完成:测试策略分析、测试用例设计、测试环境搭建、测试脚本开发、测试实施、回归测试、项目结束等服务。

  经纬恒润可结合多体系要求,如IATF16949\ISO26262\ISO21434等,梳理业务流程、进行过程定义、与CMMI和ASPICE标准对标、进行差距分析、给出改进建议,建立“可视化”的过程。

  经纬恒润对汽车电子科技类产品的需求开发和管理有深入的理解,可以针对ASPICE、功能安全、特定OEM专有质量发展要求提供实操性的系统和软件需求工程服务。

  单元/集成测试旨在证明被测软件实现其单元/架构设计规范、证明被测软件不包含非预期功能。经纬恒润测试团队拥有丰富的研发经验、严格的流程管控,依据ISO26262/ASPICE等开展符合标准要求的单元测试/集成测试工作。

  概述为满足日益严格的国内外法规和规定要求,应对愈发严峻的信息安全风险,智能网联汽车通常集成慢慢的变多的信息安全检测和防御措施。而相关的安全措施集成到部件和整车之后,能否发挥有效的防护效果,需要通过严格的信息安全测试做验证和确认。经纬恒润信息安全团队针对智能网联汽车提供一系列的信息安全测试解决方案,涵盖软件、单部件、系统和实车等各阶段的信息安全测试服务,为信息安全策略的正确实施保驾护航。信息安全测试

  概述面向服务的架构(ServiceOrientedArchitecture,SOA)是一种从IT领域引入到汽车行业的开发范式,作为一种先进的整车E/E架构开发模式,从一开始就受到国内外整车厂的高度关注。SOA架构下将应用程序的不同功能单元通过服务(Service)联系起来,在功能升级的同时可保证整车软件架构的稳定性,能大大的提升业务组织敏捷性、减少企业研发维护成本。同时,SOA架构下的服务具有可复用性

  背景电池替代发动机换来能量系统的空间自由,电驱动则突破了动力总成布局的边界约束,与此同时,整个动力底盘模块化加速,使得各子系统直接影响到整车性能乃至于使用者真实的体验。一方面电驱动总成正在往集成化发展,以匹配不同车型,并逐步提升效能(动力性及经济性),声品质也将直接影响整车驾乘品质,将呈现“五高一低”的技术趋势:高效率/高可靠性/高功率密度/高安全性/高舒适性/低成本。另一方面电驱动与内燃机相比,其存在

  概述智能座舱系统作为集合智能网联与驾乘体验的高的附加价值的电子系统,是未来汽车核心三大域中,集成技术种类与更新占比较大的部分,其直面消费者的关键角色,决定了需要一系列验证与测试手段,以解决在产品迭代过程中智能座舱系统的测试与验证。经纬恒润结合通信信息、人工智能、工业控制、硬件在环等技术,开发了一套智能座舱仿真检测系统,实现了对整车电气、人机交互、交通场景和座舱体验的仿真模拟。系统通过提供触控模拟,智能

  背景随着汽车功能逐渐丰富,车上包括智能驾驶、智能座舱等在内的各项功能慢慢的变多,给测试本身提出了诸多挑战。以智能驾驶为例,现阶段大多数测试方法的挑战都集中在缺乏安全保证和缺乏可扩展性上。鉴于社会难以容忍无人驾驶造成的道路交互与通行事故死亡,因此安全对于无人驾驶汽车至关重要。无人驾驶测试的典型方法是采用大量统计数据驱动,随着收集到的里程数越多,安全验证就越严格。理论表明,将无人驾驶的事故率降低至人类驾驶事故

  Medini Analyze 智能驾驶功能安全平台工具

  “安全”被一致认为是智能驾驶汽车被用户接受或者得到商业应用的显著问题,传统汽车电子按照功能安全(ISO26262,避免系统性故障及随机硬件失效)标准做安全设计,而智能驾驶汽车安全要求超越了功能安全范畴,尤其是L4及以上智能驾驶车辆中驾驶员将不再接管对车辆的控制权,功能安全要求演化为失效可工作(Fail-operational),产品设计需要兼顾预期功能安全(ISO/PAS21448,解决产品性能

LX-43AC  ComExpress龙芯3A2000主板模块LX-43AC  ComExpress龙芯3A2000主板模块