| 講演名 | 2003/5/23 シミュレータを利用した組み込み向けソフトウェア開発方法論の提案 松本 充広, 北須賀 輝明, 中西 恒夫, 福田 晃, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 組み込みソフトウェア開発には,(1)ハードウェアを制御する部分を含むソフトウェアであるため,ハードウェア無しでの開発は困難であり,開発期間が長くなりがちである,(2)イベント駆動であるため,可能なイベントシーケンスが多く,テスト漏れが発生し易いため,信頼性が低くなりがちである,(3)後継機種では,CPUや画面サイズなどのハードウェアリソースが変化するため,生産性が低くなりがちである,などの問題がある.本論文では,この問題を解決するための技術として,4層から成るソフトウエアアーキテクチャと,各層におけるシミュレータを利用した開発方法とを提案する. |
| 抄録(英) | The current embedded software development process has three problems, that are (1) periods of software development tend to be long, (2) products of the process tend to be not high reliable, and (3) the productivity of the process tends to be not high. To solve these problems, in this paper, we propose (a) a four-layers software architecture and (b) software development methods using simulators for all the layers. |
| キーワード(和) | 組み込みソフトウェア / シミュレータ / モデルチェッキング / ソフトウェアアーキテクチャ |
| キーワード(英) | Embedded Software / Simulator / Model Checking / Software Architecture |
| 資料番号 | SS2003-5 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2003/5/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | シミュレータを利用した組み込み向けソフトウェア開発方法論の提案 |
| サブタイトル（和） | |
| タイトル（英） | An Embedded Software Development Method using a Simulator |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 組み込みソフトウェア / Embedded Software |
| キーワード(2)（和/英） | シミュレータ / Simulator |
| キーワード(3)（和/英） | モデルチェッキング / Model Checking |
| キーワード(4)（和/英） | ソフトウェアアーキテクチャ / Software Architecture |
| 第 1 著者 氏名（和/英） | 松本 充広 / Michihiro MATSUMOTO |
| 第 1 著者 所属（和/英） | 福岡県産業・科学技術振興財団福岡知的クラスター研究所:九州大学大学院システム情報科学研究院 Fukuoka Laboratory for Emerging & Enabling Technology of SoC, Fukuoka Industry, Science & Technology Foundation:Graduate School of Information Science and Electrical Engineering, Kyushu University |
| 第 2 著者 氏名（和/英） | 北須賀 輝明 / Teruaki KITASUKA |
| 第 2 著者 所属（和/英） | 九州大学大学院システム情報科学研究院 Graduate School of Information Science and Electrical Engineering, Kyushu University |
| 第 3 著者 氏名（和/英） | 中西 恒夫 / Tsuneo NAKANISHI |
| 第 3 著者 所属（和/英） | 九州大学大学院システム情報科学研究院:九州大学システムLSI研究センター Graduate School of Information Science and Electrical Engineering, Kyushu University:System LSI Research Center, Kyushu University |
| 第 4 著者 氏名（和/英） | 福田 晃 / Akira FUKUDA |
| 第 4 著者 所属（和/英） | 九州大学大学院システム情報科学研究院 Graduate School of Information Science and Electrical Engineering, Kyushu University |
| 発表年月日 | 2003/5/23 |
| 資料番号 | SS2003-5 |
| 巻番号（vol） | vol.103 |
| 号番号（no） | 102 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |