| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2007-06-28 17:00 ［招待講演］組み込みシステムの機能・性能検証手法 ○中村祐一（NEC）  CST2007-5 |
|
| 抄録 | （和） | 近年、組み込みシステムの代表製品であるデジタル家電や携帯向けの組み込みシステムの複雑化が進んでいる。複雑化によって、組み込みシステムの機能を正しく動作させるための検証や、所望のスペックを達成させるためのソフトウエアの改良などに多数の開発工数が必要となるなど、組み込みシステムの開発期間が長大化し、開発コストも年々高くなってきている。組み込みシステム開発効率化のためにさまざまな手法が提案されているが、組み込みシステムの特徴はシステムLSIとその組み込みソフトウエアの協調動作による小型化、低コスト化、低消費電力化にあり、システムLSIの特性を考慮した組み込みソフトウエア開発が重要である。我々は、この問題に対して、エミュレーションシステムを使ったシステムLSI向けソフトウエアの早期開発を行い、デジタル家電や携帯電話といった製品向けの組み込みシステム製品の短期間・低コストに貢献してきた。このエミュレーションシステムは、従来のハードウエアの検証を目的としたシステムと異なり、BreakやStepと言ったソフトウエアデバッグの基本機能が実装され、システムLSI製造前の詳細なソフトウエア検証が必要である。本稿では、このソフトウエア開発向けのエミュレーションシステムの詳細と実例について述べる。また、組み込みシステムの実機をつかった性能解析手法についても簡単に説明する。 |
| （英） | Recently, The complexity of the embedded system which is used for digital TVs or mobile phones, is increasing. According to the high complexity, the development cost and term of embedded systems are also increasing. There are various methods to improve the efficiently of the development. However, since the performance of embedded systems are based on the cooperation between hardware and software, it is important for the development of embedded systems to consider the behavior of hardware, System LSI. This paper describes a new hardware/software co-verification method for System LSI, based on the integration of a simulator and an inexpensive FPGA emulator. This method enables easy debugging view such as “waveform” or “signal dump” viewers, and debugging functions such as “step” or “break, rich portability, and high verification speed, at a low cost. We describe one application of this environment to the verification of a complex commercial embedded system, supporting concurrent hardware and embedded software development. And then, the abstract of performance analysis system for embedded systems is described briefly. | |
| キーワード | （和） | 組み込みシステム / デバッグ / 性能解析 / 検証 / / / / |
| （英） | Embedded System / Debugging / Performance Analysis / Verification / / / / | |
| 文献情報 | 信学技報, vol. 107, 2007年6月. | |
| 資料番号 | ||
| 発行日 | 2007-06-21 (CST) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CST2007-5 |
|
| 研究会情報 | |
| 研究会 | MSS |
| 開催期間 | 2007-06-28 - 2007-06-29 |
| 開催地（和） | 那覇簡易保険レクセンター |
| 開催地（英） | |
| テーマ（和） | コンカレントシステム、離散事象システム、ハイブリッドシステム、および一般 |
| テーマ（英） | Concurrent Systems, Discrete Event Systems and Hybrid Systems |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2007-06-CST |
| 本文の言語 | 日本語 |
| タイトル（和） | 組み込みシステムの機能・性能検証手法 |
| サブタイトル（和） | |
| タイトル（英） | Function and Performance Verification Methods for embedded systems |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 組み込みシステム / Embedded System |
| キーワード(2)（和/英） | デバッグ / Debugging |
| キーワード(3)（和/英） | 性能解析 / Performance Analysis |
| キーワード(4)（和/英） | 検証 / Verification |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 中村 祐一 / Yuichi Nakamura / |
| 第1著者 所属（和/英） | NEC (略称： NEC) NEC (略称： NEC) |
| 講演者 | 第1著者 |
| 発表日時 | 2007-06-28 17:00:00 |
| 発表時間 | 50分 |
| 申込先研究会 | MSS |
| 資料番号 | CST2007-5 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | no.118 |
| ページ範囲 | pp.25-30 |
| ページ数 | 6 |
| 発行日 | 2007-06-21 (CST) |
[研究会発表申込システムのトップページに戻る]