检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于上下文的飞控软件老化缺陷定位方法研究

计算机科学与探索 2017年第8期11卷 1214-1223页

作者：杜晓婷王楠北京航空航天大学自动化科学与电气工程学院北京100191 杜克大学电子与计算机工程学院北卡罗莱那美国达勒姆27708

随着航空工业的发展和飞控软件复杂度的提高,对飞控软件可靠性和实时性的要求也越来越高。软件老化缺陷中存在一类缺陷,会使系统响应逐渐变慢,最终出现失效,严重影响飞控软件的可靠性和实时性,但目前没有定位这类缺陷的有效方法。针对... 详细信息

随着航空工业的发展和飞控软件复杂度的提高,对飞控软件可靠性和实时性的要求也越来越高。软件老化缺陷中存在一类缺陷,会使系统响应逐渐变慢,最终出现失效,严重影响飞控软件的可靠性和实时性,但目前没有定位这类缺陷的有效方法。针对这类缺陷的定位,提出了一种基于上下文的飞控软件老化缺陷定位方法。该方法将飞控软件的主循环建模成一棵任务树,飞控软件反复运行的主循环抽象成一个任务树序列。通过Mann-Kendall Test对任务树中心节点的时间属性进行趋势检测,找到可疑任务,并根据任务树之间的关系对可疑任务进行筛选,定位出含有缺陷的任务,则该任务所对应的函数即为缺陷所在的位置。实验表明,该方法不仅能够给出缺陷的具体位置,还能给出发生失效时的调用上下文。

关键词：飞控软件老化缺陷缺陷定位上下文任务树

在线全文

学校读者我要写书评

暂无评论

基于SCADE的飞控软件的适航验证与确认

飞行力学 2012年第1期30卷 34-37页

作者：张雅妮李岩李小勋中航工业综合技术研究所适航性与安全性技术研究室北京100028

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的... 详细信息

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。

关键词：飞控软件 SCADE 适航验证与确认 DO178B

在线全文

学校读者我要写书评

暂无评论

导弹飞控软件集成环境系统设计

测控技术 2012年第8期31卷 87-90页

作者：沈浩吕梅柏张科洛阳光电技术发展中心河南洛阳471009 西北工业大学航天学院陕西西安710072

导弹飞控软件是导弹控制的核心,其研发过程非常复杂,需要大量研发人员对飞控软件进行算法分析、数学建模、计算机仿真、半实物仿真和演示验证,最终形成产品定型的版本。主要研究并开发了一种基于网络的实时导弹仿真软件集成环境系统,通... 详细信息

导弹飞控软件是导弹控制的核心,其研发过程非常复杂,需要大量研发人员对飞控软件进行算法分析、数学建模、计算机仿真、半实物仿真和演示验证,最终形成产品定型的版本。主要研究并开发了一种基于网络的实时导弹仿真软件集成环境系统,通过该系统,设计人员可以集成管理导弹从研发到定型过程中所产生的以飞控软件为主的仿真软件及其半实物仿真实验,从而大大降低了实验所耗费的时间和精力,提高了对飞控软件的开发以及实验仿真管理效率,更有利于实验结果的分析及处理。

关键词：飞控软件半实物仿真 RTX 实时系统

在线全文

学校读者我要写书评

暂无评论

高实时性的无人机飞控软件测试系统设计

计算机测量与控制 2012年第9期20卷 2384-2385,2419页

作者：周保宇田力西北工业大学第365所西安710065

机载计算机作为无人机系统的控制核心,在设计过程中对其进行性能监测及功能验证是保证其正常工作的基本途径;运行于机载计算机内的飞控软件已成为无人机飞控系统设计中最重要的因素之一,采用Labview和RTX搭配的建模方式,模拟无人机机载... 详细信息

机载计算机作为无人机系统的控制核心,在设计过程中对其进行性能监测及功能验证是保证其正常工作的基本途径;运行于机载计算机内的飞控软件已成为无人机飞控系统设计中最重要的因素之一,采用Labview和RTX搭配的建模方式,模拟无人机机载计算机的真实硬件环境,在Windows操作系统下构建一套高实时性的测试系统方案,完成对机载计算机飞控软件的实时监测评估和性能测试;经实际测试,该系统能够实现对无人机飞控软件的实时监测和测试,实时性带来的实时误差不超过1%。

关键词：无人机机载计算机飞控软件 Labview RTX

在线全文

学校读者我要写书评

暂无评论

无人机飞控软件抗干扰设计

微计算机信息 2008年第5期24卷 52-53,140页

作者：杨柳庆肖前贵刘久富南京航空航天大学自动化学院南京210016

在无人机飞控系统中,抗干扰性能是系统可靠性的重要指标。结合自身实践,本文首先介绍了干扰可能对软件运行造成的影响,然后提出了若干行之有效的软件抗干扰措施。本文重点研究了无人机飞控软件的自诊断和自修复技术。飞行实践证明,所采... 详细信息

