| 講演名 | 2009-11-26 製品ライフサイクルでの高信頼化技術の動向 : 仕様と実装と環境のギャップを監視・検出・修正するヘルスマネジメント 内平 直志, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 製品の大規模化・複合化・オープン化・協働化に伴い,設計・製造時には想定できない様々な状況変化に対しても,ライフサイクルを通じて高い品質を維持することが求められている.ここでは,製品ライフサイクルでの仕様・実装・環境の変化により生じるギャップを品質の劣化ととらえ,そのギャップを監視・検出・修正することで高信頼化を実現する「製品ライフサイクル高信頼化モデル」を提案し,そのモデルの視点からシステム高信頼化技術を整理する.特に,ソフトウェアのライフサイクル高信頼化として注目されているソフトウェア・ヘルスマネジメントに関して,コンカレント工学の視点から考察する. |
| 抄録(英) | Increasingly large, complex, open, and cooperative products and systems requires new approaches to establish high dependability because traditional quality assurance approach can not sufficiently respond to enhancing gaps among specification, implementation, and environment through product and system lifecycle. This paper introduces a lifecycle quality assurance model for highly-dependable products and systems, then describes related technologies. Especially, software health management (SWHM) which is a promising approach to software lifecycle quality assurance is discussed from the concurrent system technology (CST) viewpoint. |
| キーワード(和) | 製品ライフサイクル高信頼化モデル / ソフトウェア・ヘルスマネジメント / 実行時検証 / スーパーバイザ制御 / プログラム調整 / 超逐次プログラミング |
| キーワード(英) | lifecycle quality assurance model / software health management / runtime verification / supervisory control / program adjustment / hypersequential programming |
| 資料番号 | CAS2009-46,CST2009-19 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CAS |
|---|---|
| 開催期間 | 2009/11/19(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Circuits and Systems (CAS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 製品ライフサイクルでの高信頼化技術の動向 : 仕様と実装と環境のギャップを監視・検出・修正するヘルスマネジメント |
| サブタイトル（和） | |
| タイトル（英） | Advanced Technologies for Dependable Systems through Product Lifecycle by Managing Gaps among their Specification, Implementation, and Environment |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 製品ライフサイクル高信頼化モデル / lifecycle quality assurance model |
| キーワード(2)（和/英） | ソフトウェア・ヘルスマネジメント / software health management |
| キーワード(3)（和/英） | 実行時検証 / runtime verification |
| キーワード(4)（和/英） | スーパーバイザ制御 / supervisory control |
| キーワード(5)（和/英） | プログラム調整 / program adjustment |
| キーワード(6)（和/英） | 超逐次プログラミング / hypersequential programming |
| 第 1 著者 氏名（和/英） | 内平 直志 / Naoshi Uchihira |
| 第 1 著者 所属（和/英） | (株)東芝研究開発センター Toshiba Corporate R&D Center |
| 発表年月日 | 2009-11-26 |
| 資料番号 | CAS2009-46,CST2009-19 |
| 巻番号（vol） | vol.109 |
| 号番号（no） | 300 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |