• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Quality Control, Transactions >Verification of Operating Systems for Internet of Things in Smart Cities From the Assembly Perspective Using Isabelle/HOL
【24h】

Verification of Operating Systems for Internet of Things in Smart Cities From the Assembly Perspective Using Isabelle/HOL

机译：使用Isabelle / Hol从大会视角来验证智能城市中的内容互联网的操作系统

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

摘要

Formal verification can mathematically prove whether a software satisfies the requirements described in its design. In traditional software development, even if the software systems, especially the operating system for Internet of Things in smart cities, passes the verification test, it is difficult to explain its correctness. The implementation of formal verification after the design and development process proves that the software system meets the expected requirements. This will become a trend for future software development. In this paper, we model the system state of the X86 architecture on the assembly layer, and use a micro operating system prototype for Internet of Things in smart cities as an example to explain the proposed method that can verify operating systems for Internet of Things in smart cities on the assembly layer. The verification result shows that this method is feasible.
机译：正式验证可以数学上证明软件是否满足其设计中描述的要求。在传统的软件开发中，即使软件系统，尤其是智能城市内容互联网的操作系统，也通过验证测试，很难解释其正确性。在设计和开发过程后执行正式验证证明软件系统符合预期的要求。这将成为未来软件开发的趋势。在本文中，我们在组装层上模拟了X86架构的系统状态，并使用微型操作系统原型用于智能城市中的东西互联网，是解释可以验证物联网的操作系统的所提出的方法智能城市在装配层上。验证结果表明此方法是可行的。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号