您的位置: 专家智库 > >

国家自然科学基金(60970035)

作品数:3 被引量:7H指数:2
相关作者:董威张可迪舒绍娴隋平李冰鹏更多>>
相关机构:国防科学技术大学中国人民解放军南京政治学院更多>>
发文基金:国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 2篇语义
  • 2篇监控器
  • 1篇嵌入式
  • 1篇嵌入式操作
  • 1篇嵌入式操作系...
  • 1篇网络
  • 1篇网络连接
  • 1篇系统运行
  • 1篇可信计算
  • 1篇可信计算平台
  • 1篇TRUSTE...
  • 1篇IN_CHI...
  • 1篇操作系
  • 1篇操作系统

机构

  • 2篇国防科学技术...
  • 1篇中国人民解放...

作者

  • 2篇董威
  • 1篇舒绍娴
  • 1篇赵常智
  • 1篇李冰鹏
  • 1篇隋平
  • 1篇张可迪

传媒

  • 2篇计算机工程与...
  • 1篇Scienc...

年份

  • 1篇2014
  • 1篇2012
  • 1篇2011
3 条 记 录,以下是 1-3
排序方式:
Recent advances on trusted computing in China被引量:4
2012年
This article highlights some recent research advances on trusted computing in China,focusing mainly on the methodologies and technologies related to trusted computing module,trusted computing platform,trusted network connection,trusted storage,and trustworthy software.
DONG WeiCHEN LiQian
关键词:可信计算平台网络连接
一种嵌入式操作系统运行时验证方法被引量:3
2014年
作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注。然而,当前的运行时验证技术主要用于应用软件,很少专门针对操作系统进行研究。对面向嵌入式操作系统的运行时验证框架和关键技术进行了研究,并结合一个开源嵌入式操作系统FreeRTOS进行了设计与实现。首先提出了一种面向嵌入式操作系统的运行时验证和反馈调整框架,然后针对框架中的关键技术部分,完成了规约语言的设计、三值语义监控器的生成、FreeRTOS嵌入式操作系统相关接口的实现等主要工作。
张可迪舒绍娴董威
关键词:嵌入式操作系统
基于三值语义的软件运行时验证方法
2011年
运行时验证技术是对传统的程序正确性保证技术如模型检验和测试的有效补充。模型检验和测试都试图验证系统的所有可能执行路径的正确性,而运行时验证关注的是系统的当前执行路径。本文提出一种基于三值语义的软件运行时验证方法,一方面该方法提供了从代码插装、系统底层信息提取到监控器生成、验证系统运行轨迹是否满足性质规约的完整的解决方案;另一方面基于三值语义的监控器有发现一条无穷运行轨迹的最小好(坏)前缀的能力,从而使得监控器能尽可能早的发现性质违背。同时,我们开发了基于三值语义的软件运行时验证原型工具并针对案例进行了分析。
隋平赵常智董威李冰鹏
关键词:监控器
共1页<1>
聚类工具0