江苏省高校自然科学研究项目(10KJB520019)
- 作品数：3 被引量：13H指数：2
- 相关作者：祝义周航张广泉肖芳雄刘林源更多>>
- 相关机构：南京航空航天大学江苏师范大学广西财经学院更多>>
- 发文基金：江苏省高校自然科学研究项目国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种嵌入式实时系统软件能耗建模与分析的方法被引量：9
- 2014年
- 随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法.通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程,将嵌入式实时系统指令的功耗映射成价格时间通信顺序进程的价格,利用价格时间通信顺序进程对嵌入式实时系统软件能耗建模并进行量化分析,提出的最优路径算法可以对建模结果进行指令功耗可满足性检查,并计算当前最低能耗可达路径.该方法可以从很大程度上提高嵌入式实时系统软件能耗计算和分析的准确性,计算结果有助于嵌入式实时系统软件能耗的量化分析和优化设计.
- 祝义肖芳雄周航张广泉
- 关键词：嵌入式实时系统
- 基于进程代数规约生成软件体系结构模型的方法被引量：5
- 2011年
- 需求规约到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二义性,为了解决这一问题,需要赋予UML-RT模型形式化语义.进程代数是一种用来解决并发系统通信问题的形式化方法,具有精确的语法和语义,并且便于机器自动检验与验证.TCSP是进程代数CSP的实时扩展,适合于规约实时系统带有时间约束的行为.提出一种基于进程代数规约生成SA模型的方法.首先建立了自然语言规约到SA模型的转换框架;然后使用时间通信顺序进程(TCSP)描述实时系统需求规约,通过建立TCSP到UML-RT的转换机制,从而实现进程代数规约到SA模型的转换;最后通过一个实例来验证该方法在实时软件建模过程中的有效性.实验分析表明通过该方法建立的UML-RT模型能够从整体上提高实时系统SA设计的可信性.
- 祝义黄志球周航刘林源
- 关键词：软件体系结构UML-RT实时系统
- 一种软件需求模型到设计模型的转换方法
- 2013年
- 针对复杂软件开发过程中需求模型到设计模型转换的问题,讨论了在软件设计过程中如何将数据流图转换为结构图。首先,根据软件设计方法提出了从需求模型到设计模型的项目背景。其次,对本项目的需求进行了分析,着重介绍了本项目绘图输入模块的设计方法。最后,描述并给出了实验结果。实验结果表明该文提出的数据流图到结构图的转换方法的正确性和有效性。
- 笪浩军祝义刘东飞
- 关键词：数据流图
