针对AADL模型的可调度性分析方法研究

作     者：黄英兰 HUANG Ying-lan

作者机构：航空计算技术研究所西安710119 

出 版 物：《微处理机》 (Microprocessors)

年 卷 期：2013年第34卷第3期

页      码：72-77页

摘      要：AADL(Architecture Analysis&Design Language)语言是美国SAE(Society of AutomotiveEngineers)组织定义的一组满足航空电子综合化设计用的建模语言。它可以描述安全关键嵌入式实时系统功能和非功能性属性,非功能属性包括可靠性、安全性、可调度性等。通过对这些非功能属性进行分析,可以在设计阶段而不是实现阶段纠正系统设计缺陷,缩短系统开发周期和降低开发成本。总结了AADL语言对可调度性分析方面提供的支持,并分析比较了几种针对AADL模型的可调度性分析工具,在此分析和比较基础上,识别它们各自的优缺点,方便使用者根据需要选择合适的工具使用。

主 题 词：AADL语言 嵌入式实时系统 可调度性分析 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1002-2279.2013.03.022

馆 藏 号：203273341...