【摘 要】
：
近年来，在以综合模块化航电系（integrated modular avionics，IMA）为代表的一类安全关键应用中，确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模
【机 构】
：
南京航空航天大学计算机科学与技术学院,南京大学计算机软件新技术国家重点实验室
论文部分内容阅读
近年来，在以综合模块化航电系（integrated modular avionics，IMA）为代表的一类安全关键应用中，确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间／空间多分区形式运行的系统特征，建立了从系统配置信息的核心元素（包括模块、分区、内存、进程、通信等）到MARTE模型元素的语义映射规则，设计了基于模型驱动架构的系统配置信息模型转换的方法，并给出了
其他文献
动物实验及临床研究均支持炎症反应参与缺血性脑损伤的理论，但炎症反应本身及其对缺血性脑损害的影响相当复杂。脑缺血后，在缺血损伤区有多种细胞因子表达及炎细胞浸润，构成了缺
密教以高度组织化的咒术、仪轨与世俗信仰为主要特征。中国密教渊源于古代印度密教,是由古印度、中亚僧人沿丝绸之路而传入的。早期密教亦称“杂密”。敦煌处于“丝绸之路”
女性文学是近年来越来越为人们所关注的创作领域，王安忆的《长恨歌》在女性文学中占有一席之地。《长恨歌》以女性化视角，细腻的笔触讲述了王琦瑶的一生，再现了旧上海市民阶层的
生活在21世纪的人们依然受制于近代政府理念和管理模式,现代政府理念和组织模式为什么迟迟不见端倪。本文带着这个问题跨越了人类组织形成到今天的漫长时间和巨大空间,从自然
现阶段,制造业面临着全球性的市场、资源、技术等竞争,多样化的消费需求使得市场变得难以预测。制造环境的变化,使得传统制造模式已经不能适应国际化的市场竞争。敏捷制造就
本课题是甘肃省科技攻关项目《轴承自动分选与检测系统》的主要项目,针对轴承外圈公差尺寸的非接触式测量,研制出非接触磁压式位移传感器。利用该传感器可很好地采集轴承内外
典故詞語是漢語詞彙的重要組成部分，其歷史來源、構詞方式、語義内容、語用表達等方面有独特的認識價值，是漢語詞彙學、詞彙史研究的重要課題。本文選擇汉魏六朝碑刻中的典故詞
采用抽样调查的形式,在具有针灸专业背景的高级职称临床医师中,通过自填式问卷,实施具有描述性的学术专业横剖调查。对针灸临床专家的意见采用模糊综合评判技术进行统计处理,
随着人们对环境及健康问题的日益重视，室内空气品质状况的监控得到越来越多的关注，对室内空气中有害气体的监测种类也越来越多。与此同时，对便携式室内环保监控仪的精度要求也越
<正>近年来,牧区深入学习贯彻党的关于生态文明建设的重大战略部署,切实落实国家和省、市关于美丽乡村建设的具体要求,立足牧区实际,坚持把新农村建设与美丽乡村建设相统一,