侵权投诉

博士生研发了三种技术,以更智能、更快速地检查汽车软件故障

2020-10-29 16:29 次阅读

  现在,计算机和软件比以往任何时候都更加重要。在汽车、飞机和医疗设备等系统中,执行没有重大缺陷或“故障”(bug)的软件非常重要。据外媒报道,荷兰埃因霍温理工大学(Eindhoven University of Technology)在读博士生Thomas Neele基于模型检查法研发了三种技术,以更智能、更快速地检查软件故障。

  模型检查是最严格的软件检查技术之一,可以检查一个软件系统所能完成的所有事情,其能够处于的“状态”以及检查是否其能够按要求工作。软件常常由许多可以并行工作的部分组成,这可能导致需要检查的部分的数量激增,导致检查模型成本高昂,甚至可能最终导致无法进行管理。Neele探索了新方法,通过减少需要检查的部分的数量,以解决该问题。

  Neele研发的三项技术有一个共同点:会考虑到软件系统状态的要求,这条额外的信息使其更容易了解到哪部分不需要检查。为了能够同时观察系统的行为和要求,Neele首先新研发了一种结构化的方法,以展示行为与要求相结合的信息。

  第一项技术通过将相似的状态组在一起减少了所需要检查的状态的数量,甚至可以处理无穷数量的状态。第二项技术可以检查可以并行工作的软件部分是否有时在独立执行任务。在此种情况下,没有必要检查所有可能的状态。最后一种技术可以检查某些元素是否有相关性,如果不相关则将其删除。

  未来,上述想法将有助于减少研发成本,缩短安全关键软件的上市时间,让高科技医疗服务更便宜,从而让更多人可以享受此种服务。此外,Neele的技术还可以帮助从飞机、汽车等系统中清除危险的故障。目前,应用Neele的想法和模型检查法需要大量的专业知识。为了让其技术得以大规模采用,有必要研发一种全自动化系统,以决定哪种方法最适用于某一特定应用。
责任编辑:YYX

收藏 人收藏
分享:

评论

相关推荐

教你如何快速杜绝流氓软件弹窗

最近很多朋友都向笔者表示了想要购买新MacBook的想法,一方面是由于M1芯片性能非常强劲,另一方面....
的头像 如意 发表于 11-29 10:15 9次 阅读
教你如何快速杜绝流氓软件弹窗

微软收购美国版“钉钉”与Slack进行深入谈判

据外媒报道,有知情人士透露,CRM服务提供商Salesforce正在就收购美国版“钉钉”Slack进....
的头像 lhl545545 发表于 11-28 10:35 699次 阅读
微软收购美国版“钉钉”与Slack进行深入谈判

谷歌似乎再次给华为手机制造障碍

外媒报道指谷歌似乎再次给华为手机制造障碍,谷歌的应用新增加了对麒麟处理器的鉴别功能,一旦谷歌应用发现....
的头像 Les 发表于 11-28 09:10 291次 阅读
谷歌似乎再次给华为手机制造障碍

AI 软件TLDR:可用一句话概括文章

摘要在一篇文章中有着至关重要的作用,它浓缩了整篇文章的精华,可以让你快速了解该篇文章的研究背景、研究....
的头像 Les 发表于 11-27 17:00 335次 阅读
AI 软件TLDR:可用一句话概括文章

lcd汉字生成软件工具免费下载

用于生成小LCD汉字点阵
发表于 11-27 16:45 41次 阅读
lcd汉字生成软件工具免费下载

智能制造PiWeb质量数据管理软件应用解析

智能制造的实现及智能工厂的建立有助于大幅改善作业条件,减少生产线人工干预,提升制造过程可控性,最重要....
的头像 智能制造 发表于 11-27 14:45 311次 阅读
智能制造PiWeb质量数据管理软件应用解析

Aryaka提供”云优先“的智能SD-WAN托管服务

随着云计算在“新基建”中的核心作用逐渐显现,各行业都在持续深化、探索企业上云的落地方案。当企业应用、....
的头像 lhl545545 发表于 11-27 14:07 217次 阅读
Aryaka提供”云优先“的智能SD-WAN托管服务

