张旻
- 作品数：16 被引量：26H指数：3
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：国家自然科学基金国防基础科研计划中国航空科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 分布式系统监视器的设计与实现被引量：1
- 2010年
- 机载分布式实时系统是由一组节点组成的多处理器系统,它是新一代航空电子系统综合化的基础。对于机载分布式实时系统来说监视是在其开发和调试过程中了解系统行为和状态必不可少的手段。针对机载分布式实时系统的特点设计了分布式系统监视器,实现了对机载分布式实时系统的监视并将监视数据图形化显示。
- 张旻吴芳刘建军
- 关键词：多处理器系统
- 一种面向机载软件开发环境的运行架构设计
- 2022年
- 近年来随着机载软件规模和复杂度的快速提升,开发和维护人员对集成开发环境的支撑能力提出了更高的要求,机载软件开发环境的运行场景和使用模式越来越复杂多样。因此,非常有必要在重新梳理机载软件开发环境运行架构的基础上,分析其运行原理,定义其运行模式及工具之间的关系。给出了一种典型的机载软件开发环境运行架构设计,在此基础上定义了其运行原理和五种主要运行模式,并描述了各模式和工具之间的衔接关系,为构建开放式、可扩展的机载软件开发环境提供了参考依据。
- 张旻张旻武君胜麦先根
- 关键词：集成开发环境
- 嵌入式操作系统可裁剪性技术研究
- 2018年
- 当前,构建嵌入式操作系统的方法从传统的基于构造头文件方法,到如今的图形化配置工具以及所见即所得的方式,配合工程管理以及编译系统,为用户提供了一种可视化的配置手段,使其裁剪性越来越灵活方便。从组件技术、Layer层技术、标准构件技术三方面对嵌入式操作系统的可裁剪性进行分析,详细论述了三种技术的实现原理以及相关技术。
- 齐晓斌高原张旻
- 关键词：组件技术LAYER
- 测试用例自动构建和自动执行脚本的设计与实现
- 2019年
- 基于嵌入式系统配套的开发环境,提供一种自动构建和运行测试用例的方法。对以项目为单位的测试用例,根据测试用例列表的信息,自动生成编译命令或运行命令并存放到命令序列文件中。开发环境根据命令序列逐条执行命令,以完成预期的编译或运行操作。
- 魏国麦先根张旻
- 关键词：脚本
- 综合化航空电子系统资源配置技术研究
- 2024年
- 在综合化航空电子系统(IMA)中,多个不同的机载应用被综合到一起,它们之间的物理隔离被打破,共享统一的硬件平台和基础软件平台。软硬件资源的高度共享化、通用化在减少机载设备体积、重量、功耗的同时大大增加了系统资源配置的难度和复杂性,如何对系统资源进行合理、有效的配置成为突出问题。面向IMA系统资源配置需求,聚焦对IMA系统软硬件资源统一规划问题,从计算、网络、应用等多个维度进行分析,目的是使IMA系统资源在满足应用需求的前提下得到充分利用。
- 张旻王济乾田丹
- 关键词：硬件平台基础软件平台
- 一种嵌入式系统增强开发工具与目标机交互的方法被引量：1
- 2019年
- 介绍一种嵌入式系统在操作系统支持下执行应用代码的系统和方法,采用在应用代码中注入系统调用的方法使得开发人员能够通过命令控制目标机的运行状态,并针对注入系统调用或绑定开发工具引起的模块系统调用失败问题进行分析解决,有效增强了开发工具与目标机交互的稳定性。
- 魏国张旻
- 关键词：嵌入式系统稳定性
- 基于CVSA的无虚拟机主机端编译器验证适配设计与实现
- 2019年
- 编译器厂商不断向编译器提供新的非一致性扩展,但这些扩展是否会造成程序的问题,就需要有相应的工具进行检查。CVSA是国际公认的C编译器一致性验证工具,但在验证交叉编译器时具有用况约束。提供一种适配CVSA的设计和实现,以扩展CVSA的使用范围。
- 魏国麦先根张旻
- 关键词：交叉编译器适配
- DO-330工具鉴定策略分析及典型工具鉴定考虑被引量：3
- 2022年
- 随着综合模块化航空电子系统的发展及民机软件规模与复杂度的不断提升,大规模、多来源民机软件的多层次开发、增量式集成已经成为主要发展趋势,这些复杂的工作必须借助软件工具才能完成。综合化水平的提升对软件开发工具的能力提出了更高的要求,需要在综合化配置和监视分析等方面提供支撑能力并考虑工具鉴定的问题。民机领域的软件适航标准为DO-178C。其中针对软件工具的鉴定要求在DO-330中定义。对DO-178C、DO-330中软件工具的适航鉴定策略进行了分析,并结合典型机载软件开发工具和验证工具设计实践,分别给出了工具鉴定的设计和实施考虑。
- 张旻张旻武君胜
- 关键词：适航
- 一种基于XSLT的系统配置设计方法
- 2015年
- 针对嵌入式实时操作系统用户经常需要手工编辑系统配置文件的技术难点,基于配置文件CML2系统配置的特点,提出了一种基于XSLT技术的系统配置设计方法。以模型驱动架构为设计模式,把系统配置的开发核心转移到模型上,通过模型的相互转换和代码生成技术得到最终的系统配置,利用XSD进行模型的语义约束,再通过XSL语言进行目标文件的转换。改进后的系统运行效果显示:该配置方法能够针对不同平台实现软件构件的"即插即用",做到易于维护,易于操作。
- 齐晓斌夏菲张旻林卓田丹
- 关键词：组件技术
- 一种针对嵌入式软件开发的交叉通信框架被引量：4
- 2022年
- 嵌入式设备的软硬件资源相对于通用计算机来说比较匮乏,通常需要通过交叉编译、交叉调试的方式进行软件开发。因此,在宿主机和嵌入式设备之间建立稳定、可靠的交叉通信通道是进行嵌入式软件开发的必要基础设施。调试、监控和交互等嵌入式软件开发的常用功能均需在交叉通信的基础上完成。交叉通信框架的设计对嵌入式软件开发具有极大的影响,优秀的交叉通信框架能够降低嵌入式软件的开发难度,提升开发效率。介绍了交叉通信框架的发展情况,描述两种主流的交叉通信框架设计思路及优缺点,并将它们进行了有机结合,给出了一种能够兼容两种交叉通信框架的设计。
- 张旻张旻武君胜田丹
- 关键词：嵌入式软件软件开发
