Hybrid AADL：混成系统体系结构分析与设计语言

论文摘要	第1-7页
ABSTRACT	第7-10页
1. 绪论	第10-11页
·研究背景和意义	第10-11页
·研究内容	第11页
·论文组织	第11页
2. 相关技术和概念	第11-17页
·AADL建模语言	第11-14页
·OSATE建模平台	第14-15页
·混成系统	第15-17页
3. 混成AADL	第17-40页
·预定义数据类型以及属性	第18-19页
·混成AADL的语法	第19-22页
·组件声明子句	第20-21页
·等式子句	第21-22页
·混成AADL的语义	第22-29页
·声明子句的语义	第23-25页
·等式子句的语义	第25-29页
·混成AADL的应用案例：月球车的着陆过程	第29-40页
4. 混成AADL中的死锁和活锁	第40-58页
·混成AADL中死锁和活锁的形式化定义	第41-45页
·AADL流中的死锁和活锁	第41-44页
·混成系统中的死锁以及活锁	第44-45页
·验证混成AADL中的死锁和活锁	第45-53页
·Uppaal介绍	第45-49页
·AADL流到时间自动机的转换	第49-52页
·用Uppaal验证死锁和活锁	第52-53页
·月球车系统的设计与验证	第53-57页
·规约描述	第53页
·月球车的混成AADL模型	第53-55页
·月球车控制系统的时间自动机模型	第55-56页
·用Uppaal模型检测引擎进行验证	第56-57页
·相关工作	第57-58页
结语	第58-60页
参考文献	第60-62页
致谢	第62-63页
攻读硕士学位期间发表论文和科研情况	第63页