講演抄録/キーワード |
講演名 |
2009-11-26 11:35
製品ライフサイクルでの高信頼化技術の動向 ○内平直志(東芝) CAS2009-46 CST2009-19 |
抄録 |
(和) |
製品の大規模化・複合化・オープン化・協働化に伴い,設計・製造時には想定できない様々な状況変化に対しても,ライフサイクルを通じて高い品質を維持することが求められている.ここでは,製品ライフサイクルでの仕様・実装・環境の変化により生じるギャップを品質の劣化ととらえ,そのギャップを監視・検出・修正することで高信頼化を実現する「製品ライフサイクル高信頼化モデル」を提案し,そのモデルの視点からシステム高信頼化技術を整理する.特に,ソフトウェアのライフサイクル高信頼化として注目されているソフトウェア・ヘルスマネジメントに関して,コンカレント工学の視点から考察する. |
(英) |
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 / / |
文献情報 |
信学技報, vol. 109, 2009年11月. |
資料番号 |
|
発行日 |
2009-11-19 (CAS, CST) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
CAS2009-46 CST2009-19 |
研究会情報 |
研究会 |
MSS CAS |
開催期間 |
2009-11-26 - 2009-11-27 |
開催地(和) |
名古屋大学 |
開催地(英) |
Nagoya University |
テーマ(和) |
一般 |
テーマ(英) |
|
講演論文情報の詳細 |
申込み研究会 |
MSS |
会議コード |
2009-11-CST-CAS |
本文の言語 |
日本語 |
タイトル(和) |
製品ライフサイクルでの高信頼化技術の動向 |
サブタイトル(和) |
|
タイトル(英) |
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 |
キーワード(7)(和/英) |
/ |
キーワード(8)(和/英) |
/ |
第1著者 氏名(和/英/ヨミ) |
内平 直志 / Naoshi Uchihira / ウチヒラ ナオシ |
第1著者 所属(和/英) |
株式会社 東芝 (略称: 東芝)
Toshiba Corporate R&D Center (略称: Toshiba) |
第2著者 氏名(和/英/ヨミ) |
/ / |
第2著者 所属(和/英) |
(略称: )
(略称: ) |
第3著者 氏名(和/英/ヨミ) |
/ / |
第3著者 所属(和/英) |
(略称: )
(略称: ) |
第4著者 氏名(和/英/ヨミ) |
/ / |
第4著者 所属(和/英) |
(略称: )
(略称: ) |
第5著者 氏名(和/英/ヨミ) |
/ / |
第5著者 所属(和/英) |
(略称: )
(略称: ) |
第6著者 氏名(和/英/ヨミ) |
/ / |
第6著者 所属(和/英) |
(略称: )
(略称: ) |
第7著者 氏名(和/英/ヨミ) |
/ / |
第7著者 所属(和/英) |
(略称: )
(略称: ) |
第8著者 氏名(和/英/ヨミ) |
/ / |
第8著者 所属(和/英) |
(略称: )
(略称: ) |
第9著者 氏名(和/英/ヨミ) |
/ / |
第9著者 所属(和/英) |
(略称: )
(略称: ) |
第10著者 氏名(和/英/ヨミ) |
/ / |
第10著者 所属(和/英) |
(略称: )
(略称: ) |
第11著者 氏名(和/英/ヨミ) |
/ / |
第11著者 所属(和/英) |
(略称: )
(略称: ) |
第12著者 氏名(和/英/ヨミ) |
/ / |
第12著者 所属(和/英) |
(略称: )
(略称: ) |
第13著者 氏名(和/英/ヨミ) |
/ / |
第13著者 所属(和/英) |
(略称: )
(略称: ) |
第14著者 氏名(和/英/ヨミ) |
/ / |
第14著者 所属(和/英) |
(略称: )
(略称: ) |
第15著者 氏名(和/英/ヨミ) |
/ / |
第15著者 所属(和/英) |
(略称: )
(略称: ) |
第16著者 氏名(和/英/ヨミ) |
/ / |
第16著者 所属(和/英) |
(略称: )
(略称: ) |
第17著者 氏名(和/英/ヨミ) |
/ / |
第17著者 所属(和/英) |
(略称: )
(略称: ) |
第18著者 氏名(和/英/ヨミ) |
/ / |
第18著者 所属(和/英) |
(略称: )
(略称: ) |
第19著者 氏名(和/英/ヨミ) |
/ / |
第19著者 所属(和/英) |
(略称: )
(略称: ) |
第20著者 氏名(和/英/ヨミ) |
/ / |
第20著者 所属(和/英) |
(略称: )
(略称: ) |
講演者 |
第1著者 |
発表日時 |
2009-11-26 11:35:00 |
発表時間 |
25分 |
申込先研究会 |
MSS |
資料番号 |
CAS2009-46, CST2009-19 |
巻番号(vol) |
vol.109 |
号番号(no) |
no.300(CAS), no.301(CST) |
ページ範囲 |
pp.7-12 |
ページ数 |
6 |
発行日 |
2009-11-19 (CAS, CST) |
|