lol总决赛下注

登录 | 注册 | English

资讯中心

lol总决赛下注  >  资讯中心  >  产品动态

静态分析解决方案 的应用

概述
       Haldex是一家瑞典上市企业,在全球范围内经营商用车业务,如重型卡车,拖车及客车,年营业额约6亿美金,在全球设有23家分企业,拥有超过2200名员工。
 

       Haldex致力于车辆动力及安全性 的研究,其制动及悬挂系统获得 的 的广泛认可。Haldex商用车系统部使用PRQA静态分析解决方案已有超过十年 的历史。从2002年开始,QAC及MISRA C已经成为其开发过程中不可或缺 的一部分。另外,在其商业拖车制动系统 的安全关键嵌入式App开发过程当中也已经开始使用这一解决方案。最近,Haldex开始在其Fleet+解决方案中使用QAC++。Fleet+应用程序从Haldex嵌入式设备中提取原始数据,并向运营商提供这些信息,使得他们能够更为有效地管理他们 的车队。
关键安全制动系统嵌入式App 的发展
       Haldex 的嵌入式App将部署在关键安全应用程序当中。Haldex商用车系统部所采用 的质量管理体系通过了ISO / TS 16949认证,该标准依托于ISO 9001,适用于汽车相关产品 的设计、开发、生产、安装和服务,强调持续改进、缺陷预防并减少在供应链中产生 的偏差和浪费。但ISO 26262功能安全标准仅适用于小于3500千克 的乘用车,这一标准并不直接适用于Haldex 的产品。在App开发 的相关部分,TS16949给Haldex提出了更高 的要求,如“验证符合所有规定 的要求”。但TS16949并没有给出如何实现该规定 的方法。
       Haldex追求工业应用案例,采用了MISRA C编码标准。起初,他们 的客户对其并不认可,但Haldex很早就已意识到:提高安全关键应用程序代码质量 的先决条件就是遵从MISRA C编码准则。与编码规则同样重要 的是识别违反MISRA C编码规则 的代码自动分析工具,对于该工具 的选择,核心指标之一就是精度,工具需要具备识别真正违规 的能力。与此同时,工具也要减少误报。从2002年起,位于英国雷迪奇 的Haldex嵌入式App工程团队开始使用QAC及MISRA合规性模块来实现MISRA C 的合规性检查。拖车系统总工程师Dudley Harrison指出:“QAC已经成为大家App开发过程中不可或缺 的一部分。很难想象,将未经QAC检查 的代码部署至安全关键部分时会发生什么状况。”
 

       目前,Haldex打算将其嵌入式产品转移到新 的平台上。他们 的目标是尽可能地复用成熟 的遗留代码。Haldex非常清楚,一款App在某个特定平台上可能是稳定 的;但在新 的平台上,其稳定性就难以得到保证。当进行平台转移工作 的时候,Haldex会仔细查看QAC“可移植性” 的相关消息。通过这些消息,可以确定哪些源代码可实行文件 的性能会因为编译器/平台 的选择而受到影响。高级App工程师Robin Sayce-Jones确定了另一个将与PRQA进行紧密合作 的领域。“多年以来,大家意识到需要一个有效 的偏离管理流程,据此可以授权并记录那些未能遵循编码规范 的行为。MISRA规定合法 的偏差是允许 的,而PRQA编码专家将针对如何运用实施这些偏差提供很好 的引导。”
将PRQA工具从安全关键应用延伸至非安全关键应用:Fleet+
       Haldex非常清楚,其核心制动原件 的传感器产生 的数据量非常庞大,这些包含关键参数 的数据对于车队运营商来说非常有用。如:制动性能、车辆速度、轴重、稳定性、拖车里程、贮存箱压力、道路条件。因此,Haldex制作了Fleet+应用程序来收集并呈现这些数据。拖车运营商通过分析这些底盘、车轴和轮胎反馈 的数据,使得车队 的运营实现高安全,低费用。显然,在制动组件中使用 的嵌入式App 的报告工具要比在Fleet+中使用 的更为严格。前者显然是安全关键应用,ABS或牵引力控制系统等功能如果发生任何意外,都将引发严重 的后果。而Fleet+则不需要同等严格 的标准,因为其不会产生直接影响安全 的缺陷。然而,Fleet+ 的界面会明确标示出存在 的缺陷,最终用户也有可能看到这些存在 的缺陷。
 

       Fleet+是在Visual Studio IDE下用C++语言实现 的。Haldex早已经体会到了QAC带来 的效益,所以他们直接选择了QAC++。高级App工程师Robin Sayce-Jones说:“购买QAC++之后,大家分析了过去12个月内编写 的所有C++代码。大家发现,25% 的缺陷在编码阶段就被QAC++识别了出来,没有带入单元测试或系统测试。如果某个缺陷在单元测试或系统测试时才被发现,需要一名工程师耗费两天 的时间去处理这个缺陷。因此,QAC++节省了大家很多 的时间,QAC++ 的投资回报率不到18个月。”
总结
       经过10余年 的使用,Haldex认为使用QAC(MISRA C编码标准)是其安全关键嵌入式App开发过程中不可或缺 的一部分。PRQA工具针对某些非安全相关 的项目(如Fleet+),其提高App质量 的作用也是非常巨大 的。Haldex认为:QAC和QAC++不仅帮助他们提高了代码 的质量,同样节省了费用 的支出,PRQA工具 的投资回报率不到18个月。
PRQA企业
       QAC和QAC++都是行业先进 的针对C和C++语言静态分析工具。它们提供了一套全面 的功能帮助实施多种编码规则并且协助寻找新代码或遗留代码中隐含 的缺陷。他们提供一种自动并且非常有效 的手段,针对所选择 的编码标准分析代码,给复杂 的项目提供清晰 的度量和可视化代码结构。在产品开发初期使用这些工具可以尽早识别代码中存在 的编码问题,高质量 的代码可节省开发过程后期 的时间成本和费用成本。大家可以使用QA.Verify建立质量保证体系。它扩展了语言分析功能以及数据管理。将数据依据利益相关者(如开发组长、架构师、项目经理、高级管理人员甚至外部客户和供应商)关心 的部分不同,呈现出不同内容 的报告内容。
       PRQA企业致力于编码标准25余年,是行业中 的佼佼者。该企业是备受推崇 的高度集成C++编程标准 的发起者,ISO工作组 的投票代表。PRQA企业 的高级技术人员同时也是MISRA工作组 的主要核心成员,并且是这些标准 的合著者。同时,PRQA企业还提供QAC和QAC++工具 的MISRA合规性模块。
关于lol总决赛下注
企业概况
企业理念
企业资质
资讯中心
lol总决赛下注在全球
诚聘英才
校园招聘
实习生招聘
社会招聘
走进lol总决赛下注
常见问题
市场活动
在线研讨会
线下活动
微信课堂
用户社区
资料下载
lol总决赛下注月刊
用户留言
个人中心
PMT留言
相关链接
达索企业
IBM-中国
联系大家
电话:010-64840808
邮箱:market_dept@hirain.com
版权所有 ? lol总决赛下注_lol竞猜平台 京ICP备18000642号-1 京公网安备11010802017344号 网站地图 | 招聘信息 | 法律声明 | 隐私保护
XML 地图 | Sitemap 地图