【摘 要】
：
软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件（FCS）系统的重要挑战。采用模型驱动工程（MDE）的框架,使用嵌入式实时系统建模语言（MARTE）建立起某型无人
【机 构】
：
南京航空航天大学计算机科学与技术学院,南京航空航天大学自动化学院,南京大学计算机软件新技术国家重点实验室,南京大学商学院
【基金项目】
：
江苏省研究生培养创新工程基金(CXZZ11_0218);南京航空航天大学科技创新基金(NS2010095)资助
论文部分内容阅读
软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件（FCS）系统的重要挑战。采用模型驱动工程（MDE）的框架,使用嵌入式实时系统建模语言（MARTE）建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动态行为的形式化模型实例;结合无人机FCS系统的应用背景,建立了基于时间自动机模型的测试用例生成方法,包括建立测试用例生成框架、测试用例生成规则以及用例生成策略等;对某型无人机飞控软件系统中的主控模块进行了建模与测试用例生成的实例分析研究。
其他文献
以人为本与以"人才"为本企业的资源包括实物资本、金融资本、信息资源、人力资源等,其中,人力资源是第一资源,是决定企业在激烈的竞争中存亡成败的首要因素.因此,许多企业都
关于住房权在宪法层次的保障，有观点倾向于将其作为宪法基本权利，赋予其主观请求权特性，本文认为此种路径并不可行。住房权的宪法保障应立足我国宪法之实际，借鉴西方国家成功经验
采用文献计量学方法，以 SCI 数据库收录的2004－2013年食品安全研究期刊论文为数据源，对食品安全研究领域的高发文国家、机构、核心期刊、基金资助等情况进行定量分析；进一步利用
近年来，在警务工作转型升级的过程中，各级公安机关逐渐认识到警力资源作为一项重要的人力资源，传统的警力资源管理运行模式已经逐渐不适应新时期下公安工作的需要，束缚着公安队伍
1病例报告患者,女,25岁。于20多天前(入院时间2011年3月17日)体检右侧附件囊性包块(8.3 cm×6.7 cm),当时未作处理。平时月经规则,经期7 d,月经周期30 d,末次月经日期201
文章通过对汉语二语学习者中介语“住NL”与“住在NL”混用偏误的讨论发现,以往对“住NL”与“住在NL”使用条件的认识存在偏颇;文章继而考察了北京大学汉语语料库（CCL）230多万
【正】 凡是涉猎一些古今中外文史知识的,都会感到中国的历史演义是中国典型的特优产品。别国间或有象中国这样从盘古开天辟地到当代的系列历史记载,但却绝对没有依据这些系
针对高速铁路追踪列车间隔时间测试没有标准化方法的现状，明确测试理论基础，规范测试方法。运用到达车站间隔时间的分析计算方法探讨高速铁路追踪列车间隔时间测试理论，提出高速
感应充电是一种利用电磁感应原理通过非接触的耦合方式进行能量传递的新型充电方式,它的出现弥补了传统传导充电的不足,且具有安全性好、适应性强和操作方便等优点,易于实现
对于教育来说,最重要的就是课堂环境,当课堂环境是非常积极的时候,学生都会很开心的参与到其中,从中学习到东西;当课堂环境很不好时,学生也就失去了学习的兴趣。好的课堂环境