Hybrid AADL-A Sublanguage Extension to AADL
AADL (Architecture Analysis and Design Language) is widely used in the area of modeling and analysis.However,it is not so convenient to describe a hybrid system with AADL.In this paper,we propose an approach to construct an annex of AADL,thus to facilitate the modeling and analysis of hybrid system.The syntax and semantics of hybrid AADL are provided.Additionally,we developed a hybrid system modeling plug-in to OSATE,which is an AADL supporting tool.Our approach,as well as our tool,is successfully used in the development of a lunar rover control system for the institute of China Aerospace Science and Technology.
AADL Hybrid System Sublanguage of AADL OSATE
Yuqing Qian Jing Liu Xiaohong Chen
East China Normal University14 N,Chifeng Rd.,Shanghai East China Normal University3663 N. Zhongshan Rd.,Shanghai
国际会议
长沙
英文
167-170
2013-10-23（万方平台首次上网日期，不代表论文的发表时间）