[1]孙健,徐敏. 基于AADL的数据流转换与验证[J].计算机技术与发展,2016,26(04):41-45.
　SUN Jian,XU Min. Transformation and Verification of Data Flows Based on AADL[J].,2016,26(04):41-45.
点击复制

 基于AADL的数据流转换与验证()
分享到：

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

卷:
26
期数:
2016年04期
页码:
41-45
栏目:
智能、算法、系统工程
出版日期:
2016-04-10

文章信息/Info

Title:
 Transformation and Verification of Data Flows Based on AADL
文章编号:
1673-629X（2016)04-0041-05
作者:
 孙健; 徐敏
 南京航空航天大学 计算机科学与技术学院
Author(s):
 SUN Jian; XU Min
关键词:
 ; AADL ; 数据流时延; 形式化描述; 时间自动机; 性质验证
Keywords:
 ; AADL; data flow latency; formal description; time automata; property verification
分类号:
TP302
文献标志码:
A
摘要:
 AADL在嵌入式实时系统领域，支持系统软、硬件结构建模的同时又能对可靠性、实时性等非功能属性进行描述，可以在模型驱动开发过程中的早期模型建立阶段，通过形式化的模型检验方法对系统模型的关键属性进行验证，从而能够及早地发现在设计过程中存在的潜在错误，对保证系统实时性和提高开发效率来说都具有十分重要的意义。针对数据流时延特性问题，文中提出将AADL数据流的分析形成数据流的形式化描述的方法，建立这种形式化描述到时间自动机语义的映射关系作为映射法则的定义，并将时间自动机的转换按单一和混合两种类型分别给出了转换法则和转换实例的说明。在混合数据流转换中，新建了非周期线程的模板，以支持数据流的综合分析。最后给出了数据流性质验证的参考查询语句，并对数据流转换到的时间自动机模型进行了必要的实验检验。
Abstract:
 AADL supports structural modeling for software and hardware,and imports non-functional attributes description such as real-time and reliability in embedded real-time system. During the process of MDD ( Model-Driven Development) ,it is of great significance for ensuring the system real-time performance and improving the efficiency of system development to find potential design problems on critical aspects in the model design stage. In order to analyze the flow latency of AADL models,a method is proposed taking the analysis of data flows of AADL to form a formal description of data flows. The mapping relationship from formal description to time automaton semantics is regarded as the definition of mapping rules. On building the timed automata of date flows,methods and samples are given to transform both simple and mixed flows into timed automata. In the transformation of mixed flows,a template of non-periodic thread is presented to support the comprehensive analysis of data flows. At last the reference query statements is given to verify the properties of the data flows,and the necessary experimental tests of time automaton model converted from data flows are carried out.

相似文献/References:

[1]张志宏,吴庆波,邵立松,等.基于飞腾平台TOE协议栈的设计与实现[J].计算机技术与发展,2014,24(07):1.
　ZHANG Zhi-hong,WU Qing-bo,SHAO Li-song,et al. Design and Implementation of TCP/IP Offload Engine Protocol Stack Based on FT Platform[J].,2014,24(04):1.
[2]梁文快,李毅. 改进的基因表达算法对航班优化排序问题研究[J].计算机技术与发展,2014,24(07):5.
　LIANG Wen-kuai,LI Yi. Research on Optimization of Flight Scheduling Problem Based on Improved Gene Expression Algorithm[J].,2014,24(04):5.
[3]黄静,王枫,谢志新,等. EAST文档管理系统的设计与实现[J].计算机技术与发展,2014,24(07):13.
　HUANG Jing,WANG Feng,XIE Zhi-xin,et al. Design and Implementation of EAST Document Management System[J].,2014,24(04):13.
[4]侯善江[],张代远[][][]. 基于样条权函数神经网络P2P流量识别方法[J].计算机技术与发展,2014,24(07):21.
　HOU Shan-jiang[],ZHANG Dai-yuan[][][]. P2P Traffic Identification Based on Spline Weight Function Neural Network[J].,2014,24(04):21.
[5]李璨,耿国华,李康,等. 一种基于三维模型的文物碎片线图生成方法[J].计算机技术与发展,2014,24(07):25.
　LI Can,GENG Guo-hua,LI Kang,et al. A Method of Obtaining Cultural Debris’ s Line Chart Based on Three-dimensional Model[J].,2014,24(04):25.
[6]翁鹤,皮德常. 混沌RBF神经网络异常检测算法[J].计算机技术与发展,2014,24(07):29.
　WENG He,PI De-chang. Chaotic RBF Neural Network Anomaly Detection Algorithm[J].,2014,24(04):29.
[7]刘茜[],荆晓远[],李文倩[],等. 基于流形学习的正交稀疏保留投影[J].计算机技术与发展,2014,24(07):34.
　LIU Qian[],JING Xiao-yuan[,LI Wen-qian[],et al. Orthogonal Sparsity Preserving Projections Based on Manifold Learning[J].,2014,24(04):34.
[8]尚福华,李想,巩淼. 基于模糊框架-产生式知识表示及推理研究[J].计算机技术与发展,2014,24(07):38.
　SHANG Fu-hua,LI Xiang,GONG Miao. Research on Knowledge Representation and Inference Based on Fuzzy Framework-production[J].,2014,24(04):38.
[9]叶偲,李良福,肖樟树. 一种去除运动目标重影的图像镶嵌方法研究[J].计算机技术与发展,2014,24(07):43.
　YE Si,LI Liang-fu,XIAO Zhang-shu. Research of an Image Mosaic Method for Removing Ghost of Moving Targets[J].,2014,24(04):43.
[10]余松平[][],蔡志平[],吴建进[],等. GSM-R信令监测选择录音系统设计与实现[J].计算机技术与发展,2014,24(07):47.
　YU Song-ping[][],CAI Zhi-ping[] WU Jian-jin[],GU Feng-zhi[]. Design and Implementation of an Optional Voice Recording System Based on GSM-R Signaling Monitoring[J].,2014,24(04):47.

更新日期/Last Update: 2016-06-16