0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

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

姚小熊27 来源:盖世汽车 作者:盖世汽车 2020-10-29 16:29 次阅读

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

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

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

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

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

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 软件
    +关注

    关注

    67

    文章

    4321

    浏览量

    85411
  • 自动化系统
    +关注

    关注

    3

    文章

    216

    浏览量

    29422
收藏 人收藏

    评论

    相关推荐

    通用汽车、麦格纳和Wipro联合开发了买卖汽车软件的B2B交易平台SDVerse

    通用汽车 (GM)、麦格纳和技术咨询公司Wipro联合开发了买卖汽车软件的B2B交易平台SDVerse,旨在为嵌入式
    的头像 发表于 03-06 18:23 602次阅读

    博士生团队提升Apple Silicon芯片神经网络性能

     据悉,该项目主要由博士生特里斯坦·比洛特(Tristan Bilot)、弗朗切斯科·法里纳(Francesco Farina)以及MLX团队联手推动。MLX是专门面向Apple Silicon发行的图形神经网络库。
    的头像 发表于 02-21 14:18 116次阅读

    运放的三种应用

    运放在电路中主要存在三种应用,放大器,滤波器,振荡器。再这三种应用电路中,运放的两大特点虚短虚断仍然成立吗? 在阻尼振荡器中,工作过程是否按照我描述的这样,在反相输入端加一个近似锯齿波的电流源,正半
    发表于 01-26 16:18

    「元智能」获千万融资 原小天才团队牵手云从科技进军银发赛道

    创投跟投。据悉本次资金将用于产品生产、技术研发与迭代、市场营销推广以及新产品研发。元智能是一家专注于65岁以上老人居家养老场景延伸产品
    发表于 01-05 11:48

    华秋DFM荣获第智能制造创新大赛全国总决赛-新技术应用赛道等奖

    3D仿真、3D输出,机电设计协同等。我们也加大研发投入和人员培训,提升产品和服务的质量。更高的标准、严的要求、更优的质量服务于每一位客户。同时华秋DFM也将继续发挥自身优势和影响力,积极赋能电子制造行业,推动
    发表于 12-15 10:36

    华秋DFM荣获第智能制造创新大赛-新技术应用赛道等奖

    3D仿真、3D输出,机电设计协同等。我们也加大研发投入和人员培训,提升产品和服务的质量。更高的标准、严的要求、更优的质量服务于每一位客户。同时华秋DFM也将继续发挥自身优势和影响力,积极赋能电子制造行业,推动
    发表于 12-15 10:33

    NVIDIA 向博士生颁发 6 万美元研究奖学金

    多年来, NVIDIA 研究生奖学金计划 一直在为 NVIDIA 技术相关的杰出工作提供支持。日前,该计划宣布向参与研究的 10 名博士生颁发每人高达 6 万美元的奖学金,他们的研究范围涵盖了所有计算创新领域。 这 10 位获奖者从诸多优秀申请人中脱颖而出,他们将在该奖学
    的头像 发表于 12-11 21:15 402次阅读

    如何检查网线的串绕故障

    和步骤,以确保您可以快速解决问题。 一、了解网线的基本结构和功能 在开始检查网线的串绕故障之前,我们先来了解一下网线的基本结构和功能。网线是用于数据传输的电缆,通常由四对线缆组成。每对线缆中都有一个传输数据的导线
    的头像 发表于 11-28 14:28 335次阅读

    华秋亮相2023世界汽车制造技术智能装备博览会,推动汽车产业快速发展

    洞悉全球汽车产业格局,前瞻业界未来趋势。2023年7月27日-30日,时隔年,重聚武汉国际博览中心,2023世界汽车制造技术智能装备博览
    发表于 08-04 13:47

    快速检修PCBA加工后出现故障的方法

    加工厂技术能力的重要一环。接下来为大家介绍下快速检修PCBA加工后出现故障的方法。 快速检修PCBA加工后出现故障的方法 一、直观
    的头像 发表于 06-27 09:09 368次阅读

    基于汽车故障的诊断技术

    为了满足故障诊断的巨大需求,许多汽车公司、专业故障诊断研发公司及高校研究并开发了多种基于汽车
    发表于 05-19 14:54 493次阅读
    基于<b class='flag-5'>汽车</b><b class='flag-5'>故障</b>的诊断<b class='flag-5'>技术</b>

    快速解决电路设计中故障的诀窍

    技术要求,或者连线发生短路和开路;   (7)电源电压不合要求,性能差等等。   检查故障的一般方法有:直接观察法、静态检查法、信号寻
    发表于 04-24 14:49

    分享几种快速解决电路设计中故障的方法

    技术要求,或者连线发生短路和开路;  (7)电源电压不合要求,性能差等等。  检查故障的一般方法有:直接观察法、静态检查法、信号寻迹法
    发表于 04-11 11:28

    智能配电系统技术要求有哪些?

    进行故障定位和确诊,并在故障时自动切换到备用设备保证运行稳定。  4. 灵活性要求:智能配电系统应该具有弹性、可拓展性和适应性,能够适应不同规模的需要,同时尽量减少设备更换和维护的影
    发表于 04-10 10:00

    如何使用智能电表和罗氏线圈进行智能变压器状态监测?

    和电动汽车充电站的可靠集成。这意味着智能的保护设备和智能的变电站能够更快地管理
    发表于 04-07 09:43