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

摘要

AADL (Architecture Analysis & Design Language) is a kind of modeling language which was defined by SAE (Society of Automotive Engineers) of USA for integration avionics system.It can describe the function and non-functional system requirements of the performance-critical embedded real-time systems.The non-functional requirements,such as reliability,security and scheduling,are analyzed to correct defects in design phase to reduce the cycle and the cost of the system development.This article summarizes the support of AADL to the scheduling analysis,and compares several scheduling analysis tools.Based on the comparison mentioned above,the advantage and disadvantage of these tools can be identified so that the users select the proper tools according to their requirements.%AADL(Architecture Analysis＆Design Language)语言是美国SAE(Society of AutomotiveEngineers)组织定义的一组满足航空电子综合化设计用的建模语言.它可以描述安全关键嵌入式实时系统功能和非功能性属性,非功能属性包括可靠性、安全性、可调度性等.通过对这些非功能属性进行分析,可以在设计阶段而不是实现阶段纠正系统设计缺陷,缩短系统开发周期和降低开发成本.总结了AADL语言对可调度性分析方面提供的支持,并分析比较了几种针对AADL模型的可调度性分析工具,在此分析和比较基础上,识别它们各自的优缺点,方便使用者根据需要选择合适的工具使用.