新規のC言語処理系を実装することによる組込みシステム研究にもたらす価値についての考察

• Item type: SIG Technical Reports(1)
• 公開日: 2024-11-13
• タイトル: 新規のC言語処理系を実装することによる組込みシステム研究にもたらす価値についての考察
• タイトル / 言語: en
• タイトル: Discussion on the Value Brought to the Research of Embedded Systems by Implementing a Brand New Processing System for the C Programming Language
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: アルゴリズム
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 北九州市立大学
• 著者所属(英): en
• 著者所属(英): Univ. of Kitakyushu
• 著者名: 山崎, 進
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 現在，主流となっている GCC や Clang とは異なる C 言語処理系を，現代においてわざわざ新たに実装することが，今後の組込みシステム研究にもたらす価値は，少なくとも次のような研究の基礎を提供することであると考察した: (1) 組込みシステム向けのメモリ一貫性モデルと過剰なコード最適化の抑制 (2) 形式手法をCコードに適用する研究 (3) コード最適化の等価性保証の研究 (4) サイドチャネル攻撃耐性を備えたコード生成器の研究．今後，このような研究のインフラストラクチャとなることを意図した C 言語処理系を独自に開発することを検討する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: The value brought to the research of embedded systems by implementing a brand new processing system for the C programming language instead of GCC and Clang, the current mainstream systems, is to provide the following research basis: (1) a memory consistency model for embedded systems and suppression of excessive optimization; (2) the research that formal methods apply C code; (3) the research to ensure equivalency of code optimization; and (4) the research of code generator that has immunity to side-channel channel attacks. In the future, we will consider developing such a system as the infrastructure for the research.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12149313
• 書誌情報: 研究報告組込みシステム（EMB）; 巻 2024-EMB-67, 号 12, p. 1-2, 発行日 2024-11-13
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-868X
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会