郭丽娟

作品数：4被引量：9H指数：2
导出分析报告
供职机构：南京航空航天大学计算机科学与技术学院更多>>
发文主题：接口自动机嵌入式软件设计构件化设计处理器架构BE更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《小型微型计算机系统》《计算机科学》更多>>
所获基金：国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多核处理器架构下面向监控的软件运行时验证方法研究被引量：3
《小型微型计算机系统》2012年第1期102-109,共8页张剑 胡军 郭丽娟 
教育部博士点基金项目(20070287052)资助;南京航空航天大学青年科技创新基金项目(NS2010095)资助
面向监控的软件运行时验证(Monitor-oriented Runtime Verification:MRV)方法可以有效的提高系统可靠性,但是在传统基于单核处理器架构的嵌入式系统中采用MRV方法会给目标系统性能造成较大的影响.本文对基于多核处理器架构的MRV方法进...
关键词：面向监控的运行时验证 嵌入式软件 多核程序设计 软件分析与验证 
基于即时验证的软件验证工具改进设计与实现被引量：1
《计算机科学》2011年第10期145-151,共7页郭丽娟 胡军 张剑 
教育部博士点基金(20070287052);南京航空航天大学青年科技创新基金(NS2010095)资助
基于设计模型的分析技术是现代复杂嵌入式软件系统高可靠性的重要保障手段。基于即时验证(On-the-flyverification)方法对一个构件化嵌入式软件设计模型原型验证工具T-CBESD进行了改进设计与实现。集成Topcased和JFLAP扩展了T-CBESD图...
关键词：嵌入式软件设计 UML交互概观图模型 接口自动机 即时验证算法 形式化验证工具 
T-CBESD:一个构件化嵌入式软件设计模型验证工具被引量：3
《小型微型计算机系统》2010年第11期2129-2137,共9页徐丙凤 胡军 曹东 黄志球 郭丽娟 张剑 
航空基金项目(2007ZD52043)资助;教育士点基金项目(20070287052)资助
现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-...
关键词：嵌入式软件设计 构件化设计 软件验证 接口自动机 模型检验工具 
构件化嵌入式软件设计模型非功能性质验证的工具实现被引量：4
《计算机科学》2010年第8期156-163,共8页徐丙凤 胡军 曹东 黄志球 郭丽娟 张剑 
航空基金(2007ZD52043);教育部博士点基金(20070287052)项目资助
嵌入式软件的非功能性质是系统高可靠性的重要构成部分。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期,缺乏有效工具对系统设计的非功能性质进行分析与验证。对基于接口自动机模型的构件化嵌入式软件设计验证原型工具T-CBESD(...
关键词：嵌入式软件设计 非功能性质验证 构件化设计 软件验证工具 接口自动机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部