切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于UML MARTE处理AADL的端到端流延迟
基于UML MARTE处理AADL的端到端流延迟
来源 :软件工程师 | 被引量 : 0次 | 上传用户:js_netbit
【摘 要】
:
AADL和MARTE都支持对实时嵌入式系统形式化建模的分析。利用MARTE的时间模型设备,研究MARTE是如何对实时嵌入式系统的建模和分析的,能够比较准确的通过事件或者数据端口的端
【作 者】
:
杨夏
【机 构】
:
湖南科技职业学院
【出 处】
:
软件工程师
【发表日期】
:
2015年11期
【关键词】
:
AADL
MARTE
流延迟
AADL MARTE flow delay
【基金项目】
:
湖南省教育厅科学研究项目(No.14C0063)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
AADL和MARTE都支持对实时嵌入式系统形式化建模的分析。利用MARTE的时间模型设备,研究MARTE是如何对实时嵌入式系统的建模和分析的,能够比较准确的通过事件或者数据端口的端到端流延迟分析,表达AADL周期性或非周期性任务。
其他文献
多彩贵州 凝聚同步小康正能量
"八山一水一分田"的贵州,山川秀美、文化斑斓、资源丰富,发展的潜力巨大;然而,贵州的小康进程落后于西部、落后于全国,既要"赶"又要"转",发展面临多重任务。
期刊
贵州
小康
多彩
能量
同步
凝聚
资源丰富
浅谈牛冻精改良技术推广应用与对策
牛冻精改良配种技术是一项技术性极强、经济效益好、推动特色养殖和加快肉牛产业发展的主要措施,通过对农村牛冻精改良配种推广取得的成效、实践经验、存在的困难和问题的探
期刊
冻精改良
存在问题
推广对策
新时期下地质调查预算定额体系研究与建设的思考
找矿突破战略实施以来,地勘投入不断加大,需要预算标准来匹配项目资金,预算定额标准的作用和地位也愈加突出。文章通过分析地质调查预算定额体系研究与建设新形势新要求,建议
期刊
找矿突破
地质调查
预算标准
预算定额
试析瓜达尔港开发对“一带一路”倡议的影响
巴基斯坦瓜达尔港作为“一带一路”倡议的首个战略港口,因其独特的战略位置具有重大战略价值。它具有“一带一路”新节点,能源安全新通道和贸易安全新保障的重要影响。它的开发
期刊
瓜达尔港
一带一路
巴基斯坦
中巴经济走廊
大美中峪 绿色中峪 悠闲慢城——山西省沁源县中峪乡
中峪乡位于山西沁源县城西南23公里处,沁柏线纵贯全境。全乡属土石山区,无霜期180天。全乡总面积98平方公里,其中耕地12万亩、林地面积152万亩。
期刊
山西省
沁源县
林地面积
土石山区
无霜期
公里
耕地
柏
《国家技术标准创新基地建设总体规划(2017-2020年)》发布
近日,国家标准委印发《国家技术标准创新基地建设总体规划(2017~2020年)》。《规划》提出,到2020年,构建起覆盖重点领域和区域、涵盖技术标准研制与应用全过程的创新服务平台,培育形
期刊
标准创新
技术标准
规划
科技成果产业化
国家标准委
服务平台
全过程
我国食品安全检测能力现状和局限性
21世纪,我国的食品检测方法众多,检测能力也得到快速提升,但目前的检测方法几乎都是针对已知的目标分析物进行检测和控制,对于未知的,或者行业潜规则等潜在问题的发现和解决
期刊
检测能力
食品安全
磁共振技术
食品检测
高分辨率
行数据
未知物
识别
合江农商银行:开通望川离行式ATM机
合江农商银行参宝分理处望川离行式ATM于6月7日早上9时正式开业并对外营业,望川乡民从此结束了11年没有银行的日子,当地农民高兴地送来了锦旗。
期刊
农商银行
ATM
行式
中认华南检测基地落成
1月19日,由中国质量认证中心与中国家用电器研究院联合投资设立的“中认华南检测基地”在中山市南头镇升辉工业区落成。目前,中认华南检测基地建设了家电实验室、电动机实验室
期刊
产品检测
华南地区
中国家用电器研究院
电磁兼容实验室
中国质量认证中心
强制性产品认证
信息技术设备
产业升级
共筑绿色中国梦--2012绿色中国年度焦点人物颁奖典礼纪实
10月12日,北京秋风送爽,以怡人的气候迎接着每一张关注绿色的面孔。由全国绿化委员会、国家林业局指导,中国绿化基金会、人民网、绿色中国杂志社共同主办的大型公益活动“2012绿
期刊
中国科协
颁奖典礼
人物
焦点
绿化基金会
国家林业局
国土资源部
评选活动
与本文相关的学术论文