在无人机飞控系统中,抗干扰性能是系统可靠性的重要指标。结合自身实践,本文首先介绍了干扰可能对软件运行造成的影响,然后提出了若干行之有效的软件抗干扰措施。本文重点研究了无人机飞控软件的自诊断和自修复技术。飞行实践证明,所采取的这些抗干扰措施行之有效,基本达到了设计要求。

关键词：无人机飞控软件抗干扰自诊断自修复

在线全文

学校读者我要写书评

暂无评论

某型制导航空炸弹飞控软件设计与实现

某型制导航空炸弹飞控软件设计与实现

作者：彭婧国防科学技术大学

学位级别：硕士

本文以某型制导航空炸弹的工程研制为背景,针对制导航空炸弹飞控系统的战术指标需求,开展了基于国产化高性能的FT-C6713J DSP为核心的嵌入式飞控计算机和实时操作系统DSP/BIOS的飞控软件设计工作。软件采用分层和模块化的设计思想进行... 详细信息

本文以某型制导航空炸弹的工程研制为背景,针对制导航空炸弹飞控系统的战术指标需求,开展了基于国产化高性能的FT-C6713J DSP为核心的嵌入式飞控计算机和实时操作系统DSP/BIOS的飞控软件设计工作。软件采用分层和模块化的设计思想进行软件单元划分,完成了所有软件单元的代码实现和调试工作后,结合工程的研制进程,成功通过了系统联试、航电系统对接试验、半实物仿真试验和飞行靶试试验等试验考核;软件功能、性能满足设计要求,验证了软件设计的正确性。本文主要完成了以下几方面的工作:(1)对制导航空炸弹飞控系统的总体结构、任务需求,及飞控软件的功能需求进行了全面的分析。(2)基于DSP/BIOS实时多任务操作系统对飞控软件架构、系统任务进行了详细设计;依据功能要求按照分层和模块化的设计思想详细划分了各功能模块,并对软件的关键模块进行了详细设计。(3)完成了飞控计算机与各硬件设备的集成联试。通过开展半实物仿真试验完成飞控系统联试,检验了软件制导控制模块设计的准确性,验证了飞控软件设计的正确性。

关键词：制导航空炸弹飞控系统飞控软件 DSP/BIOS

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于AADL的飞控软件建模与可靠性验证

基于AADL的飞控软件建模与可靠性验证

作者：胡少成电子科技大学

学位级别：硕士

飞控系统的功能日益复杂,因此在保证飞控软件的高可靠性的情况下,仅依赖软件测试所带来的资源消耗也越来越多。为提高飞控软件可靠性并减少资源消耗,本文结合一些研究学者的研究提出了一种结合故障树的失效度分配方法,并设计了基于AADL... 详细信息

飞控系统的功能日益复杂,因此在保证飞控软件的高可靠性的情况下,仅依赖软件测试所带来的资源消耗也越来越多。为提高飞控软件可靠性并减少资源消耗,本文结合一些研究学者的研究提出了一种结合故障树的失效度分配方法,并设计了基于AADL（architecture analysis＆design language）的可靠性验证方案。本方案主要针对软件非功能属性的验证,不涉及具体功能实现、算法研究以及相应的模块模型功能描述。本文首先根据通用需求设计飞控软件,再以AADL建模规范描述软件结构及特性,对飞控软件进行AADL建模。在建模过程中主要考虑建模对象的系统架构、模块端口特性、功能项输入输出需求特性以及数据链路这些容易被AADL具现的属性,同时根据仿真部分的需求,模型中将使用软件内部执行时间、时限、非抢占优先级等属性描述。在完成建模之后,以逻辑关系分析和Petri网理论验证AADL模型的正确性。随后,为验证软件设计的合理性,保障按设计开发软件的可靠度,本文借助OSATE平台,对飞控软件进行数据端对端连接一致性验证、数据流延迟验证、调度表分析时域调度性,并辅以AADLInspector进行调度仿真测试,以确保规避设计中的部分人为错误;同时,为进一步节省开发资源,本文借助OSATE平台中AADL错误模型自动生成故障树,缩短已知故障的排查时间,并结合可靠度分配方法,为开发人员作出合理的开发时长安排,避免不必要的开发时间浪费。鉴于已有的经典可靠度分配方法的优缺点和实现难易程度,本文将简捷的快速分配法与可靠的基于失效率的故障分配方法结合,改进了基于故障树的可靠度快速分配法,使其在基于失效率的可靠度分配方法难以实施的情况下,分配效果又能优于可靠度快速分配法。最后,在工程实例中应用了本文提出的可靠性验证方案,依照建模、可靠性验证、可靠性重设计这一流程进行实验。本方案意在以简单可行的方式提升飞控软件的可靠性,并减少其开发过程中的资源消耗,最终结果表明了方案达到了提高软件可靠度,减少一定资源消耗的目的,也论证了本文提出的可靠性验证方案简单、便捷、实用。

