一种面向嵌入式软件体系结构的形式化建模方法

来源 :电子学报 | 被引量 : 0次 | 上传用户：f1f1

【摘要】

：

为了解决MARTE（Modeling and Analysis of Real Time and Embedded systems）在建立嵌入式软件模型时不够精确的问题,结合Object-Z和PTA（Probabilistic Timed Automation）的优点,

【作者】

：

许海洋庄毅顾晶晶

【机构】

：

南京航空航天大学计算机科学与技术学院,青岛农业大学理学与信息科学学院

【出处】

：

电子学报

【发表日期】

：

2014年8期

【关键词】

：

集成模型模型转换概率时间自动机语义一致性

【基金项目】

：

国家自然科学基金青年科学基金(No.61202351);国家博士后基金(No.2011M500124);江苏省普通高校研究生科研创新计划(No.CXLX12-0161);南京航空航天大学基本科研业务费(No.NS2012133)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为了解决MARTE（Modeling and Analysis of Real Time and Embedded systems）在建立嵌入式软件模型时不够精确的问题,结合Object-Z和PTA（Probabilistic Timed Automation）的优点,本文提出了一种集成的形式化建模方法——PTA-OZ.该方法不仅能够对嵌入式软件模型的静态语义和动态语义进行精确描述,而且通过模型转换规则,能够将MARTE模型转换为PTA-OZ模型.并对模型转换的语义一致性进行了验证,证明本文方法在转换过程

其他文献

基于行为金融学的股指期货投资者行为研究

传统的有效市场假说以经济人的理性预期作为微观基础,认为市场是被理性投资者所“控制”的,市场价格能够反映市场的有效性。但是,在全球金融市场迅猛发展,金融产品不断推陈出

学位

沪深300指数期货行为金融处置效应过度自信过度反应实证分析投资者行为

红柱石加入量对矾土-莫来石浇注料性能影响的研究

探讨红柱石加入量对浇注料性能的影响,分析水泥熟料(nCaO/nSiO2=3.3)对浇注料的侵蚀性。结果表明,试样于110℃×24 h烘后的显气孔率低于1 100℃×3 h和1 500℃×3 h处理后的

期刊

浇注料莫来石红柱石水泥熟料

农村高中英语作业布置的有效性研究

随着高中英语新课程的实施以及素质教育的深入，高中英语作业布置的重要性愈发显著，大量低效甚至无效作业充斥在高中英语课程当中，严重影响着学生的英语学习效率。尤其是在教育资

学位

农村高中英语作业布置有效性

我国中小企业内部控制有效性研究

中小企业历来具有劳动力和市场双重优势,是亚洲各经济体多年来保持快速增长的驱动力之一,中小企业发展越来越受到广泛关注。内部控制是建立现代企业制度的必然要求,中小企业

学位

中小企业内部控制有效性控制环境

教育培训企业内部控制体系构建研究

“再穷不能穷教育,再苦不能苦孩子”——这是中国人的共识,通过教育改变下一代的命运是绝大多数父母的希望所在,教育培训企业正是在这种环境下应运而生,如雨后春笋般蓬勃发展

学位

教育培训企业内部控制体系构建

提高鞋用聚氨酯粘合剂性能的探讨

前言制鞋胶粘工艺用的结合剂,现已成为制鞋工业的主要化工材料之一。聚氨酯粘合剂是六十年代发展起来的一种新型粘合剂。其胶膜柔韧而有弹性。能用于两种性能相差很远的材料

期刊

异氰酸反应速度化合物聚氨酯粘合剂分子链结构

钨铜基电镀铝层阳极氧化后的组织和性能研究

采用直流草酸法对镀铝层进行阳极氧化，研究了氧化电压和氧化时间对氧化层表面形貌、组织结构及表面绝缘性的影响。采用金相显微镜对镀铝层和氧化层表面形貌进行观察，扫描电镜和

期刊

阳极氧化氧化膜表面形貌硬度绝缘性

地下金属矿智能调度关键技术研究

摘要：随着信息技术的不断创新和广泛应用,越来越多的领域都选择将行业信息化升级应用作为其前进脚步的重要推动力。信息化创新应用逐渐为大多数行业所接受并集中成为其提高产

学位

地下金属矿调度模型库生产知识推理可视化动态仿真辅助决策支持调度执行控制

企业财务柔性研究

在现代社会中,随着科技与经济在全世界范围内的迅猛发展、消费者的偏好多样化及世界金融不断地创新。现代企业,特别是处在转型经济环境下的中国企业,它们的经营环境面临着巨

学位

财务柔性不确定性财务柔性本质财务柔性能力特征

天津市某医学院校本科生全科医生职业意愿及影响因素研究

目的了解天津市某医科大学临床医学本科生全科医生职业意愿及影响因素。方法采用多阶段抽样调查方法,问卷调查获取相关资料,Logistic进行回归统计分析。结果多因素Logisti

期刊

医学本科生全科医生职业意愿Logistic回归分析

一种面向嵌入式软件体系结构的形式化建模方法

其他学术论文