国家教育部博士点基金(20070287052)

作品数：5被引量：16H指数：3
导出分析报告
相关作者：胡军郭丽娟张剑黄志球曹东更多>>
相关机构：南京航空航天大学南京大学徐州师范大学更多>>
相关期刊：《南京理工大学学报》《小型微型计算机系统》《计算机研究与发展》《计算机科学》更多>>
相关主题：接口自动机嵌入式软件设计嵌入式软件实时系统时间PETRI网更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多核处理器架构下面向监控的软件运行时验证方法研究被引量：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交互概观图模型 接口自动机 即时验证算法 形式化验证工具 
构件化嵌入式软件设计模型非功能性质验证的工具实现被引量：4
《计算机科学》2010年第8期156-163,共8页徐丙凤 胡军 曹东 黄志球 郭丽娟 张剑 
航空基金(2007ZD52043);教育部博士点基金(20070287052)项目资助
嵌入式软件的非功能性质是系统高可靠性的重要构成部分。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期,缺乏有效工具对系统设计的非功能性质进行分析与验证。对基于接口自动机模型的构件化嵌入式软件设计验证原型工具T-CBESD(...
关键词：嵌入式软件设计 非功能性质验证 构件化设计 软件验证工具 接口自动机 
基于Time Petri Nets的实时系统资源冲突检测被引量：6
《计算机研究与发展》2009年第9期1578-1585,共8页周航 黄志球 胡军 祝义 
航空科学基金项目(2007ZD52043);高等学校博士学科点专项科研基金项目(20070287052)~~
Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束...
关键词：时间PETRI网 时间约束 资源 冲突 检测 
构件化嵌入式软件设计的能耗性质分析与验证被引量：4
《南京理工大学学报》2009年第1期26-31,共6页曹东 胡军 徐丙凤 
航空基金(2007ZD52043);教育部博士点基金(20070287052)
从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究,包括:扩展了实时接口自动机在能耗语义方面的描述能力,通过引入状态能量消耗率,建立了能耗接口自动机形式化模型以及自动机网络,用以建模嵌入式软件设计阶段...
关键词：嵌入式软件 构件式设计 能耗分析 软件验证 接口自动机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部