汤小明
- 作品数：13 被引量：19H指数：2
- 供职机构：西北工业大学自动化学院更多>>
- 相关领域：自动化与计算机技术兵器科学与技术电子电信更多>>
- 航空电子安全关键系统栈空间分析
- 2013年
- 栈的分析是安全关键系统验证的重要组成部分,安全栈最大使用计算是栈分析的重要方式。为提高栈最大使用量,通过对中断抢占图、中断过程、函数FCOS_domain_get_id的栈及APEX接口栈进行了分析,提高了系统栈空间的可靠性,为航空电子安全关键系统栈空间分析提供了可供参考的依据。
- 殷锋社汤小明
- 关键词：安全关键系统
- VxWorks在飞行器管理系统中的应用研究被引量：4
- 2011年
- 提出了一种操作系统分级调度模型,该模型能够将多个传统子系统综合到一个应用平台中,并能保证各子系统在时间上相互独立。结合实时操作系统VxWorks,论述了该模型的最佳实践方法辅助时钟法,并对VxWorks的启动、存储管理、中断与异常管理等进行了详细论述。采用该模型在飞行器管理系统中将飞行控制系统、导航系统、数传模块以及任务管理系统等传统的子系统进行了综合,并给出了在某系统中的具体应用和性能评估,实验结果表明了该系统具有高性能、增量开发与部署的能力。
- 汤小明李引娟程农
- 关键词：VXWORKS
- 航空电子安全关键系统时间研究与分析
- 2013年
- 操作系统的时间分析一般分为三个阶段,程序级,任务级以及系统级。主要对操作系统进行评估、可调度分析和端到端延迟分析等。同时采用IMATime时间分析工具对操作系统FCOS进行了时间分析,包括函数级WCET分析结果,Rhealstone Benchmark评估结果以及可调度分析结果,对航空电子系统软件故障排除或恢复具有一定的借鉴意义。
- 殷锋社汤小明
- 关键词：操作系统可调度分析
- 综合一体化弹载系统操作系统的实现与评估
- 2012年
- 新一代导弹任务计算机拟采用综合模块化航空电子体系。该体系能够将传统的多个子系统综合到单一的硬件平台。为此文中提出了一种强分区操作系统模型,该模型能够提供各应用分区在时间和空间上完全的独立和隔离。文中着重就强分区内核FCOS的体系结构、分区调度、分区间通信以及存储管理等进行了详细的论述,并对该操作系统进行了评估和优化。最后结合某型弹载武器系统,使用该操作系统将传统上独立的三个子系统综合到一个系统中。
- 汤小明李引娟程农
- 关键词：操作系统
- 一种多处理器仿真系统的构建与评估被引量：1
- 2007年
- 以建立单处理器模型为基础,通过自定义静态交换网络构建了一个多处理器仿真系统。并采用并行矩阵乘算法对该多处理器系统进行了评估,比较了单处理器、两处理器以及四处理器系统的性能。
- 朱志强汤小明
- 关键词：多处理器仿真加速比
- 基于AADL的航空电子系统的建模研究
- 2013年
- 通过对航空电子系统AADL建模方法的研究与分析,得出了AADL模型转换的驱动开发模型。同时对AADL建模与分析工具进行了分析,建立了飞行管理系统AADL可靠性模型,能够协助飞行员完成从起飞到着陆的各项任务,管理、监视和自动操纵飞机实现全航程的自动飞行,为航空电子系统建模设计提供了可供参考的依据。
- 殷锋社汤小明
- 关键词：航空电子系统飞行管理系统AADL
- 电子系统分区调度理论研究与分析
- 2014年
- 通过对分区调度机制进行了分析,并对分区调度理论进行了研究,为确定分区的周期和容限提供了理论依据。在此基础上,进行了推理实例分析;实验表明:当任务的执行时间减小,曲线向左移动,则在更小的时间容限或更大的分区周期下分区仍然可调度。
- 殷锋社汤小明
- 关键词：周期实例分析
- 基于Web的分布式网管及其实现技术被引量：2
- 2002年
- 文章针对当前网络管理的发展趋势 ,汲取基于 Web网络管理的优点 ,考虑到网络性能管理的具体应用 ,提出了一种新的基于 Web的分布式网络性能管理系统模型 。
- 李引娟汤小明王福豹
- 关键词：WEB分布式网络管理计算机网络SNMP
- 安全关键系统的栈空间分析研究
- 2014年
- 由于存储空间异常引起的系统故障,系统开发或维护人员很难从失效特征直接判断到根原因。另外,存储空间异常通常会引起整个系统崩溃,对于安全关键系统,如航空电子系统,系统的失效往往会引起坠机或人员伤亡,因此,对安全关键系统的空间分析显得尤为重要。由于系统栈空间的分析涉及系统动态运行状态,在程序的任意点都有可能被中断服务程序或实时操作系统的其它任务中断。此外系统的栈分析需要基于目标码等特性,再次增加了对于系统栈空间分析的难度。本文从栈空间分析的必要性出发,提出一种综合中断抢占图的栈分析理论和方法,并就安全关键系统如何保证栈空间使用的确定性进行论述。最后,就安全关键软件系统FCOS的栈空间分析过程进行详细的阐述。
- 陈高锋汤小明
- 关键词：安全关键系统实时操作系统
- 航空电子安全关键系统BUFFER空间分析
- 2013年
- BUFFER空间分析是安全关键系统验证的重要组成部分,涉及到系统排队理论。通过对一般Buffer队列和周期任务Buffer进行了分析,并对BUFFER空间实例进行了验证,可缩短Buffer消息等待时间,增大Buffer共享的最大消息数,为航空电子安全关键系统BUFFER空间分析提供了可供参考的依据。
- 殷锋社汤小明
- 关键词：安全关键系统
