功能安全-26262-理论到实践-基础概念-什么是软件

软件 Sotware

对于什么是软件,似乎所有人都觉得定义是那么的显而易见。直觉上来看,只要砸在我们脚上能疼的,都算是硬件hardware,除此之外的都是软件 Sotware。如果这样的话,使用软件工具设计的专用集成电路( Application-Specific Integrated Circuit ASIC)和基于模型生成的C代码算什么呢?

引用英国铁道安全标准委员会的定义(http://www.yellowbook-rail.org.uk),在2007年的工程安全黄皮书《Engineering Safety Management Yellow Book 3》 中他们认为软硬件的不同在于“软件 Sotware在本质上比硬件更加复杂”“as a rule of thumb,we suggest that if a device has few enough internal stored states that is practical to cover them all in testing, it may be better to regard it as hardware and to show that it meets its safety requirements by analysis of the design and testing of the completed device, including exhaustive testing of all input and state combinations作为一个经验法测,我们建议如果一个系统(device)没有那么多的状态位,而且,这些状态位都可以在实际测试中覆盖的到,我们最好将它看成是一个硬件。我们可以通过分析设计和完全测试(所有输入和状态机组合的穷举测试exhaustive testing)来证明它满足安全需要”。

我们后续文章更新中提到的软件 Sotware都是以此定义为基础的。如果一个系统足够简单,而且这个系统能够进行穷举测试exhaustive testing,我们就将它看成是硬件hardware,反之才是软件 Sotware

需要提醒大家的是,这个定义有一定的局限性。我们平常接触到的汽车电子系统对于进行穷举测试(exhausive testing)来说,都太复杂了,所以都可以被看成软件 Sotware。对于一些硬件组件,其实,从很多年以前开始就无法进行穷举测试(exhausive testing)了。例如一块64kbit RAM(从现在的控制器来看,小的有些夸张)有2的64乘1024次方种可能状态,如果按照刚刚引用的铁道安全委员会的定义,它就成了软件 Sotware,所以,这种情况下我们将忽略上述定义方法。

软件 Sotware还有另外一个容易经常被忽略的地方就是配置参数(configuration data)。欧盟的EC 482/2008明确定义了软件 Sotware应该包含它的配置参数(configuration data):

“softwar means computer programmes and corresponding configuration data软件 Sotware是指计算机程序和它相关的配置参数(configuration data)...”"configuration data means data that configures a generic software system to a particular instance of its use配置参数(configuration data)是指那些将通用软件 Sotware进行专用化配置的数据“

2015年5月9号一架土耳其的空客A400M军用运输机坠毁,多人遇难。后续调查中,一位空客集团高管在接受德国媒体(Handelsblatt)采访时表示,这次事故是由错误的软件配置引起的。这位高管还特别强调了”The error was not in the code itself, but in configuration settings programmed into the electronic control unit(ECU)of engines代码本身没有问题,问题出在了发动机电子控制单元的参数配置上“

因为配置参数(configuration data)组合的问题,与程序一起进行配置参数(configuration data)的确认(Validating)并没有得到行业内深刻的认识。假如一个程序有5个配置参数(configuration data),每个配置参数(configuration data)有3种可能的值,那么在进行随机组合测试的时候,就有3的5次方(243)种不同的程序需要验证(verify).验证(Verification)程序过程中配置参数(configuration data)的重要性已经被慢慢重视起来,在未来的几年也会有新的标准出现来涉及这个方面。

关注微信订阅号 autotechspace (汽车知识共享空间)获取更多实时内容。。。。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 205,033评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 87,725评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 151,473评论 0 338
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,846评论 1 277
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,848评论 5 368
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,691评论 1 282
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,053评论 3 399
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,700评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 42,856评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,676评论 2 323
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,787评论 1 333
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,430评论 4 321
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,034评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,990评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,218评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,174评论 2 352
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,526评论 2 343