检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:孙景昌 高雅濛 张磊[1] SUN Jingchang;GAO Yameng;ZHANG Lei
机构地区:[1]航空工业西安航空计算技术研究所,陕西西安710068
出 处:《信息技术与信息化》2023年第3期181-184,共4页Information Technology and Informatization
摘 要:面对航空电子系统高度综合化、模块化的要求,在系统设计中广泛采用符合ARINC653规范的分区系统模型。规范中要求系统采用分区间、分区内的两层调度结构,而在多分区、多任务、强实时性的复杂系统中,系统设计者难以在运行前判定系统的可调度性,从而带来系统不确定性。针对上述问题,通过分析ARINC653调度结构,提出影响系统可调度性的关键指标,基于某国产集成开发环境,设计了一种可调度性分析工具,通过解析配置文件、判断调度表合理性、计算调度表、输出调度表结果的方法得到系统可调度性分析结果,为判定系统可调度性提供了有效的支撑。
关 键 词:综合化 实时系统 ARINC653 多分区 可调度性分析
分 类 号:V243[航空宇航科学与技术—飞行器设计]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.144.124.142