微处理机
微處理機
미처리궤
MICROPROCESSORS
2013年
3期
72-77
,共6页
AADL语言%嵌入式实时系统%可调度性分析
AADL語言%嵌入式實時繫統%可調度性分析
AADL어언%감입식실시계통%가조도성분석
AADL%Embedded real-time system%Scheduling analysis
AADL(Architecture Analysis&Design Language)语言是美国SAE(Society of AutomotiveEngineers)组织定义的一组满足航空电子综合化设计用的建模语言.它可以描述安全关键嵌入式实时系统功能和非功能性属性,非功能属性包括可靠性、安全性、可调度性等.通过对这些非功能属性进行分析,可以在设计阶段而不是实现阶段纠正系统设计缺陷,缩短系统开发周期和降低开发成本.总结了AADL语言对可调度性分析方面提供的支持,并分析比较了几种针对AADL模型的可调度性分析工具,在此分析和比较基础上,识别它们各自的优缺点,方便使用者根据需要选择合适的工具使用.
AADL(Architecture Analysis&Design Language)語言是美國SAE(Society of AutomotiveEngineers)組織定義的一組滿足航空電子綜閤化設計用的建模語言.它可以描述安全關鍵嵌入式實時繫統功能和非功能性屬性,非功能屬性包括可靠性、安全性、可調度性等.通過對這些非功能屬性進行分析,可以在設計階段而不是實現階段糾正繫統設計缺陷,縮短繫統開髮週期和降低開髮成本.總結瞭AADL語言對可調度性分析方麵提供的支持,併分析比較瞭幾種針對AADL模型的可調度性分析工具,在此分析和比較基礎上,識彆它們各自的優缺點,方便使用者根據需要選擇閤適的工具使用.
AADL(Architecture Analysis&Design Language)어언시미국SAE(Society of AutomotiveEngineers)조직정의적일조만족항공전자종합화설계용적건모어언.타가이묘술안전관건감입식실시계통공능화비공능성속성,비공능속성포괄가고성、안전성、가조도성등.통과대저사비공능속성진행분석,가이재설계계단이불시실현계단규정계통설계결함,축단계통개발주기화강저개발성본.총결료AADL어언대가조도성분석방면제공적지지,병분석비교료궤충침대AADL모형적가조도성분석공구,재차분석화비교기출상,식별타문각자적우결점,방편사용자근거수요선택합괄적공구사용.