製品・システムの保全性保証(<特集>製品・システムの保全性)
2014 年 36 巻 3 号 p. 174-179
詳細
2014 年 36 巻 3 号 p. 174-179
様々なシステムが開発と運用を明確に分けられることなく,絶え間なく運用されるようになった.例えばスマートフォンは,常にソフトウエアが更新され日々新しくなっている.これからのシステム保全は,運用の一部分としてではなく,システムのライフサイクル全体で行う必要がある.本稿ではシステム保証の新しい手法であり,筆者が最近研究を行っているアシュアランスケースを説明する.次にシステムライフサイクル全体におけるシステム保全性保証の例として,電気通信大学(以下,電通大)などが提案しているOMG Dependability Assurance Framework for Safety-Sensitive Consumer Devices(SSCD)国際規格について説明する.SSCDは日本のすり合わせ開発をモデル化したプロセスモデル,システムのディペンダビリティに関連する用語モデル,そしてシステムのディペンダビリティを保証するためのアシュアランスケーステンプレートよりなり,日本発のシステムのディペンダビリティ保証の枠組みとしてIPA(独立行政法人情報処理推進機構)を中心に策定中である.SSCDを元に,保守の観点から,システムライフサイクル全般のディペンダビリティ保証について考察する.
