部品のコスト・性能を考慮したリアルタイム組込みシステムの一設計法  [in Japanese] A Design Method of Real-Time Embedded Systems Considering Cost-Performance of Components  [in Japanese]

Search this Article

Author(s)

    • 木谷 友哉 KITANI Tomoya
    • 大阪大学大学院情報科学研究科情報ネットワーク学専攻 Department of Information Networking, Graduate School of Information Science and Technology, Osaka University
    • 高本 佳史 TAKAMOTO Yoshifumi
    • 大阪大学大学院情報科学研究科情報ネットワーク学専攻 Department of Information Networking, Graduate School of Information Science and Technology, Osaka University
    • 中田 明夫 NAKATA Akio
    • 大阪大学大学院情報科学研究科情報ネットワーク学専攻 Department of Information Networking, Graduate School of Information Science and Technology, Osaka University
    • 東野 輝夫 HIGASHINO Teruo
    • 大阪大学大学院情報科学研究科情報ネットワーク学専攻 Department of Information Networking, Graduate School of Information Science and Technology, Osaka University

Abstract

本論文では, 信頼性の高いリアルタイム組込みシステムを効率的に設計するための一手法を提案する.提案手法では, システムの仕様Sを並行周期EFSM群で記述する.EFSM内の状態遷移にはデータ処理時間や入出力時間などの値をパラメータ変数として与える.パラメトリックモデル検査手法を用いることで, 仕様Sが時間制約Rを満たしながら動作することを論理的に保証するパラメータ条件式Cを導出する.導出したパラメータ条件式Cに使用可能な部品のコスト・性能に関する具体的なパラメータ値を代入することにより, 条件式Cを満たしコストを最小にする部品の組合せを決定する.提案手法に基づく設計支援システムを試作し, 例題に適用した結果を述べる.

Journal

  • The IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Japanese edition) A

    The IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Japanese edition) A 88(12), 1487-1496, 2005-12-01

    The Institute of Electronics, Information and Communication Engineers

References:  15

Codes

  • NII Article ID (NAID)
    110004020697
  • NII NACSIS-CAT ID (NCID)
    AN10013345
  • Text Lang
    JPN
  • Article Type
    ART
  • ISSN
    09135707
  • NDL Article ID
    7752800
  • NDL Source Classification
    ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • NDL Call No.
    Z16-605
  • Data Source
    CJP  NDL  NII-ELS 
Page Top