计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2013年
3期
121-127
,共7页
结构分析与设计语言%时间自动机%模型转换%UPPAAL%可调度性验证
結構分析與設計語言%時間自動機%模型轉換%UPPAAL%可調度性驗證
결구분석여설계어언%시간자동궤%모형전환%UPPAAL%가조도성험증
结构分析与设计语言AADL在工业控制、汽车、航空航天等任务关键和实时领域的嵌入式系统开发中得到了广泛的应用.为在开发早期验证模型的可调度性,提出了AADL模型到时间自动机模型的转换方法,将AADL模型中的调度策略映射到时间自动机模型中的调度模板中,并给出了执行模型和附件模型的具体转换规则.转换后的模型可在UPPAAL工具中进行模拟和验证,分析原模型的可调度性.最后给出了AADL建模、模型转换和模型验证的全过程,证实了方法的有效性.
結構分析與設計語言AADL在工業控製、汽車、航空航天等任務關鍵和實時領域的嵌入式繫統開髮中得到瞭廣汎的應用.為在開髮早期驗證模型的可調度性,提齣瞭AADL模型到時間自動機模型的轉換方法,將AADL模型中的調度策略映射到時間自動機模型中的調度模闆中,併給齣瞭執行模型和附件模型的具體轉換規則.轉換後的模型可在UPPAAL工具中進行模擬和驗證,分析原模型的可調度性.最後給齣瞭AADL建模、模型轉換和模型驗證的全過程,證實瞭方法的有效性.
결구분석여설계어언AADL재공업공제、기차、항공항천등임무관건화실시영역적감입식계통개발중득도료엄범적응용.위재개발조기험증모형적가조도성,제출료AADL모형도시간자동궤모형적전환방법,장AADL모형중적조도책략영사도시간자동궤모형중적조도모판중,병급출료집행모형화부건모형적구체전환규칙.전환후적모형가재UPPAAL공구중진행모의화험증,분석원모형적가조도성.최후급출료AADL건모、모형전환화모형험증적전과정,증실료방법적유효성.