主题：国外汽车定速巡航无法解除的严重案例二则
正序浏览
主题图片汇总
主题内检索
相关标签：
柯达
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
1 帖
zzuyan 发表于 2018-4-3 00:32
对飞机来说情况很复杂，很多时候不仅仅是设计和编程问题，更多的是控制逻辑问题，从内部对各个舵面、发动机推力的控制变量，到外部环境变量，输入不同参数能组合出天文数字级的控制状态，这些状态多到不可能去一一试验验证，只能在超级电脑上检查是否出现危险状态，比如在某个状态下，改变某个舵面操纵参数，会由该状态演进到失速状态。民航机一般是静定的，控制相对简单，战斗机一般是静不定的，控制逻辑非常复杂，歼20据称是唯一一款试飞阶段没有出现因为飞控软件而摔机的战斗机，说明飞控软件控制逻辑设计和编写的复杂性。
先进行逻辑规约，大幅度减少组合爆炸；其次尽量采用形式化验证。单纯通过状态遍历、路径遍历来做测试是不可靠的/工程上不可行的。
复杂飞行器的控制器设计是很难的，在各种模型误差和急剧扰动下的性能最优和稳定性裕度的把握，都是极困难的问题。这些和高可靠性的严格时间要求的嵌入式实时控制软件都是高难度问题。
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
94 帖
filter 发表于 2018-3-23 22:25
看来兄台也是业内人士啊
第一段多线程这种情况，应该在设计时就采用互斥锁、共享锁这类机制，多核CPU硬件平台上底层可以用自旋锁来实现。
第二段这种案例，在设计上是安全余量留得太小。比如在标定的最大起飞重量下，对整机的起飞安全性的裕度明显不足；比如，万一起飞时遭遇多少级的顺风、万一起飞时发动机工作的工况出现了推力百分之几的负偏差 ......
对飞机来说情况很复杂，很多时候不仅仅是设计和编程问题，更多的是控制逻辑问题，从内部对各个舵面、发动机推力的控制变量，到外部环境变量，输入不同参数能组合出天文数字级的控制状态，这些状态多到不可能去一一试验验证，只能在超级电脑上检查是否出现危险状态，比如在某个状态下，改变某个舵面操纵参数，会由该状态演进到失速状态。民航机一般是静定的，控制相对简单，战斗机一般是静不定的，控制逻辑非常复杂，歼20据称是唯一一款试飞阶段没有出现因为飞控软件而摔机的战斗机，说明飞控软件控制逻辑设计和编写的复杂性。 本帖最后由 zzuyan 于 2018-4-3 00:36 编辑
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
93 帖
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
92 帖
NSPRO950 发表于 2018-3-24 19:08
你举两例子，一个死亡， 一个吓傻送医
那家伙不说一个多小时没踩过刹车吗 ？
如果动员当天那时段装了经过那路段曾经被他超过车行车记录仪的车主们的行车记录仪或高速监控 ，如果发现那台奔驰刹车灯亮了。。。
想讹警察 ？想出名？想讹汽车公司 ？
没那圆谎的本事和湮灭证据的能力就等着坐牢
那司机怎么样我不关心（反正他心理素质好），我只关心车有没有问题，因为我也是奔驰车主，害怕出现这种问题。换我在这种事件里要么撞死要么吓傻。
那司机是否说谎或者造假，自有调查结论出来。
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
91 帖
WiFi 发表于 2018-3-23 07:50
墨尔本的福特司机事后马上就接着开了吗？
如果失控长达一个小时是一个怎样的心理煎熬？有医生能说说吗？这事换谁不是心有余悸，赶紧先避开再说？
奔驰司机对采访的王志安说工作第一，生命第二，我就确信这厮一定是撒谎无疑了！
1小时？
去卡丁车场玩玩卡丁车 看看坚持一小时是个什么状态
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
90 帖
frankaswift 发表于 2018-3-22 23:33
大家都在讨论奔驰车主无法解除定速巡航可能是夸大或造假，各种说不可能。这事情究竟是怎么回事，还有待奔驰厂家的检测报告。
但汽车定速巡航卡死、无法解除，并且造成严重伤亡的案例，国外也确实发生过。
https://www_independent_co_uk/news/uk/home-news/driver-kaushal-gandhi-car-stuck-cruise-control-decapitated-119-mph-crash-a7438451.html
http://metro.co.uk/2016/11/24/driver-called-999-to-say-car-stuck-on-cruise-control-moments-before-crash-6280938/
这是2016年发生在英国伦敦北部的一次严重交通事故，车主驾驶一辆斯柯达明锐（Skoda Octavia）轿车，定速巡航，报警称定速巡航无法解除，车子只能加速，在警方的指导下操作无果，狂奔8分钟，最后以119mph（约190km/h）的极高速度撞上大卡车，司机当场“被斩首”死亡。警方排除了自杀的可能。事后检查车辆，没有发现问题，碰撞前5秒还记录到司机的踩油门动作，速度记录到152mph（约243km/h），碰撞前1.5秒松开油门。
上面两个链接是不同媒体对此事的报道。
此事在英国的论坛上也一度被热议：
https://www_pprune_org/archive/index.php/t-587427.html
另一起澳大利亚的定速巡航无法解除事故 ...
大家洗地不是因为车不会坏 而是不能一会儿坏了一会儿又好了
开了一辆病车还敢长途去开会，我不信。
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
89 帖
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
88 帖
森林酒吧 发表于 2018-03-24 17:23兄弟您学中医的吧
本帖由安卓客户端发布
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
87 帖
大眼镜小眼睛 发表于 2018-3-24 00:51
定速被卡在80km/h 30分钟， 司机已经送医院了。 奔驰车主被卡在120km/h一个多小时， 事后居然淡定的把车开走了。。。
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
86 帖
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
85 帖
frankaswift 发表于 2018-3-22 23:33
大家都在讨论奔驰车主无法解除定速巡航可能是夸大或造假，各种说不可能。这事情究竟是怎么回事，还有待奔驰厂家的检测报告。
但汽车定速巡航卡死、无法解除，并且造成严重伤亡的案例，国外也确实发生过。
https://www_independent_co_uk/news/uk/home-news/driver-kaushal-gandhi-car-stuck-cruise-control-decapitated-119-mph-crash-a7438451.html
http://metro.co.uk/2016/11/24/driver-called-999-to-say-car-stuck-on-cruise-control-moments-before-crash-6280938/
这是2016年发生在英国伦敦北部的一次严重交通事故，车主驾驶一辆斯柯达明锐（Skoda Octavia）轿车，定速巡航，报警称定速巡航无法解除，车子只能加速，在警方的指导下操作无果，狂奔8分钟，最后以119mph（约190km/h）的极高速度撞上大卡车，司机当场“被斩首”死亡。警方排除了自杀的可能。事后检查车辆，没有发现问题，碰撞前5秒还记录到司机的踩油门动作，速度记录到152mph（约243km/h），碰撞前1.5秒松开油门。
上面两个链接是不同媒体对此事的报道。
此事在英国的论坛上也一度被热议：
https://www_pprune_org/archive/index.php/t-587427.html
另一起澳大利亚的定速巡航无法解除事故 ...
你举两例子，一个死亡， 一个吓傻送医
那家伙不说一个多小时没踩过刹车吗 ？
如果动员当天那时段装了经过那路段曾经被他超过车行车记录仪的车主们的行车记录仪或高速监控 ，如果发现那台奔驰刹车灯亮了。。。
想讹警察 ？想出名？想讹汽车公司 ？
没那圆谎的本事和湮灭证据的能力就等着坐牢
本帖最后由 NSPRO950 于 2018-3-24 19:20 编辑
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
84 帖
大眼镜小眼睛 发表于 2018-3-24 00:51
定速被卡在80km/h 30分钟， 司机已经送医院了。 奔驰车主被卡在120km/h一个多小时， 事后居然淡定的把车开走了。。。
那位奔驰车主：技术好（mei nao zi ）， 接受采访的时候说1个多小时没试过踩刹车
那位奔驰车主：力气大（gan xia bai ），能在时速120公里的时候打开车门
那位奔驰车主：运气好（cai sha che），过了收费站没多久恢复了制动
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
83 帖
frankaswift 发表于 2018-3-22 23:33
大家都在讨论奔驰车主无法解除定速巡航可能是夸大或造假，各种说不可能。这事情究竟是怎么回事，还有待奔驰厂家的检测报告。
但汽车定速巡航卡死、无法解除，并且造成严重伤亡的案例，国外也确实发生过。
https://www_independent_co_uk/news/uk/home-news/driver-kaushal-gandhi-car-stuck-cruise-control-decapitated-119-mph-crash-a7438451.html
http://metro.co.uk/2016/11/24/driver-called-999-to-say-car-stuck-on-cruise-control-moments-before-crash-6280938/
这是2016年发生在英国伦敦北部的一次严重交通事故，车主驾驶一辆斯柯达明锐（Skoda Octavia）轿车，定速巡航，报警称定速巡航无法解除，车子只能加速，在警方的指导下操作无果，狂奔8分钟，最后以119mph（约190km/h）的极高速度撞上大卡车，司机当场“被斩首”死亡。警方排除了自杀的可能。事后检查车辆，没有发现问题，碰撞前5秒还记录到司机的踩油门动作，速度记录到152mph（约243km/h），碰撞前1.5秒松开油门。
上面两个链接是不同媒体对此事的报道。
此事在英国的论坛上也一度被热议：
https://www_pprune_org/archive/index.php/t-587427.html
另一起澳大利亚的定速巡航无法解除事故 ...
兄弟您学中医的吧
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
82 帖
filter 发表于 2018-3-23 22:25
看来兄台也是业内人士啊
第一段多线程这种情况，应该在设计时就采用互斥锁、共享锁这类机制，多核CPU硬件平台上底层可以用自旋锁来实现。
第二段这种案例，在设计上是安全余量留得太小。比如在标定的最大起飞重量下，对整机的起飞安全性的裕度明显不足；比如，万一起飞时遭遇多少级的顺风、万一起飞时发动机工作的工况出现了推力百分之几的负偏差 ......
虽然任何一个程序员学习多线程编程的时候，一上来都会讲各种锁、线程安全，但具体实现的时候就不是那么回事了。实践中有两种情况经常出现：1. 早年加锁只能手动加，非常麻烦，有的程序员偷懒没写好，一般情况下也不会出问题，但夜路走多了总会遇到鬼…… 2. 现在编程大量会用各种库，而很多库里的函数本身并非线程安全的，在说明文档并不完备的情况下，程序员也不知道这东西可能造成争用，于是就用了，然后就出事了。
随着软件开发平台的不断演进，有一些系统已经可以自动加锁，但带来的代价是性能严重降低。在硬件性能太差或执行性能要求很变态的时候，不得不放弃加锁。我之前开发过的一个东西就是对性能要求极端变态，最后想了很多办法，把程序写成了完全不加任何锁的形式，极度的线程不安全，是通过每线程存储空间完全隔离的方式来避免线程争用。改了之后性能居然比加锁时提高了100多倍（测试平台有88核心）。——但并不是每个应用都能写成这种存储空间完全隔离的形式的。
像第二段人太重了发生※※这种极端案例，全世界范围内也就发生过两次，一次是美国一次是苏联，都是各种极端因素叠加的结果。但最后各国民航界也并未因此提高安全余量，因为飞机设计时的安全余量已经留得很大了，此种事件发生概率极低，真的摊上这种事情就自认倒霉吧（话说这就是买保险的意义）。世界上没有完全不出故障的东西。
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
81 帖
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
80 帖
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
79 帖
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
78 帖
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
77 帖
frankaswift 发表于 2018-3-23 20:48
同意。难以复现的bug现在越来越多，随着多核心CPU的出现这种现象有愈演愈烈的趋势，比较典型的一种情况是多线程处理造成争用，即两个CPU核心同时读写一个内存单元。这种事情是有概率发生的，当然也有解决办法，但程序写得不好的话还是可能发生。不可复现性在于，两个线程执行，必须恰巧好在同一时间调用同一个单元才会出问题，而两个线程开始的时间不是每次都一样的，因此就很难复现。所以多线程编程里面，都应事先解决好争用，而不能全寄希望于测试时再改——但这是很难完全做到的。
在这种小概率事件下，“绝大多数人的常识和经验”往往是不管用的。这在各种※※事件中表现得特别明显，很多时候都是一些偶然因素导致的事故，即使查明原因，也很难完全消除隐患。例如美国有一次※※是一架客机满载了一飞机的士兵回家，刚起飞就坠毁了。事后调查结论是人太壮了，飞机速度不足——但当时起飞重量却是符合飞行手册标准的。所以这事后来就不了了之了。
看来兄台也是业内人士啊
第一段多线程这种情况，应该在设计时就采用互斥锁、共享锁这类机制，多核CPU硬件平台上底层可以用自旋锁来实现。
第二段这种案例，在设计上是安全余量留得太小。比如在标定的最大起飞重量下，对整机的起飞安全性的裕度明显不足；比如，万一起飞时遭遇多少级的顺风、万一起飞时发动机工作的工况出现了推力百分之几的负偏差 ......
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
75 帖
jclark 发表于 2018-3-23 19:56
油门松开了
油门松开，未踩刹车，如何能在1.5秒内从119mph减速到94mph? 即1.5秒内速度减少40km/h，加速度约为7.41m/s^2，大约等于0.76g，基本是斯柯达明锐全力刹车的加速度了（0.8-0.9g）。
https://www_autohome_com_cn/519/0/3/Section.html
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
74 帖
filter 发表于 2018-3-23 20:23
老司机了
你前面说的，适合绝大多数软件、绝大多数场景。
有一些实际环境中运行的软件、实时软件、嵌入式系统的软件等等，环境因素不完全可以控制，或者说引发异常的条件因素、异步事件序列等不完全可控（甚至不可观测），不一定能准确复现前一次测试的场景。如果考虑硬件本身的可靠性（纯软件设计、分析、测试是较少考虑这个因素的，但高可靠性等级的系统设计分析中必须考虑），软件中的bug不全是可以人为可控地复现的。
当然，在特殊设计和特殊控制的环境和装置中，会尽量模拟甚至生成特殊的环境和序列。不过，日常使用的用户往往也无法复现当时遇到的异常，特别是那些诡异的异常。
本次事件，焦点之一当然在于这种难以复现的故障的技术鉴定问题；但主要矛盾还不在这里，而在于更多的仅仅依靠绝大多数人的常识和经验就可以看出的司机的各种疑点、不合理行为、自相矛盾的说法，等等。
本次事件，我认为问题出在这位司机身上。
...
同意。难以复现的bug现在越来越多，随着多核心CPU的出现这种现象有愈演愈烈的趋势，比较典型的一种情况是多线程处理造成争用，即两个CPU核心同时读写一个内存单元。这种事情是有概率发生的，当然也有解决办法，但程序写得不好的话还是可能发生。不可复现性在于，两个线程执行，必须恰巧好在同一时间调用同一个单元才会出问题，而两个线程开始的时间不是每次都一样的，因此就很难复现。所以多线程编程里面，都应事先解决好争用，而不能全寄希望于测试时再改——但这是很难完全做到的。
在这种小概率事件下，“绝大多数人的常识和经验”往往是不管用的。这在各种※※事件中表现得特别明显，很多时候都是一些偶然因素导致的事故，即使查明原因，也很难完全消除隐患。例如美国有一次※※是一架客机满载了一飞机的士兵回家，刚起飞就坠毁了。事后调查结论是人太壮了，飞机速度不足——但当时起飞重量却是符合飞行手册标准的。所以这事后来就不了了之了。
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
73 帖
imaccount 发表于 2018-3-23 20:07
我1992年入行写程序，现在不写了。老婆曾干了7年测试
老司机了
你前面说的，适合绝大多数软件、绝大多数场景。
有一些实际环境中运行的软件、实时软件、嵌入式系统的软件等等，环境因素不完全可以控制，或者说引发异常的条件因素、异步事件序列等不完全可控（甚至不可观测），不一定能准确复现前一次测试的场景。如果考虑硬件本身的可靠性（纯软件设计、分析、测试是较少考虑这个因素的，但高可靠性等级的系统设计分析中必须考虑），软件中的bug不全是可以人为可控地复现的。
当然，在特殊设计和特殊控制的环境和装置中，会尽量模拟甚至生成特殊的环境和序列。不过，日常使用的用户往往也无法复现当时遇到的异常，特别是那些诡异的异常。
本次事件，焦点之一当然在于这种难以复现的故障的技术鉴定问题；但主要矛盾还不在这里，而在于更多的仅仅依靠绝大多数人的常识和经验就可以看出的司机的各种疑点、不合理行为、自相矛盾的说法，等等。
本次事件，我认为问题出在这位司机身上。
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
72 帖
filter 发表于 2018-3-23 19:38
小兄弟应该是业内人士了，而且估计是搞开发的，不是搞测试的。
不知道猜对了没有？
我1992年入行写程序，现在不写了。老婆曾干了7年测试
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
71 帖
den7bo 发表于 2018-3-23 16:46
现在的刹车，是纯机械的？ABS怎么起作用的？
可以重复才叫Bug? 你是哪个档次搞软件的？
1..上驾校的时候老师没教你abs叫防抱死么，刹车就算没电子助力也可以用脚硬踩好吗。
2. 不可重现的故障叫什么，叫猜测。
你在野外看到光亮，你说那是ufo，别人让你出示证据，你说ufo需要未知触发条件才会重现，你看有人会信你么？
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
70 帖
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
69 帖
imaccount 发表于 2018-3-23 14:28
说到软件的BUG， 如果测试人员空口白牙就说系统有BUG， 又拿不出实证来复现， 那让别人怎么认可你这个BUG存在。
你报到BUG系统里至少要让其他人员知道BUG触发的条件， 看到BUG触发的界面场景。
否则， 你连系统错误的界面都拿不出来，就光说找不到触发条件，那就不叫BUG，那叫未经证实的人为猜想
小兄弟应该是业内人士了，而且估计是搞开发的，不是搞测试的。
不知道猜对了没有？
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
68 帖
frankaswift 发表于 2018-3-22 23:33
大家都在讨论奔驰车主无法解除定速巡航可能是夸大或造假，各种说不可能。这事情究竟是怎么回事，还有待奔驰厂家的检测报告。
...
写了这么多，不是为事故中的奔驰车主洗地，但至少从国外发生的同类型事件的细节来看，很类似本次奔驰事件。目前尚无铁证证明奔驰车主说谎。不管如何，希望奔驰能加强安全设置，今后不再出现定速巡航故障。
怎么看，怎么就像在为本次事件中的司机洗地。
填字游戏：
写了这么多，不是为事件中的奔驰车洗地，但至少从国内外发生的司机说谎事件来看，很类似本次奔驰事件。目前尚无铁证证明奔驰车有问题。不管如何，希望司机能加强诚信观念，今后不再说谎扰乱视听。
(0)
(0)
只看该作者
不看该作者
加入黑名单
举报
返回顶部
个人图文集
个人作品集
第
67 帖
回复主题： 国外汽车定速巡航无法解除的严重案例二则
功能受限
游客无回复权限，请登录后再试