[1]刘玮,李蜀瑜.AADL模型的形式化研究[J].计算机技术与发展,2013,(09):43-45.
　LIU Wei,LI Shu-yu.Research on Formalization of AADL Model[J].,2013,(09):43-45.
点击复制

AADL模型的形式化研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2013年09期
页码:
43-45
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Research on Formalization of AADL Model
文章编号:
1673-629X（2013）09-0043-03
作者:
刘玮; 李蜀瑜
陕西师范大学 计算机学院
Author(s):
LIU Wei; LI Shu-yu
关键词:
模型驱动; 结构化分析和设计语言; 形式化研究; 开发平台
Keywords:
model driven; AADL; formalization research; development platform
文献标志码:
A
摘要:
在嵌入式系统建模领域,AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点,国内外众多学者展开了热烈的讨论。为了帮助系统开发人员深入了解AADL,指导软件开发进程,提高基于AADL模型的软件开发效率,分别从AADL模型可靠性分析、可调度性分析以及AADL模型测试这三个不同角度综述了已经出现的各种AADL形式化验证理论,对比分析了它们的优点和不足。简要介绍有关AADL验证工具,研究基于AADL模型的嵌入式开发平台的构建
Abstract:
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

相似文献/References:

[1]智勇 黄海平 王汝传 孙正林.网络故障管理中基于模型驱动的移动代理应用[J].计算机技术与发展,2009,(10):222.
　ZHI Yong,HUANG Hai-ping,WANG Ru-chuan,et al.Application of Mobile Agent Based on Model - Driven in Network Fault Management[J].,2009,(09):222.
[2]王海林.模型驱动下的数据库自动生成[J].计算机技术与发展,2011,(08):173.
　WANG Hai-lin.Automatic Generation of Database Based on Model Driven[J].,2011,(09):173.
[3]王海林.模型驱动下的Web应用系统自动生成[J].计算机技术与发展,2012,(01):83.
　WANG Hai-lin.Model Driven Automatic Generation of Web Application Systems[J].,2012,(09):83.
[4]王文全,宋科璞,王勇,等.基于模型驱动的机载嵌入式软件应用[J].计算机技术与发展,2013,(08):145.
　WANG Wen-quan,SONG Ke-pu,WANG Yong,et al.Airborne Embedded Software Application Based on MDA[J].,2013,(09):145.
[5]刘玮,李蜀瑜.基于AADL模型的静态故障树的自动生成[J].计算机技术与发展,2013,(10):99.
　LIU Wei,LI Shu-yu.Automatic Generation of Static Fault Trees Based on AADL Model[J].,2013,(09):99.
[6]石娇洁[],胡军[],刘雪[],等. 一种嵌入式系统模型的安全性分析验证方法[J].计算机技术与发展,2015,25(10):7.
　SHI Jiao-jie[],HU Jun[],LIU Xue[],et al. A Verification Method of Security Analysis for Embedded System Model[J].,2015,25(09):7.

更新日期/Last Update: 1900-01-01