【摘 要】
：
针对传统建模技术对机载嵌入式系统资源描述和分析的不足,本文提出了一种机载嵌入式系统资源建模与分析技术。首先,基于AADL(Architecture Analysis&Design Language)设计了
【机 构】
：
航空工业西安航空计算技术研究所; 机载弹载计算机航空科技重点实验室; 西安电子科技大学计算机学院;
论文部分内容阅读
针对传统建模技术对机载嵌入式系统资源描述和分析的不足,本文提出了一种机载嵌入式系统资源建模与分析技术。首先,基于AADL(Architecture Analysis&Design Language)设计了嵌入式系统处理与存储元模型,包含软件、硬件和资源属性三类元模型,支持多剖面的机载嵌入式系统建模;其次,基于上述元模型,提炼出面向处理和存储的资源分析技术,支持资源预算和资源分配两种不同粒度的分析技术;最后选择某机载嵌入式系统作为案例,成功检测出系统设计缺陷,验证该技术的正确性。
其他文献
本文以仝小林教授中药小剂量水丸治疗胰岛素抵抗典型病例为例,分析该患者服用中药水丸治疗1年半,胰岛素抵抗减轻,由胰岛素分泌延迟,改善至胰岛素分泌出现近似正常波峰,阐述了
<正>1999年元月上旬的一天,一位手拄拐杖的老人从山村赶到湖北省咸宁市民政局双拥办,摊开志愿军后勤部、政治部编印的《抗美援朝功臣模范纪念史册》,理直气壮地问:"同志,我是
中国传统居住建筑是人类建筑发展进程中的宝贵财富,探索中国传统居住建筑的生态经验,对现代可持续建筑的研究和实践具有重要启示作用。陕南地区的生土建筑是一种独特的传统民
<正>介绍虚拟天文台及其相关成果在天文学研究中的应用。
<正>《百科全书》上说:头发是指在头顶和后脑勺部位的毛发。头发除了使人增加美感之外,主要是保护头脑。夏天可防烈日,冬天可御寒冷。细软蓬松的头发具有弹性,可以抵挡较轻的
音乐就好似一把钥匙在无形中和人的心灵碰撞着，儿童在成长过程中同样离不开音乐的滋润和启迪，幼儿教师若想将美妙而又动听的音乐带给儿童，其自身就要具备一定的音乐素养以及对音
本文介绍了车身焊点间距布局的基本规范,分析不同部位焊点间距尺寸的合理性,在生产过程中合理的焊点布局能够提高车身强度,同时降低成本和提高生产效率。
<正>一、学科发展总体情况2015年至2016年,上海各科研单位在CSSCI来源期刊上共发表论文99篇,出版专著、译著约10部。按照各科研单位发文数量统计,华东政法大学、上海交通大学
成熟荔枝果实的果皮中多酚、花色素苷、多糖、蛋白质等物质含量较高。内源RNAase活性也上升，使得从中提取高质量RNA较为困难。丁晓东0999）、张以顺等（2004）曾分别探索了从荔枝果
基于弹塑性有限元原理,对大断面隧道硐室在简单二维应力场下的应力集中系数的分布进行了分析,并对硐室周边最大应力集中系数随扁平率的变化进行了讨论;然后采用大位移非线性