制御ソフトウェアの固定小数点演算化ツールの設計と実装

• Item type: SIG Technical Reports(1)
• 公開日: 2010-03-11
• タイトル: 制御ソフトウェアの固定小数点演算化ツールの設計と実装
• タイトル / 言語: en
• タイトル: Architecture and Implementation of Tool that Convert to Fixed Point Arithmetic for Control Software
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: プログラミング・検証（学生セッション）
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 愛知県立大学
• 著者所属: 名古屋大学
• 著者所属: 愛知県立大学
• 著者所属: 名古屋大学
• 著者所属: 名古屋大学
• 著者所属: 名古屋大学
• 著者所属(英): en
• 著者所属(英): Aichi Prefectural University
• 著者所属(英): en
• 著者所属(英): Nagoya University
• 著者所属(英): en
• 著者所属(英): Aichi Prefectural University
• 著者所属(英): en
• 著者所属(英): Nagoya University
• 著者所属(英): en
• 著者所属(英): Nagoya University
• 著者所属(英): en
• 著者所属(英): Nagoya University
• 著者名: 関, 文貴; 日高, 隆博; 山本, 晋一郎; 小林, 隆志; 手嶋, 茂晴; 阿草, 清滋
• 著者名(英): Fumitaka, Seki; Takahiro, Hidaka; Shinnichiro, Yamamoto; Takashi, Kobayashi; Shigeharu, Teshima; Kiyoshi, Agusa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 車載ソフトウェアでは，コストの観点から浮動小数点演算を用いることができず，アルゴリズムを固定小数点演算で実装しなけれならないことが多い．実数演算を取り扱うアルゴリズムを固定小数点演算へ変換する作業は非常に労力を必要とする．そこで，本論文では浮動小数点演算で記述されたソフトウェアを固定小数点演算へ変換するための手法の提案と自動で変換を行うためのツール開発を行う．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: The floating point arithmetic cannot be used from the viewpoint of the cost with in-vehicle software. Therefore, it is necessary to mount the algorithm by fixed point arithmetic. It is a time-consuming task to convert the algorithm which handles the real number calculation into fixed point arithmetic. In this paper, we propose a technique to convert a software implemented for the floating point arithmetic into one for fixed point arithmetic. We also introduce an automatic converting tool based on our proposal technique.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2010-SE-167, 号 27, p. 1-9, 発行日 2010-03-11
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会