面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

基于软件重用技术的飞行模拟器软件生成系统

在计算机应用系统中,软件是灵魂。本文研究基于软件重用技术和系统组合技术的飞行模拟器软件生成系统的原理、实践与应用经验。这一方面是由于研究软件重用技术和系统组合技术对缩短软件开发周期、增加软件产量和提高软件质量有着重要的意义,另一方面是因为旧的飞行模拟器软件开发方法已不能适应该领域日益变化的需求。 所谓软件重用技术是指开发新的应用软件时,再次使用已有的软件、知识和方法的技术;所谓系统组合技术是指根据特定应用的需求规格说明和已有的软件、知识和方法,将零散的软构件组装成一个系统的技术。本文给出了结合两种技术的飞行模拟器软件生成系统原型的实现原理和示例。它主要由三大部分组成:可重用的软件库及其管理器、库的浏览/检索器和目标软件生成器。我们用面向对象式语言C++描述其软件结构,以“生产域/消费域”模型作为软件生产、组装的基础。由此原型系统实现的某型号飞行模拟器飞行系统软件的重用、组装及仿真结果表明:基于软件重用技术和系统组合技术的飞行模拟器软件生成系统在理论上与实践上都是可行的;使软件重用技术和系统组合技术结合在一起,用于软件的整个生存周期,是对软件工程过程模型的重大革新。     

航天器测试需求描述及其自动生成

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.      

自主测试优先级软硬协同调度策略

自主测试是构建航天器自治体系的关键技术之一.针对实时操作系统自主测试优先级调度问题,提出一种软硬协同混合调度策略.通过分析复杂工程背景下影响自主测试任务重要性的多种因素,提出重要性综合评价指标实现优先级静态分配,利用自组织特征映射网实现测试任务集聚类.在此基础上,建立仲裁代理机制进行优先级再分配,以可信性为调度判据实现基于现场可编程门阵列(FPGA,Field Programmable Gate Array)的优先级动态调度.实验表明该策略对自治系统合理分配优先级资源、高效调度测试任务具有参考意义.      

一种空间飞行器控制系统软件协同演化方法

针对空间飞行器控制系统软件在开发演化时存在管理复杂、开发过程无序、协同度低的问题,提出一种空间飞行器控制系统软件协同演化的方法。首先对软件演化过程中的演化活动、演化策略进行了分析,之后基于对软件演化活动所得到的演化路径利用有向图进行了建模并给出了其演化活动的排序,最后,对演化路径有向图中出现的并行活动和环的情况进行分析,同时给出了相适应的排序算法。基于该方法,软件演化过程得到规范,较好的解决了复杂情况下演化路径求取困难的问题。     

智能驾驶员辅助系统的递阶知识库

为管理面向全飞行任务的智能驾驶员辅助系统知识库,提出基于任务分解的分级递阶结构.知识库递阶结构分为:任务判定级、情况域判定级、辅助执行级.结合战斗机编队作战任务及其攻击视距外空中目标的典型任务阶段具体分析设计知识库结构.基于专家系统软件工具CLIPS(C Language Integrated Production System)设计知识库递阶结构软件模型,实现了辅助系统知识库的分级模块化,缩小推理空间,提高搜索效率,便于知识库的开发、维护和重用.通过仿真系统的搭建和运行,验证了递阶结构的合理性和可实现性.      

面向源代码可信证据的航天软件可信度量评估方法

随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失往往无法估量.从源代码证据入手,建立面向航天领域的嵌入式软件可信度量评估方法.结合航天领域特性,建立了面向C语言代码的可信证据规范,该证据规范区分关键证据与非关键证据以及可信正证据和可信负证据;提...     

软件定义测控系统体系架构与关键技术

为了满足快速变化的民商航天测控需求和小卫星及大型星座的快速发展导致的测控任务爆炸式增长需求，将软件定义技术这一被认为改变游戏规则的革命性技术，从互联网行业引入航天测控系统，提出了软件定义航天测控系统体系架构，实现测控系统新一轮技术革新。文章首先分析了传统航天测控系统体系架构及存在问题，其次讨论了软件定义航天测控系统具有层次化设计标准，应用接口开放，系统集中控制，基础资源可灵活重组等技术特征。随后分析了该体系架构的优势及标准接口与规范、软件定义射频前端、软件定义信道和软件定义基带4项关键技术，并对软件定义测控系统发展作出了展望。研究结果表明相比传统测控系统软件定义航天测控系统架构更能满足日益发展的航天事业对测控资源的需求。     

基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证

随着中国航天技术的发展,航天器系统的软件规模越来越大、复杂度越来越高,对航天软件的正确性、可靠性、安全性等提出了更为严格的要求.形式化方法是提高软件可信性的一个重要途径.利用形式化方法 Event-B对嵌入式操作系统SpaceOS2的任务管理模块的进行需求建模,依靠不变式来保证模型的正确性,并且在Rodin平台上对模型进行了形式化验证,结果表明模型是正确的.     

基于Web的带宽自适应组件化多媒体监控系统

当前的分布式多媒体监控系统存在通用性、易用性和扩展性不足等缺点,且不能自适应多种网络状况.为解决其通用性、易用性问题,参考流媒体系统结构,给出了基于Browser/Server模式的监控系统结构.为增强其可扩展性,在DirectShow技术基础上,设计了基于COM的监控系统软件结构.采用带宽自适应的策略和方法,实现了系统对多种网络状况的动态自适应.      

