1、
本论文在基于模型的开发方法研究基础上，采用AADL建模语言，结合系统级设计方法，设计了兼容OSEK/VDX的车用嵌入式实时系统模型，并提出了基于AADL的模型架构验证和行为验证方法。
互联网摘选
2、
设计并实现了B方法的AADL模型生成工具，可以从需求自动化生成部分设计模型。
互联网摘选
3、
研究B方法和AADL之间的关系，建立了B方法到AADL的映射规则。
互联网摘选
4、
论文最后总结了UCaS工具的优点及局限性，对AADL模型验证工具的后继研究和发展进行了展望。
互联网摘选
5、
6、
每个子系统的建模都是根据铁路系统的具体需求，使用合理的AADL构件实现的。
互联网摘选
7、
The models are represented using the notations known as the UML and AADL.
这些模型利用叫作UML和AADL的符号表示法构建。
互联网摘选
8、
9、
