【摘 要】
：
综合模块化航空电子系统（Integrated modular avionics,IMA）中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调
【机 构】
：
南京航空航天大学计算机科学与技术学院,南京大学计算机软件新技术国家重点实验室
论文部分内容阅读
综合模块化航空电子系统（Integrated modular avionics,IMA）中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程（Model driven engineering,MDE）框架下,基于实时嵌入式系统建模与分析（Modeling and analysis of real-time and embedded system,MARTE）模型的ARINC653
其他文献
公信力是政府治理合法性的基础.政府公信力的提升有赖于获取公众的认同.在实践中,政府的公信力取决于政府的信用和公众对政府的信任.政府公共关系,作为政府沟通与公众关系的
针对人员密集场所安全事故频发与应急处置训练难以实现、处置能力水平低之间的现实矛盾,文章提出基于计算机仿真和虚拟现实技术的安全事故应急处置训练,解决了实际训练中人力
在卷烟生产过程中,自动装箱是一道重要的工序,在装箱过程中可能产生漏装导致缺条、缺排现象,造成严重的质量问题。目前比较成熟的检测方法有涡流、称重和射线检测等,但都存在
【活动背景】中学阶段是青少年树立正确的人生观、世界观和价值观的关键时期。在这个阶段遇到前所未见的病毒大疫,对他们的"三观"肯定带来重大的影响。因此,通过心理班会课,
本文对铁路建设模块化管理进行了研究,从模块化理论探源,到铁路建设有关标准化要求的相互结合,再到具体管理的实践活动,进行了总结提炼,同时针对应用过程中存在的问题提出了
朱元璋开启明代廷杖,一方面是由于他的自卑性格作祟,另一方面是他深谙廷杖折辱人尊严的本质,试图利用廷杖这一刑罚打掉士大夫官员的尊严、自信、人格与骨气,让他们再不敢抱有
采用不同浓度的IAA、NAA、6-BA、GA3、KNO35种药剂对岩白菜种子进行浸种处理，研究其对岩白菜种子出苗率的影响。结果表明，所有处理均可提高岩白菜种子的出苗率，其中，5mg／L的6-BA浸
近几年来,随着商业汇票应用程度在逐渐提高,其对满足企业支付需求、短期融资需求和商业银行提高金融服务水平、调整资产负债结构、增强盈利能力等方面的作用和意义越来越被企