- 著者
-
三瀬 敏朗
新屋敷泰史
橋本 正明
鵜林尚靖
片峯 恵一
中谷 多哉子
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)
- 巻号頁・発行日
- vol.2004, no.87, pp.113-120, 2004-08-20
- 被引用文献数
-
5
組込みソフト分野では、専任オペレータや安定した環境とは限らない状況での運用を要求される。組込みシステムの信頼性や安全性を確保するために、通常運用で想定から抜け落ちしやすい状況である非正常系に焦点を絞り、仕様分析段階で非正常系要件の抽出を行い、システムの設計要件を明確にする方法について検討を行った。このため、非正常系の分析や要因等の体系化を行い、システムにおける非正常系の連鎖から障害に至る挙動の抽出を行うために、状態とイベントのマトリクスを用いて分析を行う方法を検討し試行した。その結果、基本的な有効性を確認し、今後の課題を検討した。Embedded systems are in need of the consideration about exceptions because of the environment and requirements for running. However, in practice, the consideration about exceptions often slipped out of specifications. Thus, it is an important problem about the cost and quality of embedded systems. Therefore, we have been studying about the methodology to analyze exceptions with exception knowledge systematization and exception state/event analysis matrix. In this paper, we describe the analysis matrix, its application example, and future studies.