中文摘要：

在对DIMA分布式应用执行的建模和分析的基础上,对具有时间确定性的时间触发（time-triggered,TT）消息对DIMA中实时任务的影响进行分析;以此为依据,以任务间依赖关系和DIMA的时间分区机制为重点考察对象,提出应用层对网络层上时间触发消息的时间约束模型和冲突矩阵概念。设计一种基于启发式优化算法的应用约束下时间触发消息调度表的生成方法,通过冲突矩阵检查步骤提高求解过程中的效率。通过软件仿真实现对该优化生成方法的适用性进行验证。

英文摘要：

For the distributed integrated modular avionics（DIMA） interconnected using the time-triggered Ethernet（TTE） protocol,the relationship between time-triggered（TT） message and DIMA real-time communication was studied,based on the modeling and analyzing of application execution on DIMA architecture.Based on that,a time constraint model for application layer to TT message in network layer was constructed,focusing on task-dependencies and time partitions of DIMA The concept of conflict-matrix was proposed.A heuristic algorithm to generate TT message schedule table considering application layer time constraint was proposed.The applicability of the algorithm was verified by simulation experience.