• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Living Digital >June Andronick, 32
【24h】

June Andronick, 32

机译：June Andronick，32岁

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

PROBLEM: To test the reliability of software that controls embedded chips in medical devices and vehicles, computer scientists have relied on trial-and-error methods that can miss bugs. SOLUTION: By using mathematical analysis to prove that a piece of software is reliable, June Andronick can take into account all possible inputs to the software, and all the possible ways the software could process those inputs. Working at Australia's national IT research center (NICTA), Andronick and colleagues in Gerwin Klein's lab were able to use this analytical technique to write a small operating system that will always behave exactly as intended, never crashing (barring incorrect assumptions about the hardware).
机译：问题：为了测试控制医疗设备和车辆中嵌入式芯片的软件的可靠性，计算机科学家依靠了可能会漏掉错误的反复试验方法。解决方案：通过使用数学分析来证明某个软件是可靠的，June Andronick可以考虑该软件的所有可能输入，以及该软件处理这些输入的所有可能方式。在澳大利亚国家IT研究中心（NICTA）工作的Andronick及其同事在Gerwin Klein的实验室中，能够使用这种分析技术来编写一个小型操作系统，该操作系统始终能够完全按预期运行，不会崩溃（除非对硬件的错误假设不成立）。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号