迅雷最近新推出11 正式版

相信各位差友对迅雷这款软件都不会陌生。
的头像 lhl545545 发表于 11-27 10:25 125次 阅读
迅雷最近新推出11 正式版

Fastems联合华辰精密装备举办柔性制造技术体验日活动

作为轧辊磨削技术解决方案的全球领先供应商,华辰精密装备凭借强大的技术实力与研发积累,用多款颠覆传统制....
发表于 11-27 09:44 142次 阅读
Fastems联合华辰精密装备举办柔性制造技术体验日活动

印度再禁43款中国应用

随着中印两国边境陷入长达数月的对峙,印度针对中国进行了新一轮的网络制裁。11 月 24 日,印度宣布....
的头像 DeepTech深科技 发表于 11-27 09:20 428次 阅读
印度再禁43款中国应用

紫光同创PGL22G开发平台试用—开发板硬件软件拆解详解

倾慕国产紫光同创的FPGA已久,感谢电子创新网,通过了PGL22G开发板试用活动评审,开启了与国产黑....
的头像 FPGA开发圈 发表于 11-26 14:24 176次 阅读
紫光同创PGL22G开发平台试用—开发板硬件软件拆解详解

美国40州欲对Facebook反垄断提起诉讼

美国东部时间11月25日,近日国会召开的反垄断听证会对Facebook来说,仅仅是真正麻烦的开始。联....
的头像 lhl545545 发表于 11-26 11:49 151次 阅读
美国40州欲对Facebook反垄断提起诉讼

云软件Salesforce洽谈收购Slack,Slack盘中暴涨超40%

11月26日消息,据知情人士透露,云软件公司Salesforce正在洽谈收购Slack,这将是迄今为....
的头像 工程师邓生 发表于 11-26 10:14 199次 阅读
云软件Salesforce洽谈收购Slack,Slack盘中暴涨超40%

鸿海透露:公司正在积极研究6G芯片

11月26日消息,据台湾媒体报道,鸿海董事长刘扬伟日前参加公开活动时透露,公司正在积极研究6G芯片。....
的头像 工程师邓生 发表于 11-26 10:07 137次 阅读
鸿海透露:公司正在积极研究6G芯片

机智云的创始人黄灼:为广州本土的高科技企业做一点努力

广州作为改革开放的前沿,曾在商贸领域取得了多个国内第一,广州也成为中国与世界进一步交流的窗口。随着中....
的头像 机智云物联网 发表于 11-26 09:55 207次 阅读
机智云的创始人黄灼:为广州本土的高科技企业做一点努力

物联网生态对垒硬件厂软件战 5G入口的关键卡位战

随着5G相关产业链技术的进一步商用扩围,对于硬件厂商来说,在软件生态方面的蓄力变得愈发重要。 近日,....
的头像 工程师邓生 发表于 11-25 18:10 372次 阅读
物联网生态对垒硬件厂软件战 5G入口的关键卡位战

印度已禁用超200款中国APP

至此,印度已禁用超200款中国APP。 当地时间11月24日,印度对43款移动应用程序颁布禁令,多数....
的头像 Les 发表于 11-25 17:54 210次 阅读
印度已禁用超200款中国APP

金山软件毛利大幅上涨背后的原因

在市场竞争激烈的情况下,游戏业务收益强劲增长、办公软件业务付费用户增加,金山软件递交了一份营收、净利....
的头像 lhl545545 发表于 11-25 16:38 388次 阅读
金山软件毛利大幅上涨背后的原因

统信软件发布统信服务器操作系统V20企业版(1030)更新

今天,统信软件发布了统信服务器操作系统V20企业版(1030)更新。
的头像 lhl545545 发表于 11-25 10:01 440次 阅读
统信软件发布统信服务器操作系统V20企业版(1030)更新

Switch对模拟器Yuzu代码进行重构

日前,知名的Switch模拟器Yuzu再次进行了一次底层代码重构,这次涉及的是软件的纹理缓存模块。
的头像 lhl545545 发表于 11-25 09:44 154次 阅读
Switch对模拟器Yuzu代码进行重构

