历史上的今天
今天是：2024年10月29日（星期二）
2020年10月29日 | 荷兰科学家研发软件故障检查技术 可快速清除汽车软件故障
2020-10-29 来源： 盖世汽车
现在，计算机和软件比以往任何时候都更加重要。在汽车、飞机和医疗设备等系统中，执行没有重大缺陷或“故障”（bug）的软件非常重要。据外媒报道，荷兰埃因霍温理工大学（Eindhoven University of Technology）在读博士生Thomas Neele基于模型检查法研发了三种技术，以更智能、更快速地检查软件故障。
Thomas Neele（图片来源：埃因霍温理工大学）
模型检查是最严格的软件检查技术之一，可以检查一个软件系统所能完成的所有事情，其能够处于的“状态”以及检查是否其能够按要求工作。软件常常由许多可以并行工作的部分组成，这可能导致需要检查的部分的数量激增，导致检查模型成本高昂，甚至可能最终导致无法进行管理。Neele探索了新方法，通过减少需要检查的部分的数量，以解决该问题。
Neele研发的三项技术有一个共同点：会考虑到软件系统状态的要求，这条额外的信息使其更容易了解到哪部分不需要检查。为了能够同时观察系统的行为和要求，Neele首先新研发了一种结构化的方法，以展示行为与要求相结合的信息。
第一项技术通过将相似的状态组在一起减少了所需要检查的状态的数量，甚至可以处理无穷数量的状态。第二项技术可以检查可以并行工作的软件部分是否有时在独立执行任务。在此种情况下，没有必要检查所有可能的状态。最后一种技术可以检查某些元素是否有相关性，如果不相关则将其删除。
未来，上述想法将有助于减少研发成本，缩短安全关键软件的上市时间，让高科技医疗服务更便宜，从而让更多人可以享受此种服务。此外，Neele的技术还可以帮助从飞机、汽车等系统中清除危险的故障。目前，应用Neele的想法和模型检查法需要大量的专业知识。为了让其技术得以大规模采用，有必要研发一种全自动化系统，以决定哪种方法最适用于某一特定应用。
史海拾趣
|
我看了一些关于CORDIC算法的资料，我现在想用CORDIC算法来实现求反正切，我想问一下求反正切时主要考虑一些什么问题？那些要考虑，那些不需要考虑？例如，校正因子K需不需要考虑，旋转方向采用什么方法判断比较有利。希望熟悉的大侠给点意见，非常 ...… 查看全部问答＞ |
|
最easy的一个问题，VxWorks下怎么控制评估板上的LED ？ VxWorks + ARM7 4510 的评估板， 在ADS下裸机编程调试通过了的一个LED闪灯程序。 把它加入到一个在VxWorks下已经可以运行的程序里面去后。(当然相应的头文件都加上了的) 不能闪灯。 观察到运行到LED闪灯程序处时，闪灯程序直接被跳过。 这是什 ...… 查看全部问答＞ |
|
对很多人来说，有机游离基电池可能是个很陌生的名字。有机游离基电池由NEC所开发，和传统的锂电池比起来，有机游离基电池能做到更轻，更薄，更柔软，并且有高输出以及快速充电等特性。而现在，游离基电池的研究到达了一个新的高度：NEC研制出了厚度 ...… 查看全部问答＞ |
|
您好 现在要把2553写成UART to SPI(slave)的一个转换程式，但却碰到了一个问题。 SPI Master端也是用 2553完成的。 状况是Slave端的2553一直没办法读到Master发送过来的SPI data，读出的值都为0x00。 经过一些测试后，发现在slave端读取的SPI m ...… 查看全部问答＞ |
|
从网上找了一个51开发板PCB 感觉并不怎么样 求高手指点一下它的优点 画板子也有半年了 经常画低频的板子 基本不需要ic元件 想要进一步的学习 所以就想从51开发板画起 从网上找了一个 据说可以直接打板子 & ...… 查看全部问答＞ |