AADL模型的形式化研究  

Research on Formalization of AADL Model

作　　者：刘玮[1] 李蜀瑜[1] 

机构地区：[1]陕西师范大学计算机学院,陕西西安710062

出　　处：《计算机技术与发展》2013年第9期43-45,50,共4页Computer Technology and Development

基　　金：中央高校基本科研业务费专项资金(GK2010002011);教育部科学教育重点项目(107106)

摘　　要：在嵌入式系统建模领域,AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点,国内外众多学者展开了热烈的讨论。为了帮助系统开发人员深入了解AADL,指导软件开发进程,提高基于AADL模型的软件开发效率,分别从AADL模型可靠性分析、可调度性分析以及AADL模型测试这三个不同角度综述了已经出现的各种AADL形式化验证理论,对比分析了它们的优点和不足。简要介绍有关AADL验证工具,研究基于AADL模型的嵌入式开发平台的构建。In the embedded system modeling field, the AADL has gradually become the industry standard because it has the characteristics of modeling hardware/software collaborative. Based on the AADL formal characteristics,many domestic and foreign scholars launched a warm discussion. In order to help the system developers better understand AADL, guide the software development process,improve soft- ware development efficiency, discuss the AADL model from reliability analysis, schedulability analysis and AADL model testing on the three different viewpoint of the AADL formal verification theory. By contrast,it analyzes their advantages and disadvantages. Briefly in- troduce the AADL verification tool, then focus on the issue that how to construct embedded software development platform based on AADL.

关 键 词：模型驱动 结构化分析和设计语言 形式化研究 开发平台 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]