加拿大的人脸识别软件正学习识别熊脸和牛脸

在加拿大不列颠哥伦比亚省花了十几年时间跟踪研究灰熊后,熊类生物学家Melanie Clapham与两....
的头像 如意 发表于 11-24 14:53 253次 阅读
加拿大的人脸识别软件正学习识别熊脸和牛脸

2020全球客户自助服务软件市场年增长率达到22.1%

根据市场研究机构Grand View Research的一项最新研究显示,到2027,全球客户自助服....
的头像 lhl545545 发表于 11-24 14:40 235次 阅读
2020全球客户自助服务软件市场年增长率达到22.1%

索尼PS5将通过软件更新支持可变刷新率功能

索尼的新一代家用游戏主机PS5如今已经正式发售,虽然在很多国家都是一机难求,但依旧难挡玩家们的热情。
的头像 如意 发表于 11-24 14:04 301次 阅读
索尼PS5将通过软件更新支持可变刷新率功能

未来的软件更新 PS5的VRR支持兼容游戏

拥有HDMI 2.1的电视机的拥有者在得知PS5 VRR支持目前还不能在上市时使用时没有人高兴得起来....
的头像 工程师邓生 发表于 11-24 13:55 423次 阅读
未来的软件更新 PS5的VRR支持兼容游戏

如何放弃中国特供版,直接下载原生火狐浏览器

最近看到有朋友在吐槽火狐浏览器,推送的内容实在是太过辣眼睛。
的头像 如意 发表于 11-24 09:51 288次 阅读
如何放弃中国特供版,直接下载原生火狐浏览器

软件行业的开发效率正在迎来质的提升

软件行业的开发效率正在迎来质的提升。 一个明显的趋势是,越来越多的企业开始认识到数字化生产方式给企业....
的头像 Les 发表于 11-24 09:48 225次 阅读
软件行业的开发效率正在迎来质的提升

美国出台禁止运营商销售带锁手机的(网络锁定)的规定

继英国后,美国也有意出台禁止运营商销售带锁手机的(网络锁定)的规定。
的头像 lhl545545 发表于 11-24 09:15 239次 阅读
美国出台禁止运营商销售带锁手机的(网络锁定)的规定

Greg Bruno加入了软件定义存储提供商SoftIron Ltd.

 Greg Bruno加入了软件定义存储提供商SoftIron Ltd.,担任其首席架构师。Brun....
的头像 倩倩 发表于 11-23 17:13 247次 阅读
Greg Bruno加入了软件定义存储提供商SoftIron Ltd.

金山软件财报:营利双收业绩亮眼背后隐藏着什么

在市场竞争激烈的情况下,游戏业务收益强劲增长、办公软件业务付费用户增加,金山软件递交了一份营收、净利....
的头像 Les 发表于 11-23 14:39 262次 阅读
金山软件财报:营利双收业绩亮眼背后隐藏着什么

信息技术的发展与普及,将为软件提供更大的发展空间

11月21日IT168消息,由东软集团(SH.600718)主办的东软解决方案论坛2020在南宁开幕....
的头像 Les 发表于 11-23 12:00 386次 阅读
信息技术的发展与普及,将为软件提供更大的发展空间

海外用户抱怨苹果M1 MacBook的软件兼容问题

据外媒报道,很少有人知道,当苹果展示第一款iPhone时,这款手机的软件在很大程度上是通过烟雾和镜子....
的头像 如意 发表于 11-23 11:31 476次 阅读
海外用户抱怨苹果M1 MacBook的软件兼容问题

苹果更新Windows迁移助理软件 适配macOS Big Sur、方便换电脑

为了方便Windows用户换用Mac,尤其是苹果新推的M1处理器款式,苹果更新了Windows迁移助....
的头像 工程师邓生 发表于 11-23 10:23 153次 阅读
苹果更新Windows迁移助理软件 适配macOS Big Sur、方便换电脑

统信软件旗下UOS系统首次公布桌面常用软件的适配进度

