基于模型转换的系统能耗分析方法研究

来源 :杭州电子科技大学 | 被引量 : 0次 | 上传用户:zhangyongqiangis250
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着软件技术的发展,软件工程领域中对软件大小、复杂度、资源利用等特性的认识越来越深入,针对软件系统能耗问题的研究越来越受到重视。本文以嵌入式软件系统能耗为研究对象,详细地回顾了有关模型转换的系统能耗分析方法。顺序图是软件工程建模中常用的建模工具,它能描述对象间消息传递的时间顺序,可以用来表示对象间动态的交互关系。作为半形式化建模语言,顺序图难以直接对能耗进行分析,而自动机模型能够清楚地表达迁移的路径,可以直接对其进行能耗分析。因此本文采用顺序图作为源模型来对系统能耗进行分析,先将顺序图模型转换为能耗自动机,然后在能耗自动机的基础上来进行能耗计算,进而分析系统的能耗。本文首先给出了扩展的顺序图和能耗自动机的形式化描述,以及顺序图到能耗自动机模型的转换规则和方法。然后利用该转换获得正确表示顺序图语义的能耗自动机模型,再对能耗自动机进行系统能耗分析。最后以无人机飞控系统飞行姿态调整模块为实例进行系统能耗分析,实验证明,所提方法可以为系统选择节能模式。
其他文献
软件体系结构作为20世纪90年代国际软件工程领域出现的一个新兴的重要研究方向,日益受到国内外学术界和工业界的关注。软件体系结构描述是软件体系结构中一个非常重要的研究内
近年来,随着CT设备图像质量及成像速度的大幅提高,CT在医学诊断、治疗中的应用越来越广泛。与其他影像检查手段,如X线相比,由于CT是断层成像,且有较高的分辨率,所以具有很大
网格计算旨在发现、分配并协商使用Internet可以访问范围内的各种服务能力,使其以统一的方式进行交互和运作,以实现资源的高度共享和协同工作。随着OGSA(Open GridServices Arc
随着社保审计范围不断扩大,需要处理的业务数据呈现多源化、异构化、海量化等特点,因此如何实现异构分布式数据源信息共享成为当前亟待解决的问题。本文研究的数据集成技术对
网络信息安全在计算机应用越来越普及的今天变得十分重要,它关系到人们日常生活的方方面面。密码技术作为网络信息安全的一个重要分支,正在得到越来越多的研究和关注,这些都促使
本课题提供了一种IMS领域内CENTREX业务的计费方案。通过研究3GPP最新的关于计费的规范和新的计费架构,制定方案,并且进行AVP设计,话单设计,流程设计,测试等环节,设计并实现
随着建筑行业的飞速发展,计算机在建筑业的应用越来越受到广泛重视。当前在建筑工程结构设计中,一般都采用手工或AutoCAD软件进行各部分的平面图绘制。但是二维平面图不能反映
在PLC的编程规范——IEC61131-3中,介绍了用于PLC编程的五种相关语言,分别是:梯形图(LD)、功能块图(FBD)、顺序流程图(SFC)、结构化文本语言(ST)和指令表语言(IL)。其中ST语
数据挖掘作为一个新兴的多学科交叉应用领域,正在各行各业的决策支持活动中扮演着越来越重要的角色。在这个信息时代,面对海量数据的出现,如何有效地利用大量的原始数据分析现状
随着人类社会的发展,社会的不安全因素也随之增多。国际上的每一次恐怖主义袭击事件都为各国的安防部门敲响了警钟。因此,许多国家越来越重视采用视频监控技术对重要部门、敏