首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--微型计算机论文--各种微型计算机论文--微处理机论文

基于Rhapsody的嵌入式无人机飞控软件系统建模及验证

摘要第1-5页
ABSTRACT第5-10页
图目录第10-13页
表目录第13-14页
注释表第14-16页
第一章 绪论第16-22页
   ·课题研究背景第16-19页
     ·传统嵌入式软件开发方法及缺陷第16-17页
     ·迭代增量式嵌入式软件开发方法第17-18页
     ·基于UML 的嵌入式软件开发环境第18-19页
   ·国内外相关研究工作第19页
   ·课题来源及研究意义第19-20页
     ·课题来源第19-20页
     ·课题研究意义第20页
   ·本文研究内容的结构安排第20-22页
第二章 基于Rhapsody 的无人机飞控软件开发平台第22-31页
   ·模型驱动开发方法及UML 语言第22-25页
     ·模型驱动开发方法第22页
     ·标准建模语言UML第22-25页
   ·支持UML 语言的嵌入式软件开发环境Rhapsody第25-27页
     ·传统嵌入式软件开发环境第25页
     ·Rhapsody 的组成第25-26页
     ·基于Rhapsody 的嵌入式软件开发环境结构与特点第26-27页
   ·构建基于Rhapsody 的无人机飞行控制软件开发平台第27-29页
     ·硬件平台第28页
     ·嵌入式ArmLinux 交叉开发环境第28-29页
     ·配置Rhapsody 高层软件开发环境第29页
   ·本章小结第29-31页
第三章 飞控软件系统分析第31-48页
   ·飞控软件系统需求分析第31-37页
     ·飞行控制系统总体需求第31-32页
     ·飞控软件功能性需求第32-36页
     ·飞控软件非功能性需求第36-37页
   ·飞控软件系统静态结构第37-47页
     ·Rhapsody 环境中UML 应用——类图第37-38页
     ·实体类第38-40页
     ·控制类第40-42页
     ·边界类第42-44页
     ·建立顺序图第44-47页
   ·本章小结第47-48页
第四章 飞控软件系统设计第48-73页
   ·飞控软件系统架构第48-50页
     ·Rhapsody 环境中UML 应用——包第48页
     ·飞控软件系统架构设计第48-50页
   ·Rhapsody 环境中的UML 应用——状态图第50页
   ·飞控软件系统外设驱动相关设计第50-61页
     ·外设驱动第50-55页
     ·传感器数据接收第55-57页
     ·执行机构数据输出第57-59页
     ·遥控指令接收与遥测数据输出第59-61页
   ·南线管理及导南第61-66页
     ·南线管理第62-64页
     ·导南第64-66页
   ·控制律解算第66-71页
   ·任务优先级安排第71-72页
   ·本章小结第72-73页
第五章 飞控软件代码自动生成与调试第73-93页
   ·飞控软件模型-代码自动转换——OXF 框架第73页
   ·OXF 实时框架中实时相关元素分析第73-79页
     ·活动类第73-74页
     ·响应类第74-76页
     ·事件与操作第76-78页
     ·状态机第78-79页
   ·OXF 实时框架中适配器分析和实现第79-83页
     ·抽象工厂设计模式第79-80页
     ·Rhapsody 实时框架中的抽象工厂模式应用第80-81页
     ·Rhapsody 实时框架针对具体ArmLinux 操作系统适配器实现第81-83页
   ·飞控软件调试第83-92页
     ·语法和语义的检测第83页
     ·设计级调试第83-87页
     ·Rhapsody 环境下的仿真验证第87-92页
   ·本章小结第92-93页
第六章 总结与展望第93-95页
   ·本文的主要工作总结第93页
   ·展望第93-95页
参考文献第95-98页
致谢第98-99页
在学期间的研究成果及发表的学术论文第99页

论文共99页,点击 下载论文
上一篇:管理软件的自动化测试系统框架研究
下一篇:多端口SRAM的测试与诊断技术研究