近些年,国产硬件芯片不断奋进,国产操作系统也大踏步前进,而评价一款操作系统是否好用,一个非常重要的指....
的头像 lhl545545 发表于 11-23 10:15 384次 阅读
统信软件旗下UOS系统首次公布桌面常用软件的适配进度

麒麟软件公布首批适配的信创应用软件列表 充分满足用户日常需要

近日,麒麟软件公布了首批适配的信创应用软件列表,共计189款,都能在麒麟操作系统上安全稳定运行,涵盖....
的头像 工程师邓生 发表于 11-23 09:46 366次 阅读
麒麟软件公布首批适配的信创应用软件列表 充分满足用户日常需要

 统信UOS首次公布软件适配

近些年,国产硬件芯片不断奋进,国产操作系统也大踏步前进,而评价一款操作系统是否好用,一个非常重要的指....
的头像 工程师邓生 发表于 11-23 09:35 244次 阅读
 统信UOS首次公布软件适配

用户吐槽M1 Mac软件问题:崩溃、闪退、不兼容乃家常便饭

苹果产品主打软硬件结合,在为Mac换装M1处理器后,PC产品上这块拼图也基本完整了。 尽管M1 Ma....
的头像 工程师邓生 发表于 11-23 09:27 296次 阅读
用户吐槽M1 Mac软件问题:崩溃、闪退、不兼容乃家常便饭

苹果第一代智能音箱HomePod终于实现越狱

发售快两年后,苹果第一代智能音箱HomePod终于实现越狱。
的头像 lhl545545 发表于 11-23 09:06 381次 阅读
苹果第一代智能音箱HomePod终于实现越狱

吉利星瑞即将推出FOTA GOS 01 1.0版本

OAT升级相信大家都不陌生,但在汽车领域又分为两种:一种是SOTA,S通常指软件升级,比如车载导航、....
的头像 lhl545545 发表于 11-22 09:59 487次 阅读
吉利星瑞即将推出FOTA GOS 01 1.0版本

又见100亿收购案,施耐德电气收购RIB Software好处是什么

对于一家上百年的老牌企业来说,一直存有活力是一件非常难的事情,只有不断吸收新鲜血液,纳入新的活力才可....
的头像 Les 发表于 11-22 09:15 343次 阅读
又见100亿收购案,施耐德电气收购RIB Software好处是什么

比利时软件+3D打印服务提供商Materialise 推出Bluesint PA12

南极熊导读:用过SLS 3D打印设备的读者都比较了解,高分子粉末材料在打印过程中可以循环使用,但是为....
的头像 工程师邓生 发表于 11-20 14:48 228次 阅读
比利时软件+3D打印服务提供商Materialise 推出Bluesint PA12

统信UOS公布应用适配进展,Chrome等已兼容

今日,统信软件公布了UOS桌面应用的适配进展。截止11月19日,搜狗输入法、360安全卫士、金山WP....
的头像 如意 发表于 11-20 10:25 228次 阅读
统信UOS公布应用适配进展,Chrome等已兼容

数字化给企业、软件带来什么?没有数字化软件支持的高精尖装备将会是什么?

国内制造业的现状可以用四个字来形容:缺芯、少魂。 缺芯:缺芯片之芯; 少魂,少工业软件之魂。 几十年....
的头像 工程师邓生 发表于 11-20 09:36 368次 阅读
数字化给企业、软件带来什么?没有数字化软件支持的高精尖装备将会是什么?

M1版MacBook不能兼容所有的X86软件

M1版新MacBook的兼容性到底怎么样?苹果使用M1芯片的MacBook已经逐渐开始发货了,我们知....
的头像 如意 发表于 11-20 09:33 631次 阅读
M1版MacBook不能兼容所有的X86软件

统信软件公布UOS桌面应用的适配进展

今日,统信软件公布了UOS桌面应用的适配进展。
的头像 lhl545545 发表于 11-20 09:26 271次 阅读
统信软件公布UOS桌面应用的适配进展

浅谈M1处理器想跑Windows软件的方法

苹果出品的Boot Camp不支持Apple Silicon、知名模拟软件Parallels也尚在适....
的头像 lhl545545 发表于 11-20 09:15 1056次 阅读
浅谈M1处理器想跑Windows软件的方法

