张旻
- 作品数：15 被引量：26H指数：3
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：国家自然科学基金国防基础科研计划中国航空科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 分布式系统监视器的设计与实现被引量：1
- 2010年
- 机载分布式实时系统是由一组节点组成的多处理器系统,它是新一代航空电子系统综合化的基础。对于机载分布式实时系统来说监视是在其开发和调试过程中了解系统行为和状态必不可少的手段。针对机载分布式实时系统的特点设计了分布式系统监视器,实现了对机载分布式实时系统的监视并将监视数据图形化显示。
- 张旻吴芳刘建军
- 关键词：多处理器系统
- 一种面向机载软件开发环境的运行架构设计
- 2022年
- 近年来随着机载软件规模和复杂度的快速提升,开发和维护人员对集成开发环境的支撑能力提出了更高的要求,机载软件开发环境的运行场景和使用模式越来越复杂多样。因此,非常有必要在重新梳理机载软件开发环境运行架构的基础上,分析其运行原理,定义其运行模式及工具之间的关系。给出了一种典型的机载软件开发环境运行架构设计,在此基础上定义了其运行原理和五种主要运行模式,并描述了各模式和工具之间的衔接关系,为构建开放式、可扩展的机载软件开发环境提供了参考依据。
- 张旻张旻武君胜麦先根
- 关键词：集成开发环境
- 嵌入式操作系统可裁剪性技术研究
- 2018年
- 当前,构建嵌入式操作系统的方法从传统的基于构造头文件方法,到如今的图形化配置工具以及所见即所得的方式,配合工程管理以及编译系统,为用户提供了一种可视化的配置手段,使其裁剪性越来越灵活方便。从组件技术、Layer层技术、标准构件技术三方面对嵌入式操作系统的可裁剪性进行分析,详细论述了三种技术的实现原理以及相关技术。
- 齐晓斌高原张旻
- 关键词：组件技术LAYER
- 测试用例自动构建和自动执行脚本的设计与实现
- 2019年
- 基于嵌入式系统配套的开发环境,提供一种自动构建和运行测试用例的方法。对以项目为单位的测试用例,根据测试用例列表的信息,自动生成编译命令或运行命令并存放到命令序列文件中。开发环境根据命令序列逐条执行命令,以完成预期的编译或运行操作。
- 魏国麦先根张旻
- 关键词：脚本
- 一种嵌入式系统增强开发工具与目标机交互的方法被引量：1
- 2019年
- 介绍一种嵌入式系统在操作系统支持下执行应用代码的系统和方法,采用在应用代码中注入系统调用的方法使得开发人员能够通过命令控制目标机的运行状态,并针对注入系统调用或绑定开发工具引起的模块系统调用失败问题进行分析解决,有效增强了开发工具与目标机交互的稳定性。
- 魏国张旻
- 关键词：嵌入式系统稳定性
- 基于CVSA的无虚拟机主机端编译器验证适配设计与实现
- 2019年
- 编译器厂商不断向编译器提供新的非一致性扩展,但这些扩展是否会造成程序的问题,就需要有相应的工具进行检查。CVSA是国际公认的C编译器一致性验证工具,但在验证交叉编译器时具有用况约束。提供一种适配CVSA的设计和实现,以扩展CVSA的使用范围。
- 魏国麦先根张旻
- 关键词：交叉编译器适配
- 基于角色的IMA平台应用软件开发与集成技术被引量：1
- 2021年
- 航空电子系统经历了独立式、联合试阶段,发展为当今的综合化(IMA)阶段,在完成各子系统大综合的同时也极大地提升了系统的复杂性。这种复杂性对软硬件的配置、开发和集成都带来了极大的挑战,传统的方法和技术难以胜任。参考DO-297等相关标准,从参与者的角度对IMA系统的开发和集成角色进行了划分,并对各类角色的工作流程进行了分析,给出了工具能力的定义,为IMA系统的开发与集成梳理了一套可行的方案。
- 张旻张旻武君胜
- 关键词：航电系统角色划分
- 机载软件开发环境研究被引量：5
- 2013年
- 介绍了机载软件开发环境的发展现状,分析了机载软件开发环境的组成结构,研究了机载软件开发环境的主要关键技术并概述了机载软件开发环境的发展趋势。
- 张旻吴芳
- 关键词：机载软件嵌入式软件集成开发环境
- 机载多分区系统可调度性分析算法研究
- 2023年
- 机载领域普遍采用符合ARINC653标准的分区操作系统支撑应用软件综合化。在分区操作系统的两级调度模型下,机载软件苛刻的实时性要求通常难以得到有效的确定性保证,因此对系统进行可调度性分析显得至关重要。通过可调度性分析算法判断调度表是否能满足分区内进程的实时性要求,是保障系统中所有的进程在规定的时间内完成运算任务的有效手段。基于运筹学方法,通过引入虚拟进程,设计了一种多分区系统可调度性分析算法,并进行了数值验证。验证结果表明,该算法能够准确判断调度表与进程时间属性是否匹配,给出系统是否可调度的定性分析结论,帮助系统集成人员在系统实际运行前对调度表的合理性进行先期验证,降低试验和试飞风险。
- 张旻张旻武君胜崔西宁
- 关键词：ARINC653可调度性分析
- DO-330工具鉴定策略分析及典型工具鉴定考虑被引量：2
- 2022年
- 随着综合模块化航空电子系统的发展及民机软件规模与复杂度的不断提升,大规模、多来源民机软件的多层次开发、增量式集成已经成为主要发展趋势,这些复杂的工作必须借助软件工具才能完成。综合化水平的提升对软件开发工具的能力提出了更高的要求,需要在综合化配置和监视分析等方面提供支撑能力并考虑工具鉴定的问题。民机领域的软件适航标准为DO-178C。其中针对软件工具的鉴定要求在DO-330中定义。对DO-178C、DO-330中软件工具的适航鉴定策略进行了分析,并结合典型机载软件开发工具和验证工具设计实践,分别给出了工具鉴定的设计和实施考虑。
- 张旻张旻武君胜
- 关键词：适航
