陈晓磊
- 作品数：5 被引量：2H指数：1
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：国家自然科学基金中国人民解放军总装备部预研基金更多>>
- 相关领域：航空宇航科学技术自动化与计算机技术更多>>
- 符合DO-330的机载软件工具鉴定
- 2024年
- 在安全关键领域的软件开发过程中,对软件开发和验证过程中所使用的工具,按照其实际用途开展工具鉴定是支撑软件实现其开发和验证活动相关目标的重要方法之一。对当前国际上有效的各行业标准中与工具鉴定相关的内容进行了概要的描述,并且重点阐述航空电子领域的DO-330标准中的工具鉴定过程,对实施工具鉴定时的所需要开展的活动内容进行了综合分析,这些内容是工具鉴定申请人在实际项目中应重点考虑的,同时,还为工具开发人员给出了工具鉴定包开发的建议。
- 陈晓磊李晓龙任晓瑞
- 关键词：机载软件
- 安全关键系统中操作系统的安全分析被引量：1
- 2020年
- 随着计算机软件的广泛使用,软件安全成为普遍关注的问题。在分析安全相关标准的基础上,建议采用基于产品和基于过程相结合的方法开发操作系统。选取面向安全领域的综合化系统,建立分区操作系统功能到通用计算平台安全功能需求的映射关系,开展失效和危害分析,导出安全需求及缓解措施,借鉴模块化开发的思想,建立操作系统的安全合约,随使用的具体系统,从需求、架构、行为、性能等四个层次,分析其安全合约中的失效是否可接受,从而完成系统安全评估。采用方法的OS安全合约可支持多个项目不同应用的重用。
- 任晓瑞陈晓磊
- 关键词：操作系统
- 符合DO-178C的软件需求分析方法
- 2023年
- 为了满足DO-178C对验证过程提出的目标要求,需要对DAL等级为A级的软件进行基于需求的软件测试,并要求测试需同时满足对软件需求的覆盖率目标和软件结构的覆盖率目标,因此,完备并且正确的需求将是软件结构覆盖率目标达成的前提,这就对开发软件需求提出了较高的要求。为了使软件需求能支持这些测试活动目标的实现,在DO-178C中软件需求过程和设计过程中高层需求和低层需求分析活动进行研究的基础上,描述了符合DO-178C的软件需求分析方法,包括软件高层需求分析方法和软件低层需求分析方法。
- 陈晓磊王济乾张前
- 一种优化的分区调度机制的研究与实现
- 2021年
- 在新一代综合化、模块化的航空电子系统中,符合ARINC653规范的分区操作系统应用极为广泛。本文重点研究了ARINC653规范要求的嵌入式操作系统分区调度机制,并在该机制基础上,提出并实现了一种更加优化的分区调度方法。
- 仝敏陈晓磊杨静远
- 关键词：ARINC653
- 浅谈DO-178C中附加代码验证目标的实现被引量：1
- 2024年
- DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证。在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9“不能追踪到源代码的附加代码的验证已完成”。
- 陈晓磊程小贤