金山软件急需一些具有确定性的游戏故事来博得市场更多的信任

北京时间11月17日,金山软件对外公布了今年三季度财报。财报公布后,不少机构对金山软件上调评级并提高....
的头像 Les 发表于 11-19 16:49 391次 阅读
金山软件急需一些具有确定性的游戏故事来博得市场更多的信任

美国正式批准波音737Max飞机复飞:30天后重返天空

据报道,美国联邦航空局刚刚批准了737Max飞机恢复飞行的请求,在此之后,航空公司必须完成软件更新和....
的头像 lhl545545 发表于 11-19 10:19 445次 阅读
美国正式批准波音737Max飞机复飞:30天后重返天空

Wipro将使用专有的托管网络服务解决方案重构奥林巴斯的WAN

全球领先的信息技术、咨询和业务流程服务公司Wipro Limited (NYSE: WIT, BSE....
的头像 lhl545545 发表于 11-18 15:27 307次 阅读
Wipro将使用专有的托管网络服务解决方案重构奥林巴斯的WAN

OPPO正式公布“3+N+X”的科技跃迁战略

今日,以“跃迁·致善”为主题的OPPO未来科技大会2020(OPPO INNO DAY 2020)正....
的头像 lhl545545 发表于 11-18 14:45 3725次 阅读
OPPO正式公布“3+N+X”的科技跃迁战略

量子计算如何突破摩尔定律?

近日,中科院量子信息重点实验室副主任、本源量子计算公司创始人兼首席科学家郭国平做客36氪主办的“超级....
的头像 lhl545545 发表于 11-18 14:25 417次 阅读
量子计算如何突破摩尔定律?

Hi3861V100软件开发资料(32份)

发表于 09-28 17:17 4397次 阅读
Hi3861V100软件开发资料(32份)

电子工程师常用的十七种软件盘点

电子工程的应用形式涵盖了电动设备以及运用了控制技术、测量技术、调整技术、计算机技术,直至信息技术的各种电动开关。电子工程...
发表于 09-03 17:52 202次 阅读
电子工程师常用的十七种软件盘点

orcd检查设置教程分享

  大家可能都知道,我们做完原理图认真检查后,我们让软件自己做一个DRC检查。设置根据如下步骤操作:下面和大家一起学习这...
发表于 09-03 17:20 101次 阅读
orcd检查设置教程分享

lattice,altera,xilinx三合一的图像转rom,mif软件

以前自己开发的一款软件。现在无偿免费提供给大家使用。 ...
发表于 08-29 14:12 108次 阅读
lattice,altera,xilinx三合一的图像转rom,mif软件

如何在sunflower软件中获得室温等数值没?

我现在在组装自动浇花套件,在sunflower软件中获得室温等数值没有,哪位大侠指导下 ...
发表于 08-13 03:56 101次 阅读
如何在sunflower软件中获得室温等数值没?

企业资产防丢失方案分享

      作为企业主,您肯定遇到过这样一个问题,公司购买的一些固定资产,在公司内部员工流通一段时间后不翼...
发表于 08-11 08:00 101次 阅读
企业资产防丢失方案分享

红孩儿科技:软件开发流程步骤介绍

一般软件开发公司在开发软件的时候需要通过以下流程步骤: 一、需求分析 产品经理要进行需求采集、需求分析和需求确认这...
发表于 08-10 09:59 101次 阅读
红孩儿科技:软件开发流程步骤介绍

代还软件有什么好处?

通道费率低至0.28,客户直签三方公司,无后期费用你可以询问小编关于软件开发的事情。小编目前在一...
发表于 06-19 14:55 221次 阅读
代还软件有什么好处?

这个软件手机版smartconfig.apk在哪里下载啊

这个软件手机版smartconfig.apk在哪里下载啊
发表于 06-12 11:05 382次 阅读
这个软件手机版smartconfig.apk在哪里下载啊

这个图片界面的图标边缘是如何过滤的?

如题,如下如,怎么我弄得图标都有白框
发表于 06-04 07:16 189次 阅读
这个图片界面的图标边缘是如何过滤的?