{'fraction_non_alphanumeric': 0.025110782865583457, 'fraction_numerical': 0.0, 'mean_word_length': 4.65, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
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.