计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2014年
10期
52-60
,共9页
袁翔%胡军%马金晶%刘雪
袁翔%鬍軍%馬金晶%劉雪
원상%호군%마금정%류설
综合模块化航电%ARINC653 系统%分区系统%架构分析和设计语言%Cheddar工具%可调度性判定%仿真方法
綜閤模塊化航電%ARINC653 繫統%分區繫統%架構分析和設計語言%Cheddar工具%可調度性判定%倣真方法
종합모괴화항전%ARINC653 계통%분구계통%가구분석화설계어언%Cheddar공구%가조도성판정%방진방법
Integrated Modular Avionics ( IMA )%ARINC653 system%partitioned system%Architecture Analysis and Design Language( AADL)%Cheddar tool%schedulability determination%simulation method
综合模块化航电( IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的分区任务集可调度性判定方法。借助Cheddar工具及其自定义调度策略功能,使架构分析和设计语言( AADL)具有对分区系统进行建模的能力,并利用该工具对AADL模型进行仿真以判定系统的可调度性。实例分析结果表明,该方法能自动、准确、快速地进行可调度性判定,并以甘特图的方式绘制任务调度过程,得到直观、详细的结果。
綜閤模塊化航電( IMA)繫統中的分區繫統提高瞭其可靠性和安全性,但在繫統設計和實現過程中,應採用各種分析和驗證方法確保繫統的時間需求得到滿足。為此,針對符閤ARINC653規範的IMA繫統,根據分區繫統層級調度的特性,提齣一種基于倣真的分區任務集可調度性判定方法。藉助Cheddar工具及其自定義調度策略功能,使架構分析和設計語言( AADL)具有對分區繫統進行建模的能力,併利用該工具對AADL模型進行倣真以判定繫統的可調度性。實例分析結果錶明,該方法能自動、準確、快速地進行可調度性判定,併以甘特圖的方式繪製任務調度過程,得到直觀、詳細的結果。
종합모괴화항전( IMA)계통중적분구계통제고료기가고성화안전성,단재계통설계화실현과정중,응채용각충분석화험증방법학보계통적시간수구득도만족。위차,침대부합ARINC653규범적IMA계통,근거분구계통층급조도적특성,제출일충기우방진적분구임무집가조도성판정방법。차조Cheddar공구급기자정의조도책략공능,사가구분석화설계어언( AADL)구유대분구계통진행건모적능력,병이용해공구대AADL모형진행방진이판정계통적가조도성。실례분석결과표명,해방법능자동、준학、쾌속지진행가조도성판정,병이감특도적방식회제임무조도과정,득도직관、상세적결과。
Integrated Modular Avionics( IMA) partitioned system is put forward to improve the reliability and security of the system,but in the process of system design and implementation,analysis and validation should be used to ensure that the system time requirements are met. In allusion to IMA system which meets ARINC653 specification,according to the characteristics of hierarchy scheduling partitioned system,this paper proposes a schedulability determination method based on simulation method. With the aid of Cheddar tool and the function of custom scheduling strategy,Architecture Analysis and Design Language(AADL) has the ability of modeling partitioned system,then the tool operates on the generated AADL model to determine the system schedulable. Example analysis result shows that the tool has automatic, accurate and fast advantages to describe task scheduling process by Gantt chart and the result is accurate and detailed.