论文部分内容阅读
近年来综合模块化航空电子系统(IMA)已经广泛应用于机载航空电子系统,是航空领域的一项重要系统结构和发展趋势。在IMA系统开发过程中,针对系统满足资源共享以及安全可靠运行的需求,IMA系统资源的配置成为开发过程中至关重要的一部分,因此如何有效的对IMA系统资源进行配置以及确保资源配置的正确性成为综合航电系统领域一项重要的研究问题。同时在系统开发过程中包含硬件资源分配和软件资源分配两个阶段,在满足资源约束情况下不同的分配方式会导致飞机质量、开发成本以及安全性等性能指标的不同,因此如何根据多个目标对系统硬软件资源的分配进行优化从而获得最优分配在综合航电领域也将具有重要意义。本文工作主要针对IMA系统开发和资源配置流程展开分析,并对其中的系统时间资源配置进行验证,同时对系统硬软件资源的分配问题进行建模并对其进行多目标优化从而获得最优解,具体研究内容如下所述:1)针对IMA系统资源共享特征,结合对IMA系统开发与资源配置流程的分析,基于实时嵌入式系统建模与分析规范(MARTE)对IMA系统时间行为相关概念(包括通信虚拟链路、AFDX终端、资源设备模块、分区、进程等)进行建模从而获得对应的MARTE模型,设计了基于模型驱动架构的IMA系统建模方法。2)针对IMA系统分区调度模型的分析,将系统时间行为概念所得到的MARTE模型转换为MAST-2文本模型进行描述并加上自定义调度策略,设计了一种系统分区可调度性验证框架,并通过MAST可调度分析工具对MAST-2文本模型进行分析,基于系统可调度性判定设计了时间资源配置的正确性验证方法。3)研究了IMA系统硬件资源分配和软件资源分配问题,采用二进制编码形式对系统硬软件资源分配进行建模,并且设计了相关数学等式和不等式对资源分配约束进行描述,然后根据质量、成本以及安全性等需求目标构建目标函数,采用多目标优化算法进行优化,从而得到硬软件资源分配的最优解。4)基于Eclipse平台和EMF等相关机制,设计并实现了一个用于IMA系统资源配置验证的原型工具IMA_RCV,并通过该工具给出了机载水处理子系统的资源配置、建模分析以及时间资源配置验证的实例分析。最后针对系统硬软件资源分配的建模以及优化问题给出相关实例分析。