[1]王 凯[],毕海滨[].AADL 端对端数据流一致性验证方法[J].计算机技术与发展,2018,28(01):1-5.[doi:10.3969/ j. issn.1673-629X.2018.01.001]
　WANG Kai[],BI Hai-bin[ ].A Consistency Validation Approach of AADL End-to-end Flow Latency[J].Computer Technology and Development,2018,28(01):1-5.[doi:10.3969/ j. issn.1673-629X.2018.01.001]
点击复制

AADL 端对端数据流一致性验证方法()
分享到：

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

卷:
28
期数:
2018年01期
页码:
1-5
栏目:
智能、算法、系统工程
出版日期:
2018-01-10

文章信息/Info

Title:
A Consistency Validation Approach of AADL End-to-end Flow Latency
文章编号:
1673-629X(2018)01-0001-05
作者:
王 凯[1]; 毕海滨[2]
1. 南京航空航天大学 计算机科学与技术学院,江苏 南京 210016;
2. 江南计算技术研究所 第三处,江苏 无锡 214083
Author(s):
WANG Kai[1] ; BI Hai-bin[ 2]
1. School of Computer Science and Technology,Nanjing University of Aeronautics ﹠Astronautics,Nanjing 210016,China;
2. Third Department of Jiangnan Institute of Computing Technology,Wuxi 214083,China
关键词:
端对端数据流; 实时系统; 一致性; Prolog
Keywords:
end to end data flow; real-time system; consistency; Prolog
分类号:
TP311
DOI:
10.3969/ j. issn.1673-629X.2018.01.001
文献标志码:
A
摘要:
复杂嵌入式实时系统的端对端数据流的时延分析是一种有效的实时系统实时性评估方法。 体系结构分析与设计语言(Architecture Analysis and Design Language,AADL)是描述实时系统(嵌入式系统)的标准语言,端对端的数据流描述系统组件间的消息传递。 提出一种基于 Prolog 的端对端数据流分析方法,解决嵌入式实时系统的 AADL 模型时延验证问题。针对 AADL 模型缺乏时延验证的现状,分析讨论了 AADL 模型的端对端数据流并提出了端对端数据流的路径一致性的定义;针对单一型端对端数据流和混合型端对端数据流给出了两种端对端数据流到基本状态图的映射方法;设计了端对端数据流路径一致性的 Prolog 验证规则。 最后对带时间约束的汽艇速度控制子系统进行实例验证,结果表明该方法能够有效地解决实时系统的时延验证问题。
Abstract:
Time-delay analysis of end-to-end data streams of complex embedded real-time systems is an effective method of real-time system evaluation. The Architecture Analysis and Design Language (AADL) is a standard language that describes real-time systems (embedded systems),and end-to-end data streams describe message passing between system components. An end-to-end data flow analysis method based on Prolog is proposed to solve the problem of AADL model latency verification for embedded real-time system. In view of the lack of time delay verification of AADL model,the end-to-end data flow of AADL model is analyzed and discussed,and the
definition of path consistency of end-to-end data flow is proposed. For single end-to-end and hybrid end-to-end data flow,two mapping methods of end-to-end data flow to basic state diagram are given. A Prolog authentication rule is designed for end-to-end data flow path consistency. Finally,the time control of the speed control subsystem with time constraints is verified. The results show that the method can effectively solve the problem of real-time system delay verification.

相似文献/References:

[1]李行 张立臣 陈成.面向方面的实时系统中间件[J].计算机技术与发展,2008,(07):8.
　LI Xing,ZHANG Li-chen,CHEN Cheng.Aspect Oriented Middleware for Real- Time System[J].Computer Technology and Development,2008,(01):8.
[2]余化鹏 卢显良 彭先蓉.基于有限的共享资源模型实现嵌入式硬实时Linux[J].计算机技术与发展,2007,(04):1.
　YU Hua-peng,LU Xian-liang,PENG Xian-rong.Implementing Embedded Hard- Real- Time Linux Based on Limited Sharing Resources Model[J].Computer Technology and Development,2007,(01):1.
[3]邓惠敏 张立臣 邓建波.基于面向方面和UML的实时系统建模研究[J].计算机技术与发展,2010,(12):118.
　DENG Hui-min,ZHANG Li-chen,DENG Jian-bo.Research of Real-Time System Modeling Based on Aspect-Oriented and UML[J].Computer Technology and Development,2010,(01):118.
[4]唐毓毅,朱怡安,黄姝娟,等.一种有约束关系的实时周期任务调度算法研究[J].计算机技术与发展,2013,(07):1.
　TANG Yu-yi[],ZHU Yi-an[],HUANG Shu-juan[],et al.Research on a Real-time Scheduling Algorithm for Periodic Task with Constraint Relation[J].Computer Technology and Development,2013,(01):1.
[5]王宏伟,方群,陈伟.基于内存数据库的OPC监测系统的设计与实现[J].计算机技术与发展,2013,(07):242.
　WANG Hong-wei,FANG Qun,CHEN Wei.Design and Realization of OPC Real-time Monitor System Based on Main Memory Database[J].Computer Technology and Development,2013,(01):242.
[6]万小平,李蜀瑜.基于XML的UML模型向AADL模型的自动转换[J].计算机技术与发展,2014,24(03):71.
　WAN Xiao-ping,LI Shu-yu.Automatic Conversion of UML Model to AADL Model Based on XML[J].Computer Technology and Development,2014,24(01):71.
[7]李国拯,高正. 基于带数据约束实时系统的互模拟检测方法[J].计算机技术与发展,2016,26(01):6.
　LI Guo-zheng,GAO Zheng. An Approach of Bisimulation Checking for Real-time System Based on Data Constraints[J].Computer Technology and Development,2016,26(01):6.
[8]刘骁[],谢红梅[]. AADL行为模型时间一致性验证方法[J].计算机技术与发展,2017,27(07):1.
　LIU Xiao[],XIE Hong-mei[]. A Time Consistency Validation Approach of AADL Behavior Model[J].Computer Technology and Development,2017,27(01):1.

更新日期/Last Update: 2018-03-09