| 講演名 | 2014-05-30 OMGコンシューマデバイス・ディペンダビリティ保証国際規格の策定とその評価実験 松野 裕, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 電気通信大学では、IPA,産総研、富士通などと共同で、OMGにおいて、日本流の繰り返し開発をモデル化した、自動車などのコンシューマデバイスのディペンダビリティを保証するためのフレームワークを国際規格として提案中である。2014年6月に発行が予定されている。提案規格の有効性を検証するため、スマートハウスを例とした基礎評価実験を行っている。本稿ではSSCD規格の概要および基礎評価実験の現状を報告する。 |
| 抄録(英) | In OMG (Object Management Group), the University of Electro-Communications has been conducting a standardization activity for "OMG Dependability Assurance Framework for Safety-Sensitive Consumer Devices (SSCD)" with IPA, AIST, Fujitsu, and other organizations. SSCD specification aims to formalize dependability assurance framework based on Japanese way of iterative development for consumer devices such as automobiles. The specification will be published on June 2014. In this paper, we introduce the current contents of SSCD specification and a feasibility experiment on a smarthouse system. |
| キーワード(和) | |
| キーワード(英) | OMG Dependability Assurance Framework / Safety-Sensitive Consumer Devices / Meta-model / Assurance Cases / GSN (Goal Structuring Notation) |
| 資料番号 | KBSE2014-8 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2014/5/22(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | OMGコンシューマデバイス・ディペンダビリティ保証国際規格の策定とその評価実験 |
| サブタイトル（和） | |
| タイトル（英） | Standardization of OMG Dependability Framework for Safety-Sensitive Consumer Devices and Its Feasibility Evaluation Experiment |
| サブタイトル（和） | |
| キーワード(1)（和/英） | / OMG Dependability Assurance Framework |
| 第 1 著者 氏名（和/英） | 松野 裕 / Yutaka MATSUNO |
| 第 1 著者 所属（和/英） | 電気通信大学大学院情報システム学研究科 Graduate School of Information Systems, The University of Electro-Communications |
| 発表年月日 | 2014-05-30 |
| 資料番号 | KBSE2014-8 |
| 巻番号（vol） | vol.114 |
| 号番号（no） | 66 |
| ページ範囲 | pp.- |
| ページ数 | 5 |
| 発行日 | |