文献

J-GLOBAL ID：201502203067365656   整理番号：15A0986476

AADL階層スケジューラの解析と検証【Powered by NICT】

Analysis and Verification of AADL Hierarchical Schedulers

著者 (5件)： Fu Ning (School of Computer Sci., Northwestern Polytechnical Univ., Xi’an) ,  Du Chenglie (School of Computer Sci., Northwestern Polytechnical Univ., Xi’an) ,  Li Jianliang (Coll. of Information Engineering, Northwest A & F Univ., Shaanxi, Yangling) ,  Liu Zhiqiang (School of Software and Microelectronics, Northwestern Polytechnical Univ., Xi’an) ,  Peng Han (School of Computer Engineering, Xi’an Aeronautical Univ., Xi’an)
資料名： Jisuanji Yanjiu yu Fazhan  (Jisuanji Yanjiu yu Fazhan)
巻： 52  号： 1  ページ： 167-176  発行年： 2015年 
JST資料番号： W0790A  ISSN： 1000-1239  CODEN： JYYFEY  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 階層スケジューラに基づくシステムでは,プロセッサはいくつかの協調スケジューラ間の共有されている。このようなスケジューラはreallife応用で調べ,提案ますますなってきている。例えば,アビオニクス実時間オペレーティングシステムのためのプログラミングインタフェイスを定義するARINC653国際規格はこのような協調スケジューラを提供している。本論文では,モデリングと階層的スケジューラのスケジューラビリティ解析に焦点を当てた。アーキテクチャ解析と設計言語(AADL)を有する階層的スケジューラのモデリングを調べた。AADL階層スケジューラのスケジューラビリティを解析するための基づく方法をチェックするモデルを提案した。AADL糸成分と階層的スケジューラは,時間付きオートマトンのネットワークとしてモデル化した。スケジュール可能性は時相論理式のとして記述した。階層的スケジューラのスケジューラビリティをモデルチェッカーUppaalを用いた。著者らの研究は,モデル検査によるAADL階層スケジューラのスケジューラビリティを解析可能であることを示した。法はモデル検査器によるシステムの特性を解析し自動化するための網羅的な方法を用いた。関連研究と比較して,提案した方法は,より正確な結果を生成する。Data from the ScienceChina, LCAS. Translated by JST【Powered by NICT】

シソーラス用語： 計算機アーキテクチャ ,  ネットワーク ,  *モデル検査 ,  モデリング ,  航空電子機器 ,  言語 ,  自動化 ,  国際規格 ,  時間論理 ,  演算プロセッサ
準シソーラス用語： 時間付きオートマトン ,  プログラミングインタフェイス ,  *スケジューラ , 【Automatic Indexing@JST】

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (4件)： 階層 ,  スケジューラ ,  解析 ,  検証