|
|
题 目 | 机载操作系统分区间通信建模工具的设计与实现 | |||||
学生姓名 | 史迎春 | 学号 | 1340501170241 | 专业班级 | 计科1702 | |
 | 一、内容： 本文是面向机载分区操作系统的分区间通信配置工具的研究。该工具用于对机载分区操作系统中分区间通信关系的配置，能够对通信关系进行可视化配置、静态分析，并自动生成机载分区操作系统的的分区间通信配置文件。本文主要采用模型驱动技术来设计和实现通信配置工具。 本文基于Windows操作系统作为基础开发环境，使用通用建模环境GME（General Modeling Environment）作为建模工具。使用模型驱动技术，建立机载分区操作系统分区间通信关系的领域元模型，并使用此元模型生成机载分区操作系统分区间通信建模环境。 机载分区操作系统特性研究：研究机载分区操作系统的特性，重点研究其作为一个分区操作系统所体现出的时间隔离、空间隔离、轮转调度的特性。 机载分区操作系统分区间通信特性研究：研究机载分区操作系统分区间通信的特点。包括通信类型、采样通信方式与队列通信方式、通信的确定性等，对其特性进行分析和总结。 机载分区操作系统分区间通信技术研究：研究各种通信建模技术及建模工具。包括Eclipse建模框架EMF，通用建模环境GME等建模工具，分析其优缺点，讨论其对机载分区操作系统分区间通信建模的适用性。 机载分区操作系统分区间通信关系元建模技术研究：使用通用建模环境GME，建立机载分区操作系统分区间通信关系的元模型，并使用此元模型自动生成通信建模工具。 机载分区操作系统分区间通信配置工具的验证：使用上一步骤生成的通信建模工具，建立机载飞行管理分区和导航分区的分区间通信关系模型，对此模型进行静态检查，并生成分区间通信配置文件。 二、要求： （1）提供图形化的配置界面，能够配置机载分区操作系统终端的分区属性及分区间通信通信关系； （2）能够配置端口属性：包括端口类型、端口方向、队列大小、消息最大长度、刷新周期等； （3）能够对配置好的机载分区操作系统分区间通信模型进行静态检查，包括源端口与目标端口类型一致性检查、方向互补性检查等，为修正、完善机载分区操作系统分区间通信模型提供直接的依据； （4）能够根据模型自动生成机载分区操作系统分区间通信配置表，此配置表应能作为虚拟机载操作系统或真实机载分区操作系统的输入。 在此基础上完成毕业论文。 | |||||
设计（论文）起止时间 | 2017年 1 月 3 日 至 2017 年 5 月 15 日 | |||||
设计（论文）地点 | 校内（计算机创新实验室） | |||||
指导教师签名 | 年 月 日 | |||||
教研室主任签名 | 年 月 日 | |||||
学生签名 | 年 月 日 | |||||
