计算机技术与发展2018，Vol.28Issue(1)：1-5,5.DOI:10.3969/j.issn.1673-629X.2018.01.001
AADL端对端数据流一致性验证方法
A Consistency Validation Approach of AADL End-to-end Flow Latency
摘要
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 a-nalysis 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 map-ping 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.关键词
端对端数据流/实时系统/一致性/PrologKey words
end to end data flow/real-time system/consistency/Prolog分类
信息技术与安全科学引用本文复制引用
王凯,毕海滨..AADL端对端数据流一致性验证方法[J].计算机技术与发展,2018,28(1):1-5,5.基金项目
"十三五"重点基础科研项目(JCKY2016206B001) （JCKY2016206B001）
