【摘 要】
：
在嵌入式系统建模领域，AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点，国内外众多学者展开了热烈的讨论。为了帮助系统开发人员深入了解AADL，指导
【基金项目】
：
中央高校基本科研业务费专项资金（GK2010002011）,教育部科学教育重点项目（107106）
论文部分内容阅读
在嵌入式系统建模领域，AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点，国内外众多学者展开了热烈的讨论。为了帮助系统开发人员深入了解AADL，指导软件开发进程，提高基于AADL模型的软件开发效率，分别从AADL模型可靠性分析、可调度性分析以及AADL模型测试这三个不同角度综述了已经出现的各种AADL形式化验证理论，对比分析了它们的优点和不足。简要介绍有关AADL验证工具，研究基于AADL模型的嵌入式开发平台的构建。
其他文献
随着经济全球化与政治全球化的影响范围逐渐扩大,我国的发展同样面临机遇与挑战,加强党员干部与学员的党性和信念,成为党校能力教育、理论教育与党性教育的重点内容,笔者通过
目的观察Parks切口在斜视显微手术治疗中的应用效果。方法 54例斜视住院手术患者作为实验组（采用Parks切口入路治疗）,同期20例斜视住院手术患者作为对照组（行传统手术治疗）。对比
压缩感知(CS)是近年来提出的一种针对稀疏信号处理的新方法,其核心是将压缩与采样同步进行,由于信号的投影测量数据远小于传统方法的数据量,突破了香农采样定理瓶颈从而使得高分辨率信号采集成为可能。NIOSⅡ嵌入式处理器是ALTERA公司推出的第二代片上可编程软核处理器,它的灵活性与可裁减性使其适用于终端数据处理。正交匹配追踪(OMP)算法是压缩感知理论中用于重构的经典算法,针对该算法对图像重构计算时需
素质教育在初中教学阶段有着非常重要的作用。高质量的素质教育能够培养学生综合素质并提升其学习能力。反思能力的养成是素质教育的具体体现。由此可知,在初中数学教学过程
在新的时代背景之下,社会各界对人才培养提出了较高的要求,传统的应试教育不仅不符合我国素质教育的实质条件,还严重阻碍了学生综合素质的发展。为了摆脱这一教育上的桎梏和
笔者认为在语文教学中,其最基本内容是言语形式应启发引导学生感知,体验作品的言语形式,这是语文阅读教学的中心环节,这是语文教师具备的基本功。否则就不能打给“及格”的分
随着当今社会城市化进程的快速发展,人们对于在复杂环境内的定位需求越来越迫切。由于建筑物的遮挡使得GPS定位在室内不容易实现。文中设计了一种基于ZigBee技术的室内定位系
长大后的我们往往对孩提时代的记忆不是很清晰,小时候自己长啥模样,最好的伙伴是谁,在幼儿园发生了哪些有趣的事情……但因当时记录手段有限,童年时光的回忆几乎成为空白,让
变电站巡检工作是保证变电站安全稳定运行的关键工作之一，随着视频监控及数据分析技术的发展，利用视频数据分析技术实现变电站巡检的集中化、智能化，成为变电站巡检的趋势。文中
小学语文是其他学科的基础,有奠基的作用。而识字教学是语文学科教学的起点,小学语文教学,总的来说就是围绕听、说、读、写来展开,而这些学习的源头就是要识字。汉字是语文学