文献

J-GLOBAL ID：201702261022752616   整理番号：17A1590857

MPSoCスケジュール可能性分析の価格時間オートマトンモデル【JST・京大機械翻訳】

Priced Timed Automata Model for Schedulability Analysis of MPSoC

著者 (6件)： Wang Qunbo (西北工業大学 軟件与微電子学院,陜西 西安,710072) ,  Zhao Zhengwen (西北工業大学 軟件与微電子学院,陜西 西安,710072) ,  Zhang Tao (西北工業大学 軟件与微電子学院,陜西 西安,710072) ,  Cheng Sheng (北京神州航天軟件技術有限公司,北京,100094) ,  Zhu Haitao (北京神州航天軟件技術有限公司,北京,100094) ,  Li Kun (西北工業大学 軟件与微電子学院,陜西 西安,710072)
資料名： Xibei Gongye Daxue Xuebao  (Xibei Gongye Daxue Xuebao)
巻： 35  号： 2  ページ： 292-297  発行年： 2017年 
JST資料番号： C2195A  ISSN： 1000-2758  CODEN： XGDUE2  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： マルチプロセッサオンチップシステム(MPSoC)は単一チップ上に複数のプロセッサを集積する複雑なSoCであり、マルチコア時代SoCの最新の発展方向であり、MPSoCのスケジュールを保証することはその設計の重点である。MPSoCの特性に対して,価格時間オートマトンを用いて,スケジューリング可能性解析モデルを構築し,そして,モデル検査ツールUPPAALにおける統計モデル検査エンジン自動シミュレーションシステムを用いて,非スケジュール確率を推定した。実例検証結果により、このモデル検査方法は分析コストを低減し、従来のモデル検査方法では判定できない複雑なシステムを分析できることが分かった。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 演算プロセッサ ,  解析モデル ,  *モデル検査 ,  統計模型 ,  スケジューリング
準シソーラス用語： シミュレーションシステム ,  マルチコアプロセッサ ,  *システムオンチップ ,  *時間付きオートマトン ,  *MPSoC , 【Automatic Indexing@JST】

著者キーワード (5件)： MPSoC ,  priced timed automata ,  UPPAAL ,  schedulability analysis ,  model checking

分類 (3件)： 計算理論  (JB02000A) ,  半導体集積回路  (NC03162T) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (7件)： MPSoC ,  スケジュール ,  可能性 ,  分析 ,  価格 ,  時間オートマトン ,  モデル