CPS在航天器控制系统中的应用分析

航天器控制系统是一种典型的信息-物理融合系统(CPS),应用CPS技术将是提高航天器控制系统设计正确性和效率的一个重要途径.在探讨CPS系统特征和CPS技术研究的进展以及分析航天器控制系统的技术特点的基础上,分析了在航天器控制系统中应用CPS技术的可行性,提出了基于CPS技术的系统设计的新思路和技术途径,并研究了在航天器控制系统中应用CPS技术需解决的问题和面临的挑战.     

复杂可修系统效能中可信度矩阵的构造方法

复杂可修系统可信度建模对保证效能的定量分析至关重要.本文在考虑不同维修状况的基础上,着重对不同任务剖面内相应任务阶段中武器装备可信度进行了深入的定量分析和综合,进而构造出武器装备的可信度矩阵,用于武器装备的效能分析;文中以某地面车辆为例,进一步论证了武器装备可信度矩阵的工程含义,旨在为合理确定一大类武器装备的效能和可信度指标提供理论依据.     

GPS/INU/DM组合定位导航技术在ITS中的应用

 介绍了智能交通系统(ITS,Intelligent Transport Systems)的基本思想,阐述了GPS/INU/DM(Global Positioning System/Inertial Navigation Unit/Digital Map)组合定位导航技术在ITS中的应用,以及提高组合定位导航精度及可靠性的几种技术措施.该组合定位导航是将卫星定位技术、惯性导航定位技术以及计算机技术融合在一起的新型技术,具有全方位、全天候、防遮挡的功能.ITS中利用组合导航技术可实现道路交通管理"自动化"、车辆行驶"智能化",具有良好的实用价值,应用前景广泛.     

决策支持系统中的反馈机制研究

将反馈机制引入决策支持系统的研究与设计，分析了ＤＳＳ中反馈的基本特点，应用控制论，行为科学、人机工程学及系统仿真理论的有关思想和方法，提出了决策状态反馈与决策输出反馈的基本概念，并给出了相应的人机交互与策略仿真两种反馈模式，研究了其对决策的影响，最后结合具体实例分析研究了引入反馈后的决策过程和结果，研究表明，反馈机制的引进能有效地提高决策有效性。     

新一代总线技术AFDX在箭载测量系统设计中的应用研究

传统的箭载测量系统数据传输由点到点的电缆完成,存在布线复杂、占用空间大、质量大、通信速率低等方面的不足,为此提出将新一代总线AFDX应用于箭载测量系统的设计思路。介绍了新一代基于以太网的总线技术AFDX,研究、比较了其技术特点和关键技术,并对基于AFDX的箭载测量系统数据综合网络拓扑结构进行了设计,为设计更高可靠性、更快通信速率、更强灵活性的箭载测量系统提供参考依据。     

可修复系统故障率分析

考虑维修对可修复系统可靠性的影响,提出了可修复系统故障率的概念及其分析模型,并对其进行了定义与量化.同时论述了它与无维修情况下的故障率和故障强度函数之间的关系.在此基础上,分析了可修复系统常见维修模型下故障率的变化规律,导出了计算公式,给出了变化趋势图,得出了可修复系统故障率分析的一般方法.      

面向可信的航空嵌入式软件开发方法框架

针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,重点分析了航空综合化软件平台的特征,即因为物理资源的限制,软件任务之间存在复杂的交互、资源竞争和共享关系,并分析了这些特征对其可靠性、安全性和实时性的影响.     

小卫星及其星座的智能自主控制系统

随着小卫星及其星座技术的发展 ,卫星系统的测控和运行管理模式将由地面遥测遥控方式向智能化自主方式发展。文中系统深入地分析了小卫星及其星座技术的特点和主流发展趋势 ,讨论了对小卫星及其星座实施智能自主控制的必要性、优越性等方面的问题 ,给出了一种将多Agent系统技术与混杂控制系统理论方法相结合 ,以综合集成方式实现的具有高度自主性和灵活性的智能自主控制系统的设计方案 ;论述了可行的优化策略与技术实现途径。最后 ,按照文中提出的智能自主控制系统的组织结构模式和相应的控制策略 ,针对小卫星编队构形自主保持的智能控制问题 ,给出了计算仿真结果     

有效载荷数据管理系统新技术实验

为满足在未来航天器上进行科学实验和空间探测的有效载荷数据采集、处理、存储、综合传输和数据管理需求 ,研制了中国第一个有效载荷数据管理系统 ;该系统在设计上采用了具有 90年代国际水平的多项先进技术 ,如采用先进的国际空间数据系统咨询委员会标准进行数据传输、以 15 5 3 B总线构成系统通信网络、大容量固态存储技术、高速多路复接器和数据管理系统软件。介绍了有效载荷数据管理系统及其技术特点 ,系统主要关键技术的设计与实现 ,以及由主要关键技术构成的缩微系统的在轨试验情况和结果。     

混合系统等步长仿真时钟同步方法及性能评价

通过对一类混合系统仿真中的连续系统、离散事件系统及推理决策系统各自仿真时钟的分析,得出了推理决策系统仿真依赖于其他２ 个系统的结果,继而提出了用其中的离散事件系统仿真时钟去同步具有等步长策略的连续系统仿真时钟的等步长方法,并给出了相应的软件实现方法与性能评价准则,解决了该类混合系统仿真时钟的同步问题,从而为该类混合系统的仿真提供理论依据