关键词：飞控软件 AADL建模可靠性验证

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于实时操作系统的飞控软件的设计与实现

基于实时操作系统的飞控软件的设计与实现

作者：周鹏举中国电子科技集团公司电子科学研究院

学位级别：硕士

随着软硬件的发展,基于前后台的飞控软件已经越来越不能满足系统发展的需求。根据一般软件的发展规律,使用实时操作系统进行飞行控制是飞控软件发展的必然选择。且国外已经有将实时操作系统成功运用于飞行控制的先例。本文着重解决了飞... 详细信息

随着软硬件的发展,基于前后台的飞控软件已经越来越不能满足系统发展的需求。根据一般软件的发展规律,使用实时操作系统进行飞行控制是飞控软件发展的必然选择。且国外已经有将实时操作系统成功运用于飞行控制的先例。本文着重解决了飞控软件在实时操作系统μC/OS-Ⅱ上设计与实现的问题。本文首先分析了实时操作系统μC/OS-Ⅱ,并将其移植到PC上,最后建立基于软件的中断模拟机制。为使μC/OS-Ⅱ达到较高的精度,采用高精度计时的策略,能够对1毫秒进行精确计时,误差精度控制在万分之二;为便于调试,在μC/OS-Ⅱ建立了追踪机制,当操作系统发生异常时,能够方便定位发生异常时的位置与状态。飞控软件主要由捷联、制导、稳定三个模块构成,三者相互协作,完成对目标的控制。目标的实时数据由惯组、GNSS等采集,经中断发送给飞控软件。飞控软件在μC/OS-Ⅱ上实现是以捷联、制导、稳定三个模块为基础,将三个模块进一步划分为更小更便于管理的模块,并将这些模块映射为μC/OS-Ⅱ的任务,这些任务在获得中断发送过来的数据后根据任务间的唤起策略以及任务的优先级而有序运行。使用中断模拟机制产生中断。同时,在μC/OS-Ⅱ中还建立了容错机制,即建立适当的优先级任务来处理运行中可能出现的错误。最终,飞控软件在μC/OS-Ⅱ上成功运行,并记录了运行过程中的数据,分析数据表明,飞控软件能够在μC/OS-Ⅱ上正常运行。

关键词： μC/OS-Ⅱ 高精度计时飞控软件

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

航空时敏制导炸弹飞控软件设计与实现

航空时敏制导炸弹飞控软件设计与实现

作者：原义琴南京理工大学

学位级别：硕士

本文以某航空时敏制导炸弹模拟系统的工程研制为背景,针对制导炸弹飞控系统的战术指标需求,基于TMS320C6748DSP为核心的嵌入式硬件平台和嵌入式实时操作系统DSP/BIOS,开展了飞控系统的制导律、控制律和飞控逻辑的设计工作。在此基础上,... 详细信息

本文以某航空时敏制导炸弹模拟系统的工程研制为背景,针对制导炸弹飞控系统的战术指标需求,基于TMS320C6748DSP为核心的嵌入式硬件平台和嵌入式实时操作系统DSP/BIOS,开展了飞控系统的制导律、控制律和飞控逻辑的设计工作。在此基础上,采用分层和模块化设计思想,独立完成了飞控软件的设计开发和调试工作。最后结合工程的研制进程,进行了对应的半物理仿真试验,以测试和验证飞控软件设计的正确性和合理性。本文主要完成了以下几方面的工作： 1.对航空时敏制导炸弹飞控系统的总体结构进行了全面的分析,重点介绍了飞控系统嵌入式计算机平台,包括核心处理器、硬件结构组成以及通信接口等。 2.根据飞控系统的任务需求分析,完成飞控软件的总体设计。设计了飞控软件的软件架构,详细描述了各功能模块所需具体实现的功能以及各模块之间的调用关系。 3.根据航空时敏制导炸弹各飞行阶段的弹道方案,分别对俯仰通道、偏航通道和滚转通道进行了独立的制导律和控制律软件设计。 4.设计和实现了制导炸弹的飞控逻辑功能,给出了主程序的软件流程图,详细叙述了软件各功能模块的实现方法以及相应的子模块软件流程图。 5.对研制的飞控软件进行了通信功能测试,并进行了电动舵机的性能测试实验。最后通过半物理仿真试验对飞控系统进行了联调测试,检验了飞控软件在各种初始条件和复杂环境下的工作性能,验证了飞控程序功能设计的正确性。

关键词：航空时敏制导炸弹飞控系统嵌入式计算机平台飞控软件半物理仿真试验