ARINC653

作品数：60被引量：149H指数：7
导出分析报告
相关领域：自动化与计算机技术航空宇航科学技术更多>>
相关作者：马金晶刘雪胡军胡林平叶宏更多>>
相关机构：中航工业西安航空计算技术研究所中国航空工业集团公司西安航空计算技术研究所西安航空计算技术研究所南京航空航天大学更多>>
相关期刊：《微电子学与计算机》《电子测试》《现代电子技术》《科技风》更多>>
相关基金：中国航空科学基金国家自然科学基金国家科技重大专项国防基础科研计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
ARINC653分区操作系统的多核多任务调度算法
《计算机与数字工程》2024年第11期3242-3245,共4页孙泽伟 朱欣娟 赵泽烨 
基于ARINC653规范,在确保任务调度实时性的前提下,为最大化利用多核处理器资源,提出了一种基于任务负载率并结合任务周期的轮转调度方法。该方法通过计算任务的负载率给任务分配权值,通过权值与任务周期定义任务的优先级,从而生成任务...
关键词：ARINC653规范 多核多任务 实时系统 调度算法 
面向ARINC653操作系统的综合化航空电子软件代码自动生成方法
《计算机科学》2024年第7期10-21,共12页凌仕翔 杨志斌 周勇 
国家自然科学基金(62072233);国防基础科研项目(JCKY2020205C006);航空科学基金(201919052002);南京航空航天大学科研与实践创新计划(xcxjh20221602)。
综合化航空电子系统(Integrated Modular Avionics, IMA)是一类典型的安全关键系统,具有分布式、异构、计算资源和物理资源强耦合等特征。随着IMA系统趋于复杂化和智能化,系统的功能越来越多地采用软件来实现,如何对这类复杂软件进行建...
关键词：综合化航空电子系统 ARINC653操作系统 AADL 代码自动生成 
机载多分区系统可调度性分析算法研究
《西北工业大学学报》2023年第3期557-567,共11页张旻 武君胜 崔西宁 孙景昌 
国防基础科研项目(JCKY2016607B006)资助。
机载领域普遍采用符合ARINC653标准的分区操作系统支撑应用软件综合化。在分区操作系统的两级调度模型下,机载软件苛刻的实时性要求通常难以得到有效的确定性保证,因此对系统进行可调度性分析显得至关重要。通过可调度性分析算法判断调...
关键词：ARINC653 综合化 可调度性分析 多分区 虚拟进程 
一种实时系统可调度性分析工具设计
《信息技术与信息化》2023年第3期181-184,共4页孙景昌 高雅濛 张磊 
面对航空电子系统高度综合化、模块化的要求,在系统设计中广泛采用符合ARINC653规范的分区系统模型。规范中要求系统采用分区间、分区内的两层调度结构,而在多分区、多任务、强实时性的复杂系统中,系统设计者难以在运行前判定系统的可...
关键词：综合化 实时系统 ARINC653 多分区 可调度性分析 
基于网络演算的多窗口分区可调度性分析被引量：2
《航空学报》2023年第2期280-289,共10页何锋 张立 于思凡 周璇 
国家自然科学基金(62071023)。
ARINC653-2规范定义综合模块化航空电子(IMA)实时操作系统采用分区和任务两层调度方案,在该框架下的任务可调度性分析是保证航空电子系统实时性、可靠性的关键。目前的可调度性分析无法计算多窗口分区下任务最大响应时间(WCRT)。为此,...
关键词：综合模块化航空电子(IMA) ARINC653 分区调度 多窗口分区 网络演算 可调度性分析 
基于天脉2操作系统的机载机电管理软件设计被引量：1
《山西电子技术》2022年第6期50-52,共3页李庆楠 刘宵辰 严琳 骞恒源 
机电管理系统在小、轻、低设计需求下,高度综合是其必然发展趋势;产品功能增多,软件复杂性及规模不断增大,依靠源代码或库进行软件综合的方式存在耦合性强,软件异常时彼此互相影响的问题。文本基于天脉2设计综合化、低耦合、强隔离的机...
关键词：天脉2 ARINC653 分区操作系统 机电管理 软件设计 
基于FlexRay总线的无人机航电系统设计被引量：3
《现代电子技术》2021年第23期13-17,共5页豆海利 
空军工程大学基础部科研启动基金资助(JK2021102)。
针对中小型无人机航电系统,选用具有时间触发特性的FlexRay总线作为系统通信总线,采用双通道冗余传输方式,保证了数据通信的实时性、稳定性和安全性。依据ASAAC统一架构标准和ARINC653结构设计方法,在对系统应用需求分析的基础上,设计...
关键词：综合模块化航空电子 无人机 FLEXRAY ARINC653 时间触发协议 开放式系统架构 系统健康管理 蓝图配置 
ARINC653实时系统可调度性验证综述
《信息技术与信息化》2021年第6期25-27,共3页雷煜靓 胡宁 张磊 
工信部民机科研(MJ-2017-S-39)。
ARINC653标准规定了综合模块化航电(integrated modular avionics,IMA)系统的两级调度模式,随着系统规模的增大,IMA系统可调度性验证工作的复杂度越来越高。对IMA系统可调度性验证方法进行了分析,总结了近年来主要的三类ARINC653实时系...
关键词：ARINC653 可调度性验证 数学证明 仿真验证 模型检验 
ARINC653实时任务可调度性验证方法被引量：1
《单片机与嵌入式系统应用》2021年第4期15-20,共6页雷煜靓 胡宁 陈福 崔西宁 
国防基础科研项目资助(JCKY2016607B006);工信部民机科研(MJ-2017-S-39)。
针对综合模块化航空电子系统(Integrated Modular Avionics,IMA)存在周期任务和非周期任务,以及任务间依赖关系,传统方法不能准确验证其实时任务可调度性的问题,本文提出了一种基于Stopwatch时间自动机的ARINC653实时任务可调度性验证方...
关键词：ARINC653 可调度性 秒表时间自动机 统计模型检验 符号模型检验 
民机航电系统综合核心处理机平台软件技术研究被引量：2
《单片机与嵌入式系统应用》2021年第3期18-23,共6页陈福 王佳明 雷煜靓 张彤 
国家十二五基金项目资助(MJ-2017-S-39)。
针对大型民用客机综合模块化航电核心处理机驻留功能应用数量多、安全级别不同、需独立认证等特点,提出了一种基于ARINC653规范的平台软件架构,设计并实现了平台软件,包括平台基础软件和10项平台驻留应用,研究了相关关键技术,为国产大...
关键词：综合模块化航空电子 基础软件 驻留应用 ARINC653 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部