马倩
- 作品数：4 被引量：2H指数：1
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：航空宇航科学技术自动化与计算机技术更多>>
- 基于模型驱动构件库的飞行控制软件工厂研究被引量：2
- 2023年
- 针对飞行控制软件日趋紧张的型号进度和快速增长的代码规模,首先,提出了基于模型驱动构件库开发飞行控制软件的基本概念,并与传统软件开发方法进行了对比分析;然后,针对飞行控制软件快速开发的需求,根据构件的设计准则,对飞行控制软件功能、性能、软件和硬件组成、接口关系进行领域工程建模;对飞行控制软件的共性通用部分和型号定制部分解耦后进行分层和领域构件化分析,建立了软件工厂模式的开发平台框架;最后,详细讨论了基于模型驱动构件库的软件工厂实现和维护的关键技术。
- 陈宣文马超马倩孟强
- 关键词：构件库飞行控制软件
- 一种嵌入式飞控计算机产品验收系统设计
- 2022年
- 针对飞控计算机的产品功能验证需求,提出了飞控计算机产品验收测试系统的开发思路,设计实现了飞控计算机产品验收系统的软件,包括飞控计算机验收测试软件和飞控计算机测试平台软件。通过与仿真测试平台的交联,实现了对飞控计算机的计算机内部资源和软、硬件外部接口的自动测试,对产品检验等工作具有辅助作用。
- 王璞阮婷马倩
- 关键词：嵌入式软件飞控计算机机内测试
- 基于DSP对哲学家进餐问题的研究和实现
- 2015年
- 良好的交互性、并行性、同步性早已是大多数计算机操作系统不可或缺的功能,哲学家就餐问题是操作系统研究领域中一个著名的问题,是从计算机实现伪同步并行功能研究中演化而来的经典进程间通讯问题,对研究同步性有很大的帮助和启发。该文探究了使用TMS32C6713模拟哲学家进餐的问题,并使用C语言对其进行了实现。
- 赵熠王国静马倩
- 关键词：DSP嵌入式BIOS
- 2×2余度襟翼控制计算机系统余度处理关键技术研究
- 2021年
- 本文对2×2余度襟翼控制计算机系统结构进行了介绍,根据系统特点,提出了系统软件架构设计方案。并根据高安全系统的容错要求,对系统余度处理的关键技术进行研究,重点分析了余度信号表决和监控策略选取,以及余度系统故障综合设计,为实现系统容错软件提供了解决方案。
- 马倩马超周颖
- 关键词：容错软件
