【摘 要】
：
随着嵌入式软件规模的日益庞大，任务关键系统的可信属性，如实时性、可靠性等，逐渐成为影响嵌入式系统质量和制约系统行为可信的重要因素。如何在系统设计早期及时发现系统可信属
【机 构】
：
中航工业西安航空计算技术研究所,西北工业大学计算机学院
【基金项目】
：
国家“核高基”重大专项基础软件课题(2012ZX01041-002-003)资助
论文部分内容阅读
随着嵌入式软件规模的日益庞大，任务关键系统的可信属性，如实时性、可靠性等，逐渐成为影响嵌入式系统质量和制约系统行为可信的重要因素。如何在系统设计早期及时发现系统可信属性的不足，在模型设计阶段进行体系结构调整、优化模型中软硬构件结构及属性规约，成为嵌入式软件分析方法研究的重点。为解决以上问题，提出了一种基于模型的嵌入式系统实时性测试方法，设计并实现了面向AADL模型的仿真测试引擎（AMSE）。仿真引擎基于SystemC和POSIX技术，通过任务封装、任务调度、时钟管理、中断管理和信号控制等实现模拟内核功能，
其他文献
随着经济和技术的飞速发展,市场供需天平逐渐向需方倾斜,制造企业面临着转型压力,传统的只注重企业内部的成本管理方法已越来越不能适应企业改革发展的需要。而通过在供应链
在我国经济不断发展的背景下,越来越多的中小型企业对融资的需求也在不断增强,许多投资基金也随之出现,风险投资成为当前经济形势下的潜力发展方式,特别是针对一项新行业的投
目的探讨不同病情手足口病患儿血清IL-1β,TNF-α,IL-6,IL-10和免疫球蛋白IgM、IgG、IgA的水平变化及其临床意义。方法收集手足口病患儿47例,根据病情分为普通组25例、重症组
<正>莎士比亚说:"历史就在每一个人的生活中"。从第一个胃肠激素被发现至今不过一个世纪的时间。当我们翻开这本厚重的历史时,喷薄而出的是一幅何等波澜壮阔的画卷,令人倾倒
利用计算机生成食谱,具有方便、快捷、准确、高效的特点,但已有的模板置换法存在一定的局限性,采用遗传算法生成团餐食谱具有明显的人工智能和进化优势。论文通过构建完整的
介绍加工气缸盖进、排气门孔和气门导管孔专用复合刀具的设计及应用。
一、前言2012年国家发改委颁布了《国家发展改革委关于印发国家发展改革委重大固定资产投资项目社会稳定风险评估暂行办法的通知》（发改投资[2012]2492号），2013年出台了暂行办法
本文基于J·Sweller90年代以来的认知负荷理论 ,简述了Yeung ,Jin和Sweller(1 997)的认知负荷与学习者的技能所做的 5项实验。本文通过对中国内蒙古地区大学英语教学中存在的
结合消防指挥中心建设现状,分析"大集中"接处警模式存在轻"软件"建设、主动作为少、轻日常管理的问题。以浦东消防支队为例,综合支队现有的系统、数据、调派等多方面因素,形
目的 了解海南省儋州市老年痴呆的患病率情况。方法 从儋州市整群抽取 60岁以上老人为调查对象 ,采用两阶段调查方法 ,以MMSE ,CRBRS为筛查工具 ,以ADL为评定工具 ,DDDS和H