1.MISRA C 2012 标准浅析
2.我想下游戏可是捷豹捷豹不知道手机是什么牌子?
3.用英国之宝听车载广播是什么感觉?
MISRA C 2012 标准浅析
MISRA(The Motor Industry Software Reliability Association)是汽车工业软件可靠性联会,成立于年英国,源码旨在帮助汽车厂商开发安全可靠的编程软件。其成员包括AB汽车电子、捷豹捷豹罗孚汽车、源码宾利汽车、编程iptables源码下载福特汽车、捷豹捷豹捷豹汽车、源码路虎公司、编程Lotus公司、捷豹捷豹MIRA公司、源码Ricardo公司、编程TRW汽车电子、捷豹捷豹利兹大学和福特VISTEON汽车系统公司。源码
MISRA支持C语言标准的编程发展历程,MISRA C 目前已经修订多次,最新版本为AMD2,支持C标准。MISRA主要关注功能安全,而CERT C/C++则更多地关注安全威胁。MISRA C :AMD2共有条规则,其中条为规则,条为指令。指令通常无法被SAST工具检测分析。条规则中,条为强制性,条为必要规则,条为建议规则。
MISRA标准中的每一条规则都有详细的描述信息,包括类别、可判断性、支持语言标准、分析范围、规则编号和规则描述等。
标准分类:规则(Rule)和指令(Directive)的区别在于,指令是一种描述性的指导规范,无法提供执行符合性检查所需的完整描述。为了进行检查,需要提供额外的信息,如设计文件或需求说明。货币期权源码查询指令部分主要分为实现、编译与构建、要求追踪、代码设计四个部分,共条规范。规则则可以对相关要求提供完整的描述,评测人员或静态分析工具可以在不需要额外信息的情况下检查源代码是否符合对应规则。
指令:仅依靠源代码分析,无法对指令进行合规性判定,通常需要开发人员提供更多信息,如设计文档和要求说明。静态代码分析工具可以判断代码符合指令,但对于代码不符合指令的情况,代码分析工具给出的结果可能不一致。
规则:仅依靠源代码分析,就可以对规则进行判断,不需要开发人员提供更多信息,所有的静态代码检测工具都应具有对规则进行合规性判定的能力。
Category类别:Mandatory guidelines强制性的,版增加的,声明符合Misra的C代码应遵守所有强制性准则,不允许偏差。Required guidelines必须的,公司或项目可以选择将任何必须的准则视为强制性准则,不符合需要正式的偏差许可。Advisory guidelines建议的,建议性的,不符合应被记录,但是无需正式的偏差许可。
Decidability可判断性和Undecidable不可判定性:Decidable可判断的,总是能够在任何程序中使用工具确定代码是否合规,否则就是不可判定的。例如,规则.3取决于源指针和目标指针的类型是可判定的,而规则.2取决于移位运算符右侧操作数的值是不可判定的。
Analysis Scope分析范围:Single translation unit rule单一编译单元,通过隔离分析每个编译单元中的源代码,可以可靠地进行验证的代码。System rules系统级,仿风车im源码只能通过分析整个系统中的源代码了完全检查验证。
MISRA合规对于企业的价值:MISRA是汽车行业公认的C/C++语言编码规范,符合编码规范是ISO :-6软件功能安全开发标准的内在要求之一,开发ASIL功能安全项目必须满足,客户软件过程能力审核要求,在研发生命周期早期发现软件中的缺陷,预防成本投入会大幅度降低投产后的售后维护成本。
对于C、C++语言开发,我们关注里面包括的运行时缺陷,例如缓冲区溢出、整数溢出、数组越界、内存泄露、空指针解引用等缺陷。但是对于出海的企业,例如车企其开发软件遵守MISRA标准是必要的。这些规则虽然大多数不会导致程序崩溃,但是会给这些软件运行带来潜在的出错风险,对于可能造成重大生命财产随时的软件还是应该去遵守的。下面我们列举几个例子、说明代码不安全性主要来源。
开发者编码引入的错误;开发者对C/C++语言的误解;编译器不执行开发人员所期望的操作;编译器包含错误;运行时错误。
目前,业界对于MISRA C :ADM2支持最好的SAST工具是Coverity,支持的规则最多,检测效果最好。其次是北大Cobot,检测效果还可以。
(结束)
我想下游戏可是不知道手机是什么牌子?
你的手机应该是现在所说的“山寨机”。功能很全,设计也很吸引人,但不是正规厂家出厂的。
你所说的那几歌都不是这个手机的牌子名称。
BIuetooth 是蓝牙。mega plxels是兆象素。
3Dstereo souno是3D立体声。
walkman是音乐播放器。
这样看来的发卡商成源码话,如果想下游戏的话,你先了解一下你这个手机是用的什么系统。你在手机的盒子或者是说明书上找找,应该会找的到。
目前的智能机的手机系统主要有symbian、Linux、Palm、BlackBerry和WindowsMobile这五个。
Symbian用的人多,软件也多 。我估计你的手机应该用的这个系统。Symbian也分SV2,SV3两种。
如果还是找不到的话,你可以根据这个确定一下你的手机系统。
塞班:
(1) 采用数字键盘的手机(Symbian s)
此类手机需要灵活的应用界面,方便用户使用导航键(Joystick)、软按键或转点通键(Jogdial)操作,诺基亚和N-Gage也就是代表他们采用了Series 应用界面。如诺基亚 ;诺基亚 ; 诺基亚 等;
(2) 采用触摸式屏幕的手机(Symbian UIQ)
这类手机主要采用了UIQ界面,其中以索尼爱立信P、P为代表。UIQ是一种可定制的基于手写笔输入的应用界面,很适合支持具有丰富多媒体功能的手机。
(3) 采用完整键盘和超大彩色屏幕的手机(Symbian s)
此类手机为那些需要在办公室以外编辑信息和查看业务数据的用户提供了先进的移动通信功能。诺基亚—个人通讯器系列是此类应用界面的典型代表。
LINUX:
与Windows Mobile系列操作系统一样,Linux手机操作系统是由计算机Linux操作系统“变化”而来的。简单地说,Linux是一套免费使用和自由传播的操作系统。它支持位和位处理器,在计算机领域中,主要用于配备Intel x系列CPU的计算机,在手机领域中,较具代表性的产品有摩托罗拉EG。
Linux具有稳定、可靠、安全等优点,有强大的网络功能。在相关软件的支持下,可实现WWW、稳健操作指标源码FTP、DNS、DHCP、E-mail等服务。由于Linux具有源代码开放、这一特点非常重要,因为丰富的应用是智能手机的优越性体现和关键卖点所在。从应用开发的角度看,由于Linux的源代码是开放的,有利于独立软件开发商(ISV)开发出硬件利用效率高、功能更强大的应用软件,也方便行业用户开发自己的安全、可控认证系统。特别是当智能手机大量用作行业应用的移动终端时,Linux在手机操作系统市场中也异军突起,成为一股不容忽视的力量。目前,基于Linux手机操作系统的产品有三星mitssch-i和摩托罗拉A、A、e等。
希望这些对你有帮助。
用英国之宝听车载广播是什么感觉?
文|Dedee今天,我们又要来聊聊这两年国内车圈已颇为熟悉的一个高端品牌。
就是高合汽车……所选择的车载音响品牌Meridian英国之宝。
年,英国皇家艺术学院的工业设计高材生Allen Boothroyd和伦敦帝国理工学院的理科学霸Bob Stuart,在Cambridge Audio剑桥音响这个聚集了当时全英国声学工程领域最顶尖牛人的小团体里偶遇了。
话说剑桥音响最初就是一群音响发烧友的私人狂欢。比如剑桥音响的发起者,剑桥大学教授Gordon Edge,就是当时全英国闻名遐迩的音响工程师。而剑桥音响之所以敢冠以剑桥之名,也是因为Edge教授。
这些牛人最爱做的事儿就是互相battle,搞各种装备改造竞赛。而Boothroyd和Stuart的首次合作,就是在年拿下了一场功放改造比赛的第一名。
而这个比赛作品的量产版,就是大名鼎鼎的Lecson AC1/AP1,也是英国古董音响的传说级品牌Lecson乐诗的处女作,还被纽约现代艺术博物馆和伦敦维多利亚与艾伯特博物馆永久收藏。
当然了,Lecson AC1/AP1之所以会被几家博物馆抢着收藏的重要原因,是因为Lecson这个公司就活了两年,只出了这一款产品——即便这款产品在当时叫好又叫座,还拿下了不少奖项。但Lecson说白了就是一个开在剑桥郡的小作坊,属于和流水线不共戴天的那种,生产效率实在不行。
所以很快的,Lecson被人收购,成为了一家主要从事糖和有色金属等大宗商品的贸易公司。
不过Boothroyd和Stuart没有气馁,他们拍拍屁股回到了剑桥教授Gordon Edge的身边继续打磨自己的手艺。又过了3年,他们认为时机成熟并把全副家当统统压上,Meridian英国之宝就此诞生。
而有了剑桥和乐诗的这两段特殊经历,英国之宝一诞生就充满了传奇的光环。别人创业,常常是此路不通就另辟蹊径,他们是“此路虽有山拦道,但山后风景无限,凿个山洞穿过去”。
这种特立独行的气质和思路,以及之前的破产遭遇,深深影响着英国之宝的此后近年的产品设计理念——就是和“传统”与“老牌”绝缘,以及必须摒弃偏安一隅的小作坊理念。
比如世界第一台家庭有源扬声器M1,业内公认为是全球最顶尖三大DSP音响代表作之一的DSP扬声器,全球首个消费类数字和发烧级MCD播放器等产品。
还有他们一手引入行业的音频无损压缩技术,以及MLP无损编码。后者甚至被用作DVD-Audio的标准,5年后就被Blu-ray采用,再后来就是被地球人都知道的杜比实验室吸收了。
两年多前,Bob Stuart还获得了英国皇家工程学院颁发的 “菲利普亲王勋章”,也是近年来首位获奖的音响领域的工程师。
说了那么多,其实英国之宝最大的特点,就是还原声音的“真实”和“纯净”。它没有Bose那么轰头,没有柏林之声那么冷静,也没有哈曼卡顿空灵,却尤其擅长展现人声和交响乐。还能在小空间内,迅速凸显声临其境的现场感。
或许这就是为什么,诸如迈凯伦、法拉利和捷豹路虎等超跑和豪华品牌会对它如此上头。
尤其是针对法拉利F一体式多功能音响系统的技术支持,更是成为了超跑车载的一道标杆——能和永远不出错的柏林之声相抗衡。
这也是为何高合汽车会如此执着地从HiPhi X开始,就坚持前往山的那边海的那边找英国之宝帮忙定制整车音响系统。
后来推出的HiPhi Z也是如此。
就在不久之前,我们前往华人运通的声学实验室,认真了解了一把英国之宝与高合的工程师们是如何将音响布置、数据处理、声道效果等一系列技术,装入一辆HiPhi Z里面的。
据了解,为了让HiPhi Z的整车音响系统充满原装英国味儿,高合汽车还特地将一辆高合HiPhi Z,空运到人家英国的工程中心,势必要将英国之宝的六大宝,即TRUE TIME、DIGITAL PRECISION、Horizon、PERFECT BALANCE、INTELLI-Q和RE-Q六大核心调音技术,用在HiPhi Z音响系统上。
或许大家会好奇,为什么非得去英国凑热闹?
很简单,因为它的调试源代码在英国本土。这就意味着这辆车智能座舱的成本必然又要上去了……但听过之后,个人觉得——还是物有所值啊。
尤其对以下几点,印象极为深刻。
首先就是六大宝中的HORIZON技术。
一种向上混音技术,它最厉害的点是能适应多种扬声器布局,能将简单的双声道立体声多声道化,带来更为广阔、沉浸和舒适的包裹感。
打个比方,坐在HiPhi Z里听人声演唱,很像戴上封闭包耳式专业耳机的感觉,那种置身于小型剧场第一排的VIP感,尤其强烈。
不仅如此,英国之宝的车载音响系统还能跟随当前播放的音乐类型,通过中控屏、HiPhi Bot和车内氛围灯等装置一起联动,带来更有趣和多变的多感官联动体验。
其次就是车内个扬声器,全部都是独享功率通道。
啥意思呢,即每一个扬声器至少配备了一个专属声道,独立的功率通道。低音炮则有专属两个高功率通道,每个通道的不失真功率达到了W。扬声器之间互不干扰,均能有独立的声音,让声场更清晰可辨。
我们用自己的亲身体验,翻译成人话来说一下:
就拿ACDC乐队最著名的《Black In Black》这首歌举例。如果前后左右的扬声器使用同一条通道,不仅会将现场感毁于一旦,声场也会陷入混乱,吉他、贝斯、鼓手、键盘的位置也是混沌不清的。
但在HiPhi Z的座舱内,镲声鼓声吉他声贝斯声……所有乐器的具体位置都被安排得清清楚楚,声场清晰可辨现场感十足。
所以说在HiPhi Z的座舱内,由于每一个扬声器都有独立渠道甚至不止一条通道,可以让不同的数据、频率、功率等一些细节差异完美体现,营造出变化多样的声场,更容易产生沉浸感。
HiPhi Z不仅采用了独立声道扬声器+通道功放的奢侈独享功率通道,英国之宝还对不同喇叭的振膜提出了要求。
因为在这些英国佬看来,不同的扬声器必须选用有针对性的、不同材质的振膜,才能让低音有气魄、中音有层次、高音更通透。
而高合的工程师照做了。
他们为低音喇叭搭配混合碳纤维振膜。据说这种振膜轻盈但刚性极高,能让低音更有气魄更有冲击力。为中音喇叭定制了防弹纤维材质——工程师开玩笑道,万一在车里遇到枪战啥的,你可以毫不犹豫地将关键部位遮在中音喇叭前面。当然,这种纤维的真正作用,是能让人声更温暖,更有层次感。高音扬声器和天空声道扬声器采用的是铝镁合金振膜。这种密度低刚性高的材质,能让人的高音更细腻通透,对音乐的金属质感表现更佳。
除了以上这些和调音技术直接相关的内容,高合还对整车的静谧性、吸音和隔音材料有着极为苛刻的要求。
比如全车采用的玻璃几乎都是夹层静音玻璃,总面积超过5平米。比如采用5mm抗UV保温涂层加厚隔音玻璃的全景天幕,6mm化学钢化夹层静音玻璃的四门车窗等。尤其是前挡风玻璃,为增强型5mm超薄夹层声学玻璃,还加上了PVB隔音膜片,能有效降低3到5分贝的噪音。
听起来只是微小的3分贝,我们肉耳几乎没啥感觉,但对于城市居民而言,这3分贝的噪音降低是弥足珍贵的。因为一般噪声的能量是呈现对数增加的。比如分贝的噪声相比分贝的,虽然只增加了3分贝,但是它所具有的能量却比分贝翻了一倍。
不仅如此,在整车主要噪声传递路径上,工程师们还大量布置隔音材料并进行了多轮次仿真模型测试,最终明确了隔音材料的覆盖位置和比例以及阻隔噪声的路径,来进一步提升整车降噪性能。
说了那么多,也许有人会吐槽,每天坐在车里的时间其实并不多,而且大部分人的习惯是打开播客听广播或流行音乐。这样普通的内容从英国之宝里流出是不是太过暴殄天物?或者我听英国之宝听习惯了之后,再用其它普通音响听不惯了怎么办?
这两个问题我也问过高合汽车的声学工程师们。
他们表示:“这就和你开着豪车上下班、接送娃的性质差不多,好东西放着不用才叫暴殄天物。而且对好音响产生依赖,其实就和我们已习惯于高清甚至4K画质是一样的。我们现在的眼睛,是不是早就无法适应二三十年前的低分辨率节目了呢?”
想想的确很有道理的亚子。
本文来自易车号作者autocarweekly,版权归作者所有,任何形式转载请联系作者。内容仅代表作者观点,与易车无关