システマビリティを導入したサービス指向型ソフトウェア信頼性評価法に関する研究

2013 年度 研究成果報告書

• 研究課題/領域番号: 23510170
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: 社会システム工学・安全システム
• 研究機関: 鳥取大学
• 研究代表者: 得能 貢一 鳥取大学, 工学(系)研究科(研究院), 教授 (40263488)
• 研究期間 (年度): 2011 – 2013
• キーワード: ソフトウェア信頼性 / システマビリティ / サービス可用性 / 運用環境の変動性 / マルコフ過程 / NHPP

研究概要

本研究課題では，運用環境の変動・不確実性を考慮した新たな信頼性の概念である「システマビリティ」を導入したソフトウェアの運用信頼性評価のための数理モデルを種々構築した．また，この理論的枠組みを，ソフトウェアシステムのサービス可用性評価法にも応用した．システマビリティを導入した数理モデルを基に，ソフトウェア信頼性/可用性評価のための定量的尺度を，時刻およびシステムに施されるデバッグ作業回数の関数として改めて導出した．

研究成果

• [雑誌論文] Markovian modeling for operational software reliability evaluation with systemability (2012)
  • 著者名/発表者名: K. Tokuno, S. Yamada
  • 雑誌名: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻: Vol. E95-A, No. 9 ページ: 1469-1477
  • 査読あり
• [雑誌論文] NHPP-based software availability assessment modeling with systemability (2012)
  • 著者名/発表者名: M. Yamamoto, K. Tokuno, S. Yamada
  • 雑誌名: the Proceedings of the Eleventh International Conference on Industrial Management, Tokyo, Japan ページ: 378-392
  • 査読あり
• [雑誌論文] Imperfect debugging model with random fault removal efficiency for software reliability evaluation (2012)
  • 著者名/発表者名: G. Murakami, K. Tokuno, S. Yamada
  • 雑誌名: the Proceedings of the Eleventh International Conference on Industrial Management, Tokyo, Japan ページ: 375-380
  • 査読あり
• [雑誌論文] Software performability evaluation based on Markovian reliability model with systemability (2012)
  • 著者名/発表者名: T. Fukuda, K. Tokuno, S. Yamada
  • 雑誌名: the Proceedings of the Eighteenth ISSAT International Conference on Reliability and Quality in Design, Boston, Massachusetts, U.S.A. ページ: 116-120
  • 査読あり
• [雑誌論文] Codesign-oriented and user-perceived service availability measurement for hardware/software system (2012)
  • 著者名/発表者名: K. Tokuno
  • 雑誌名: Asia-Pacific Journal of Operational Research 巻: Vol. 29, No. 3 ページ: 1240024-1-22
  • 査読あり
• [雑誌論文] Stochastic software performability evaluation based on NHPP reliability growth model (2011)
  • 著者名/発表者名: K. Tokuno, T. Nagata, S. Yamada
  • 雑誌名: International Journal of Reliability, Quality and Safety Engineering 巻: Vol. 18, No. 5 ページ: 431-444
  • 査読あり
• [雑誌論文] Stochastic performability evaluation for software system based on NHPP reliability model (2011)
  • 著者名/発表者名: T. Nagata, K. Tokuno, S. Yamada
  • 雑誌名: the Proceedings of the Seventeenth ISSAT International Conference on Reliability and Quality in Design, Vancouver, B.C., Canada ページ: 127-131
  • 査読あり
• [雑誌論文] Software reliability modeling with randomness of fault correction probability (2011)
  • 著者名/発表者名: K. Tokuno, S. Yamada
  • 雑誌名: the Proceedings of the Seventh International Conference on Mathematical Methods in Reliability, Theory, Methods and Applications (MMR 2011), Beijing, China ページ: 280-286
  • 査読あり
• [学会発表] Software performability evaluation with NHPP-based SRGM considerating systemability (2012)
  • 著者名/発表者名: 得 能貢一
  • 学会等名: 日本 OR 学会2012年秋季研究発表会
  • 発表場所: ウインクあいち
  • 年月日: 2012-09-13
• [学会発表] システマビリティを考慮したソフトウェア可用性モデル (2012)
  • 著者名/発表者名: 得能貢一, 山田茂
  • 学会等名: 日本OR 学会2012年春季研究発表会
  • 発表場所: 防衛大学校
  • 年月日: 2012-03-28
• [学会発表] Markovian operational software reliability modeling with systemability (2011)
  • 著者名/発表者名: K. Tokuno, S. Yamada
  • 学会等名: Supplemental Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering
  • 発表場所: (CD-ROM)
  • 年月日: 2011-12-01
• [学会発表] NHPP に基づく完全デバッグ率のランダム性を考慮したソフトウェア信頼性モデル (2011)
  • 著者名/発表者名: 村上元太, 得能貢一, 山田茂
  • 学会等名: 第13回 IEEE 広島支部学生シンポジウム論文集
  • 発表場所: 広島 (CD-ROM)
  • 年月日: 2011-11-19
• [学会発表] NHPP モデルを用いたソフトウェア性能評価法 (2011)
  • 著者名/発表者名: 得能貢一, 山田茂
  • 学会等名: 日本 OR 学会2011年秋季研究発表会
  • 発表場所: 甲南大学
  • 年月日: 2011-09-16
• [学会発表] システマビリティを導入したソフトウェアの運用信頼性評価モデルに関する一考察 (2011)
  • 著者名/発表者名: 得能貢一, 山田茂
  • 学会等名: 電子情報通信学会技術研究報告(信頼性研究会)
  • 年月日: 2011-07-29
• [図書] Application of systemability to software reliability evaluation, in Advances in Software Engineering, International Conference on Advanced Software Engineering and Its Applications, ASEA 2011 Held as Part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea (2011)
  • 著者名/発表者名: K. Tokuno, S. Yamada
  • 総ページ数: 514-521
  • 出版者: Springer-Verlag, Berlin