文献

J-GLOBAL ID：200902269591656288   整理番号：07A0204240

組込みシステムにおけるリソーススケジューリング設計・検査手法とツール

著者 (7件)： 渡辺政彦 (九大 大学院システム情報科学研究院) ,  渡辺政彦 (キャッツ) ,  福田晃 (九大 大学院システム情報科学研究院) ,  松本充広 (九大 大学院システム情報科学研究院) ,  松本充広 (福岡知的クラスター研) ,  細谷伊知郎 (トヨタ自動車) ,  城戸滋之 (トヨタ自動車)
資料名： 電子情報通信学会論文誌 D  (IEICE Transactions on Information and Systems (Japanese Edition))
巻： J90-D  号： 3  ページ： 848-861  発行年： 2007年03月01日 
JST資料番号： S0757C  ISSN： 1880-4535  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 分散化された組込みシステムにおけるリソーススケジューリング設...

シソーラス用語： 計算機システム ,...
準シソーラス用語： 時間付きオートマトン

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=07A0204240&from=J-GLOBAL&jstjournalNo=S0757C") }}

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (15件)：

• 経済産業省, 2006年版組込みソフトウェア産業実態調査報告書, 2006.
• G. C. Buttazzo, Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, Second Edition, Springer Science+ Business Media, 2004.
• E. Fersman, P. Pettersson, and W. Yi, “Timed automata with asynchronous processes: Schedulability and decidability,” Proc.2002 International Conference on Tools and Algorithms for Construction and Analysis of Systems, pp. 67-82, 2002.
• http://www.uppaal.com/
• G. Rodriguez-Navas, J. Proenza, and H. Hansson, “Using UPPAAL to model and verify a clock synchronization protocol for the controller area network,” Proc.10th IEEE Conference on Emerging Technologies and Factory Automation, pp. 495-502, 2005.

タイトルに関連する用語 (6件)： 組込みシステム ,  リソーススケジューリング ,  設計 ,  検査 ,  手法 ,  ツール