文献

J-GLOBAL ID：200902281905324528   整理番号：05A1021439

部品のコスト・性能を考慮したリアルタイム組込みシステムの一設計法

A Design Method of Real-Time Embedded Systems Considering Cost-Performance of Components

著者 (5件)： 木谷友哉 (大阪大 大学院情報科学研究科) ,  高本佳史 (大阪大 大学院情報科学研究科) ,  安本慶一 (奈良先端科学技術大学院大) ,  中田明夫 (大阪大 大学院情報科学研究科) ,  東野輝夫 (大阪大 大学院情報科学研究科)
資料名： 電子情報通信学会論文誌 A  (IEICE Transaction on Fundamentals of Electronics, Communications and Computer Sciences (Japan Edition))
巻： J88-A  号： 12  ページ： 1487-1496  発行年： 2005年12月01日 
JST資料番号： S0621A  ISSN： 0913-5707  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文では,信頼性の高いリアルタイム組込みシステムを効率的に...

シソーラス用語： 携帯電話 ,...

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

分類 (2件)： 専用演算制御装置  (JC04030Y) ,  移動通信  (ND08030H)

引用文献 (15件)：

• BOLOGNESI, T. LOTOS-like process algebras with urgent or timed interactions. Formal Description Techniques. 1992, IV, 249-264
• BULTAN, T. Symbolic model checking of infinite state systems using presburger arithmetic. Proc. Int. Conf. on Computer Aided Verification (CAV'97), Haifa, Israel, June. 1997, 400-411
• DAVE, B. P. CASPER : Concurrent hardware-software co-synthesis of hard real-time aperiodic and periodic specifications of embedded system architectures. Proc. 1998 Design Automation and Test in Europe (DATE '98), Paris, France, Feb. 1998, 118-125
• HyPerformix Workbench. http://www.hyperformix.com/products/workbench.htm
• HENZINGER, T. A. HYTECH : A model checker for hybrid systems. Int. J. Software Tools for Technology Transfer. 1997, 1, 1-2, 110-122

タイトルに関連する用語 (2件)： リアルタイム組込みシステム ,  設計法