@inproceedings{a6cd1b8064e14ff08d7ba18345d34377,
title = "Hybrid AADL - A sublanguage extension to AADL",
abstract = "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.",
keywords = "AADL, Hybrid system, OSATE, Sublanguage of Aadl",
author = "Yuqing Qian and Jing Liu and Xiaohong Chen",
year = "2013",
doi = "10.1145/2532443.2532473",
language = "英语",
isbn = "9781450323697",
series = "ACM International Conference Proceeding Series",
booktitle = "Proceedings of the 5th Asia-Pacific Symposium on Internetware, Internetware 2013",
note = "5th Asia-Pacific Symposium on Internetware, Internetware 2013 ; Conference date: 23-10-2013 Through 24-10-2013",
}