论文部分内容阅读
AADL和MARTE都支持对实时嵌入式系统形式化建模的分析。利用MARTE的时间模型设备,研究MARTE是如何对实时嵌入式系统的建模和分析的,能够比较准确的通过事件或者数据端口的端到端流延迟分析,表达AADL周期性或非周期性任务。
基于UML MARTE处理AADL的端到端流延迟
【摘 要】
：
AADL和MARTE都支持对实时嵌入式系统形式化建模的分析。利用MARTE的时间模型设备,研究MARTE是如何对实时嵌入式系统的建模和分析的,能够比较准确的通过事件或者数据端口的端
【机 构】
：
湖南科技职业学院
【出 处】
：
软件工程师
【发表日期】
：
2015年11期
【基金项目】
：
湖南省教育厅科学研究项目（No.14C0063）
其他文献
＂八山一水一分田＂的贵州,山川秀美、文化斑斓、资源丰富,发展的潜力巨大;然而,贵州的小康进程落后于西部、落后于全国,既要＂赶＂又要＂转＂,发展面临多重任务。
牛冻精改良配种技术是一项技术性极强、经济效益好、推动特色养殖和加快肉牛产业发展的主要措施,通过对农村牛冻精改良配种推广取得的成效、实践经验、存在的困难和问题的探
找矿突破战略实施以来,地勘投入不断加大,需要预算标准来匹配项目资金,预算定额标准的作用和地位也愈加突出。文章通过分析地质调查预算定额体系研究与建设新形势新要求,建议
巴基斯坦瓜达尔港作为“一带一路”倡议的首个战略港口，因其独特的战略位置具有重大战略价值。它具有“一带一路”新节点，能源安全新通道和贸易安全新保障的重要影响。它的开发
中峪乡位于山西沁源县城西南23公里处，沁柏线纵贯全境。全乡属土石山区，无霜期180天。全乡总面积98平方公里，其中耕地12万亩、林地面积152万亩。
近日，国家标准委印发《国家技术标准创新基地建设总体规划（2017～2020年）》。《规划》提出，到2020年，构建起覆盖重点领域和区域、涵盖技术标准研制与应用全过程的创新服务平台，培育形
21世纪,我国的食品检测方法众多,检测能力也得到快速提升,但目前的检测方法几乎都是针对已知的目标分析物进行检测和控制,对于未知的,或者行业潜规则等潜在问题的发现和解决
合江农商银行参宝分理处望川离行式ATM于6月7日早上9时正式开业并对外营业,望川乡民从此结束了11年没有银行的日子,当地农民高兴地送来了锦旗。
1月19日，由中国质量认证中心与中国家用电器研究院联合投资设立的“中认华南检测基地”在中山市南头镇升辉工业区落成。目前，中认华南检测基地建设了家电实验室、电动机实验室