文献

J-GLOBAL ID：201002234378608450   整理番号：10A1039858

埋込みソフトウェアの完全自動合成に向けて

Towards Fully Automatic Synthesis of Embedded Software

著者 (3件)： KUEHNE Ulrich (Univ. Bremen, Bremen, DEU) ,  GROSSE Daniel (Univ. Bremen, Bremen, DEU) ,  DRECHSLER Rolf (Univ. Bremen, Bremen, DEU)
資料名： IEEE Embedded Systems Letters  (IEEE Embedded Systems Letters)
巻： 2  号： 3  ページ： 53-57  発行年： 2010年09月 
JST資料番号： W2282A  ISSN： 1943-0663  CODEN： ESLMAP  資料種別： 逐次刊行物 (A)
記事区分： 短報  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 埋込みソフトウェアの正当性の検証を目的として,本稿では,埋込みソフトウェアの完全自動合成に向けての試みを提案した。ここではまず,量子化Boole公式(QBF)について述べるとともに,提案方式のアーキテクチャおよびソフトウェア仕様記述を示し,命令セットアーキテクチャモデル,シンプルなスタックマシンの命令セットアーキテクチャ記述,加算プログラムに対するソフトウェア仕様記述,などの例を示した。与えられた仕様記述を満たす最小制御列の自動生成を可能にするQBFモデルおよびアルゴリズムについて議論を行い,スタックマシンのために生成された制御列,コア4×4仕様記述,を具体的に示した。WoLFramフレームワークの中で提案アルゴリズムの実装を行い,アプリケーションを示した。専用制御および計算タスクのための小規模プログラムの自動合成が提案手法により行えることを示すとともに,埋込みシステムにおけるアセンブラコードの最適化にも利用できることを述べた。

シソーラス用語： *ソフトウェア開発 ,  *Boole代数 ,  *命令セット ,  仕様記述 ,  オートマトン ,  アルゴリズム ,  計算機システム ,  最適化 ,  アセンブラ
準シソーラス用語： アセンブラコード ,  スタックオートマトン ,  スタックマシン ,  ソフトウェア自動合成 ,  埋込ソフトウェア ,  埋込みシステム

分類 (3件)： 計算機システム開発  (JD02010R) ,  論理代数  (JB03000H) ,  ディジタル計算機方式一般  (JC02010O)

タイトルに関連する用語 (3件)： 埋込み ,  ソフトウェア ,  自動合成