TOKUNO Koichi 得能貢一

Researcher Number	40263488
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2012 – 2013: 鳥取大学, 工学(系)研究科(研究院), 教授 2011: 鳥取大学, 工学(系)研究科(研究院), 准教授 2010: Tottori University, 大学院・工学研究科, 准教授 2008 – 2009: Tottori University, 工学研究科, 准教授 2005: TOTTORI UNIVERSITY, FACULTY OF ENGINEERING, ASSOCIATE PROFESSOR, 工学部, 助教授 … More 2004: 国立大学法人鳥取大学, 工学部, 助教授 2001 – 2003: Tottori University, Faculty of Engineering, Associate Professor, 工学部, 助教授 2000: 鳥取大学, 工学部, 助手 Less
Review Section/Research Field	Principal Investigator Social systems engineering/Safety system / 社会システム工学 Except Principal Investigator 社会システム工学 / Social systems engineering/Safety system
Keywords	Principal Investigator マルコフ過程 / ソフトウェア信頼度成長 / サービス可用性 / 無限サーバ待ち行列理論 / 不完全デバッグ / ソフトウェア可用性 / ハザードレートモデル / 非同次ポアソン過程 / 運用段階 / 運用段階における修復シナリオ … More / 環境係数 / サブタスク / 処理性評価法 / マルチモジュールソフトウェア / NHPP / 運用環境の変動性 / システマビリティ / ソフトウェア信頼性 / ユーザから見たシステム故障 / ソフトウェアシステム / 信頼度成長 / リアルタイム性 / コデザイン / ユーザの間欠使用 / サービス信頼性 / ディペンダビリティ / 無限サーバ待ち行列モデル / リアルタイム性評価 / 失望確率 / 区間ソフトウェア信頼度 / 間欠使用 / フォールト修正困難度 / マルチアクセスシステム / 最適リリース問題 / ソフトウェア安全性 … More Except Principal Investigator 品質工学的アプローチ / Risk management / Reliability assessment technologies / Human factor analysis / Process diagnostic-check procedures / Project management / Product quality / Process quality / Software development process / 人的要因 / プロセス診断方式 / 信頼性評価ツール / 人的要因モデル / リスク管理 / 信頼性評価技術 / 品質 / 人的要因分析 / プロセス品質診断方式 / プロジェクトマネジメント / プロダクト品質 / プロセス品質 / ソフトウェア開発プロセス / Software Development Tool / Software Management / Quality Engineering Approach / Software Availability / Software Safety / User-Oriented Measures / Quantitative Assessment / Software Reliability / ソフトウェアマネジメント / ソフトウェアツール / ソフトウェア可用性 / ソフトウェア安全性 / ユーザ指向型尺度 / 定量的評価 / ソフトウェア信頼性 / ソフトウェア / 保障 / 最適方策 / 保全性 / 信頼性 / ネットワーク Less

A Study on Service-Oriented Software Reliability Evaluation with SystemabilityPrincipal Investigator
- Principal Investigator
  
  TOKUNO Koichi
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Social systems engineering/Safety system
- Research Institution
  Tottori University
A Study on Service Availability Evaluation for Software SystemPrincipal Investigator
- Principal Investigator
  
  TOKUNO Koichi
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Social systems engineering/Safety system
- Research Institution
  Tottori University
ソフトウェア信頼性モデルに基づくシステムのリアルタイム性評価に関する研究Principal Investigator
- Principal Investigator
  
  得能貢一
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Social systems engineering/Safety system
- Research Institution
  Tottori University
A Study on Process Diagnostic-Check Procedures and Reliability Assessment Technologies for Software Process Quality Improvement
- Principal Investigator
  
  YAMADA Shigeru
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Social systems engineering/Safety system
- Research Institution
  Tottori University
大規模ネットワークシステムの総合的信頼度向上に関する研究
- Principal Investigator
  
  河合一
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  社会システム工学
- Research Institution
  Tottori University
使命に基づく総合的なソフトウェア信頼性評価法に関する研究Principal Investigator
- Principal Investigator
  
  得能貢一
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  社会システム工学
- Research Institution
  Tottori University
A Study on User-Oriented Software Assessment Methods Considering Safety and Availability
- Principal Investigator
  
  YAMADA Shigeru
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  社会システム工学
- Research Institution
  TOTTORI UNIVERSITY

All 2012 2011 2010 2009 2008 2006 2005 2004 2003 Other

All Journal Article Presentation Book

[Book] 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, Korea2011
- Author(s)
  K. Tokuno, S. Yamada
- Publisher
  Springer-Verlag, Berlin
- Data Source
  KAKENHI-PROJECT-23510170
[Book] Markovian service availability modeling for hardware/software system, in Advanced Reliability Modeling IV(Beyond the Traditional Reliability and Maintainability Approaches, Wellington, New Zealand, 2-4 December 2010, Proceedings of the 4th Asia-Pacific International Symposium (APARM 2010))2010
- Author(s)
  K.Tokuno, S.Yamada
- Publisher
  McGraw Hill, Taipei, Taiwan, R.O.C.
- Data Source
  KAKENHI-PROJECT-20510136
[Book] Operational software performance evaluation based on the number of debuggings with two kinds of restoration scenarios(in Recent Advances in Stochastic Operations Research II)2009
- Author(s)
  K.Tokuno, S.Yamada
- Publisher
  World Scientific, Singapore
- Data Source
  KAKENHI-PROJECT-20510136
[Book] Software performability measurement based on availability model with user-perceived performance degradation, in Advances in Software Engineering --- International Conference on Advanced Software Engineering and Its Applications(ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Proceedings, Communications in Computer and Information Science 59)2009
- Author(s)
  K.Tokuno, S.Yamada
- Publisher
  Springer-Verlag, Berlin
- Data Source
  KAKENHI-PROJECT-20510136
[Book] User-perceived software service availability modeling with reliability growth(in Service Availability --- 5th International Service Availability Symposium, ISAS 2008, Tokyo, Japan, May 19-21 2008, Proceedings, Lecture Notes in Computer Science 5017)2008
- Author(s)
  K.Tokuno, S.Yamada
- Publisher
  Springer-Verlag, Berlin
- Data Source
  KAKENHI-PROJECT-20510136
[Book] Markovian performance evaluation for software system availability with processing time limit(in Recent Advances in Reliability and Quality in Design, Chapter 10)2008
- Author(s)
  M.Fukuda, K. Tokuno, S. Yamada
- Publisher
  Springer-Verlag, London
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Codesign-oriented and user-perceived service availability measurement for hardware/software system2012
- Author(s)
  Koichi Tokuno
- Journal Title
  
  Asia-Pacific Journal of Operational Research
  
  Volume: 29 Issue: 03 Pages: 1240024-1240024
- DOI
  10.1142/s0217595912400246
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23510170
[Journal Article] Imperfect debugging model with random fault removal efficiency for software reliability evaluation2012
- Author(s)
  G. Murakami, K. Tokuno, S. Yamada
- Journal Title
  
  the Proceedings of the Eleventh International Conference on Industrial Management, Tokyo, Japan
  
  Pages: 375-380
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23510170
[Journal Article] Markovian modeling for operational software reliability evaluation with systemability2012
- Author(s)
  K. Tokuno, S. Yamada
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  Volume: Vol. E95-A, No. 9 Pages: 1469-1477
- NAID
  10031142531
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23510170
[Journal Article] Software performability evaluation based on Markovian reliability model with systemability2012
- Author(s)
  T. Fukuda, K. Tokuno, S. Yamada
- Journal Title
  
  the Proceedings of the Eighteenth ISSAT International Conference on Reliability and Quality in Design, Boston, Massachusetts, U.S.A.
  
  Pages: 116-120
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23510170
[Journal Article] Codesign-oriented and user-perceived service availability measurement for hardware/software system2012
- Author(s)
  K. Tokuno
- Journal Title
  
  Asia-Pacific Journal of Operational Research
  
  Volume: Vol. 29, No. 3
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23510170
[Journal Article] Dynamic software performability analysis with operation-oriented restoration and imperfect debugging based on Markovian availability model2012
- Author(s)
  Koichi Tokuno and Shigeru Yamada
- Journal Title
  
  Asia-Pacific Journal of Industrial Management
  
  Volume: 3 Pages: 57-67
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23510170
[Journal Article] NHPP-based software availability assessment modeling with systemability2012
- Author(s)
  M. Yamamoto, K. Tokuno, S. Yamada
- Journal Title
  
  the Proceedings of the Eleventh International Conference on Industrial Management, Tokyo, Japan
  
  Pages: 378-392
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23510170
[Journal Article] システマビリティを導入したソフトウェア性能評価法に関する一考察2012
- Author(s)
  得能貢一, 山田茂
- Journal Title
  
  電子情報通信学会技術研究報告（信頼性研究会）
  
  Volume: 112 Pages: 53-58
- NAID
  110009569274
- Data Source
  KAKENHI-PROJECT-23510170
[Journal Article] Markovian modeling for operational software reliability evaluation with systemability2012
- Author(s)
  Koichi Tokuno and Shigeru Yamada
- Journal Title
  
  IEICE Transactions on Fundamentals
  
  Volume: E95-A Pages: 1469-1477
- NAID
  10031142531
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23510170
[Journal Article] Operational software performability evaluation based on Markovian reliability growth model with systemability2012
- Author(s)
  K. Tokuno
- Journal Title
  
  International Journal of Reliability, Quality and Safety Engineering
  
  Volume: 19 Issue: 06 Pages: 1240001-1240001
- DOI
  10.1142/s0218539312400013
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22510150, KAKENHI-PROJECT-23510170
[Journal Article] Software reliability modeling with randomness of fault correction probability2011
- Author(s)
  K. Tokuno, S. Yamada
- Journal Title
  
  the Proceedings of the Seventh International Conference on Mathematical Methods in Reliability, Theory, Methods and Applications (MMR 2011), Beijing, China
  
  Pages: 280-286
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23510170
[Journal Article] Stochastic software performability evaluation based on NHPP reliability growth model2011
- Author(s)
  Koichi Tokuno, Tatsuya Nagata and Shigeru Yamada
- Journal Title
  
  International Journal of Reliability, Quality and Safety Engineering
  
  Volume: 18 Pages: 431-444
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23510170
[Journal Article] Codesign-oriented performability modeling for hardware-software system2011
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  IEEE Transactions on Reliability Vol.60, No.1
  
  Pages: 171-179
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Codesign-oriented performability modeling for hardware-software system2011
- Author(s)
  Koichi Tokuno
- Journal Title
  
  IEEE Transactions on Reliability
  
  Volume: Vol.60 Pages: 171-179
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Stochastic software performability evaluation based on NHPP reliability growth model2011
- Author(s)
  K. Tokuno, T. Nagata, S. Yamada
- Journal Title
  
  International Journal of Reliability, Quality and Safety Engineering
  
  Volume: Vol. 18, No. 5 Pages: 431-444
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23510170
[Journal Article] Performability analysis for software-intensive system considering variety of tasks and operation-oriented restoration2011
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  Quality Technology and Quantitative Management Vol.8, No.1
  
  Pages: 27-43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] システマビリティを導入したソフトウェアの運用信頼性評価モデルに関する一考察2011
- Author(s)
  得能貢一, 山田茂
- Journal Title
  
  電子情報通信学会技術研究報告（信頼性研究会）
  
  Volume: 111 Pages: 7-12
- NAID
  110008800406
- Data Source
  KAKENHI-PROJECT-23510170
[Journal Article] Performability analysis for software-intensive system considering variety of tasks and operation-oriented restoration2011
- Author(s)
  Koichi Tokuno
- Journal Title
  
  Quality Technology and Quantitative Management
  
  Volume: Vol.8 Pages: 27-43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Stochastic performability evaluation for software system based on NHPP reliability model2011
- Author(s)
  T. Nagata, K. Tokuno, S. Yamada
- Journal Title
  
  the Proceedings of the Seventeenth ISSAT International Conference on Reliability and Quality in Design, Vancouver, B.C., Canada
  
  Pages: 127-131
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23510170
[Journal Article] Markovian model for user-perceived software service availability measurement with operation-oriented restoration2010
- Author(s)
  Koichi Tokuno
- Journal Title
  
  Proc.7th International Conference on Service Systems and Service Management
  
  Pages: 478-483
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Markovian service availability modeling for hardware/software system2010
- Author(s)
  Koichi Tokuno
- Journal Title
  
  Proc.4th Asia-Pacific International Symposium
  
  Pages: 680-687
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Availability-based software performability analysis with operation-oriented restoration and imperfect debugging2010
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  in the Proceedings of the Tenth International Conference on Industrial Management (ICIM'2010), Beijing, China
  
  Pages: 431-436
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Availability-based software performability model with user-perceived performance degradation2010
- Author(s)
  Koichi Tokuno
- Journal Title
  
  International Journal of Software Engineering and Its Applications Vol.4
  
  Pages: 1-14
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Availability-based software performability analysis with operation-oriented restoration and imperfect debugging2010
- Author(s)
  Koichi Tokuno
- Journal Title
  
  Proc.10th International Conference on Industrial Management
  
  Pages: 431-436
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Generalized framework for Markovian software availability modeling and its approximation2010
- Author(s)
  S.Ikegami, K.Tokuno, S.Yamada
- Journal Title
  
  in the Proceedings of the Sixteenth ISSAT International Conference on Reliability and Quality in Design (RQD'2010), Washington, D.C., U.S.A.
  
  Pages: 238-242
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Availability-based software performability model with user-perceived performance degradation2010
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  International Journal of Software Engineering and Its Applications Vol.4, No.1
  
  Pages: 1-14
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Markovian performability evaluation for software system with random performance degradation and imperfect debugging2010
- Author(s)
  S.Murakami, K.Tokuno, S.Yamada
- Journal Title
  
  in the Proceedings of the Sixteenth ISSAT International Conference on Reliability and Quality in Design (RQD'2010), Washington, D.C., U.S.A.
  
  Pages: 243-247
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Stochastic performability measurement for software system with random performance degradation and field-oriented restoration2010
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  International Journal of Systems Assurance Engineering and Management Vol.1, No.4
  
  Pages: 330-339
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Markovian model for user-perceived software service availability measurement with operation-oriented restoration2010
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  in the Proceedings of the 7th International Conference on Service Systems and Service Management (ICSSSM'10), Tokyo, Japan
  
  Pages: 478-483
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Markovian performability modeling for hardware-software system2009
- Author(s)
  J.Takahashi, K.Tokuno, S.Yamada
- Journal Title
  
  in the Proceedings of the Fifteenth ISSAT International Conference on Reliability and Quality in Design (RQD'2009), San Francisco, California, U.S.A.
  
  Pages: 382-386
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Software performability measurement based on availability model with user-perceived performance degradation2009
- Author(s)
  Koichi Tokuno
- Journal Title
  
  Advances in Software Engineering, ASEA 2009
  
  Pages: 264-271
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Performability modeling for software system with performance degradation and reliability growth2009
- Author(s)
  Koichi Tokuno
- Journal Title
  
  IEICE Transactions on Fundamentals Vol.E92-A
  
  Pages: 1563-1571
- NAID
  10026858132
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Performability modeling for software system with performance degradation and reliability growth2009
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E92-A, No.7
  
  Pages: 1563-1571
- NAID
  10026858132
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Generalized Markovian software reliability modeling and its approximation2009
- Author(s)
  T.Kodera, K.Tokuno, S.Yamada
- Journal Title
  
  in the Proceedings of the Fifteenth ISSAT International Conference on Reliability and Quality in Design (RQD'2009), San Francisco, California, U.S.A.
  
  Pages: 377-381
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Generalized Markovian software reliability modeling and its alternative calculation2009
- Author(s)
  K.Tokuno, T.Kodera, S.Yamada
- Journal Title
  
  International Journal of Reliability, Quality and Safety Engineering Vo1.16, No.5
  
  Pages: 385-402
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Operational software performance evaluation based on the number of de buggings with two kinds of restoration scenarios2009
- Author(s)
  Koichi Tokuno
- Journal Title
  
  Recent Advances in Stochastic Operations Research II
  
  Pages: 253-269
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Generalized Markovian software reliability modeling and its alternative calculation2009
- Author(s)
  Koichi Tokuno
- Journal Title
  
  International Journal of Reliability, Quality and Safety Engineering Vol.16
  
  Pages: 385-402
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Performance analysis based on the number of debuggings for software system with processing time limit using reliability growth model2008
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  Asia-Pacific Journal of Operational Research Vol.25, No.6
  
  Pages: 765-780
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Markovian software reliability modeling with testing-effort2008
- Author(s)
  K.Maehashi, K.Tokuno, S.Yamada
- Journal Title
  
  in the Proceedings of the Fourteenth ISSAT International Conference on Reliability and Quality in Design (RQD'2008), Orlando, Florida, U.S.A.
  
  Pages: 193-197
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Dynamic performance analysis for software system considering real-time property in case of NHPP task arrival2008
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  in the Proceedings of the Second IEEE International Conference on Secure System lntegration and Reliability Improvement SSIRI 2008(Yokohama, Japan)
  
  Pages: 73-80
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Service-oriented software availability model with service degradation2008
- Author(s)
  得能貢一
- Journal Title
  
  Proceedings of the 9th International Conference on Industrial Management
  
  Pages: 626-631
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Stochastic performability evaluation for software-intensive system in case of tasks with various processing deadlines2008
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  in the Proceedings of the 3rd Asian International Workshop on Advanced Reliability Modeling (AIWARM 2008), Taichung, Taiwan, R.O.C.
  
  Pages: 575-582
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Dynamic performance analysis for software system considering real-time property in case of NHPP task arrival2008
- Author(s)
  得能貢一
- Journal Title
  
  Proceedings of 2nd IEEE International Conference on Secure System Integration and Reliability Improvement
  
  Pages: 73-80
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Performance analysis based on the number of debuggings for software system with processing time limit using reliability growth model2008
- Author(s)
  得能貢一
- Journal Title
  
  Asia-Pacific Journal of Operational Research 25
  
  Pages: 765-780
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] User-perceived software service availability Modeling with reliability growth2008
- Author(s)
  得能貢一
- Journal Title
  
  Service Availability -5th International Service Availability Symposium, ISAS 2008
  
  Pages: 75-89
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Stochastic performability evaluation for software-intensive system in case of tasks with various processing deadlines2008
- Author(s)
  得能貢一
- Journal Title
  
  Proceedings of the 3rd Asian International Workshop on Advanced Reliability Modeling
  
  Pages: 575-582
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Service-oriented software availability model with service degradation2008
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  in the Proceedings of the Ninth International Conference on Industrial Management (ICIM'2008), Osaka, Japan
  
  Pages: 626-631
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] マルコフモデルに基づくソフトウェアの運用信頼性評価法と最適リリース問題への応用2006
- Author(s)
  得能貢一, 山田茂
- Journal Title
  
  統計数理研究所共同研究レポート191「最適化:モデリングとアルゴリズム19」
  
  Pages: 16-27
- Data Source
  KAKENHI-PROJECT-16710114
[Journal Article] ソフトウェア可用性を考慮したデバッグ回数に基づく最適リリース問題2005
- Author(s)
  得能貢一
- Journal Title
  
  統計数理研究所共同研究レポート178「最適化:モデリングとアルゴリズム18」
  
  Pages: 391-398
- Data Source
  KAKENHI-PROJECT-16710114
[Journal Article] Stochastic performance evaluation for multi-task processing system with software availability model2005
- Author(s)
  Koichi Tokuno
- Journal Title
  
  Journal of Quality in Maintenance Engineering (発表予定)
- Data Source
  KAKENHI-PROJECT-16710114
[Journal Article] マルコフモデルを用いたソフトウェアの運用信頼性評価法に関する考察2005
- Author(s)
  森田創, 得能責一, 山田茂
- Journal Title
  
  第7回IEEE広島支部学生シンポジウム論文集
  
  Pages: 250-251
- Data Source
  KAKENHI-PROJECT-16710114
[Journal Article] 信頼度成長モデルを用いたソフトウェアの処理性評価法2005
- Author(s)
  得能貢一, 山田茂
- Journal Title
  
  ソフトウェア工学の基礎XII
  
  Pages: 37-42
- Data Source
  KAKENHI-PROJECT-16710114
[Journal Article] Markovian operational software reliability measurement based on accelerated life testing model2005
- Author(s)
  H.Morita, K.Tokuno, S.Yamada
- Journal Title
  
  Proceedings of the Eleventh ISSAT International Conference on Reliability and Quality in Design, St. Louis, Missouri, U.S.A., August 4-6, 2005
  
  Pages: 204-208
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] ソフトウェア可用性を考慮したデバッグ回数に基づく最適リリース問題2005
- Author(s)
  得能貢一
- Journal Title
  
  統計数理研究所共同研究リポート178「最適化:モデリングとアルゴリズム18」
  
  Pages: 391-398
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] Markovian operational software reliability measurement based on accelerated life testing model2005
- Author(s)
  Hajime Morita, Koichi Tokuno, Shigeru Yamada
- Journal Title
  
  Proceedings of the 11th ISSAT International Conference on Reliability and Quality in Design
  
  Pages: 204-208
- Data Source
  KAKENHI-PROJECT-16710114
[Journal Article] Performance evaluation for multi-task processing system with software availability model2004
- Author(s)
  K.Tokuno
- Journal Title
  
  Proc.The 2004 Asian International Workshop on Advanced Reliability Modeling
  
  Pages: 539-546
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] Optimal software release problem based on the number of debuggings with availability requirement2004
- Author(s)
  K.Tokuno
- Journal Title
  
  Proc The 10^<th> ISSAT International Conference on Reliability and Quality in Design
  
  Pages: 25-29
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] Optimal software release problem based on the number of debuggings with availability requirement2004
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  Proceedings of the Tenth ISSAT International Conference on Reliability and Quality in Design, Las Vegas, Nevada, U.S.A., August 5-7, 2004
  
  Pages: 25-29
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] Optimal software release problem based on the number of debugging with availability requirement2004
- Author(s)
  K.Tokuno
- Journal Title
  
  Proc. 10~<th> ISSAT International Conference on Reliability and Quality in Design
  
  Pages: 25-29
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] Performance evaluation for multi-task processing system with software availability model2004
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  Proceedings of the 2004 Asian International Workshop on Advanced Reliability Modeling (AIWARM 2004), Hiroshima, Japan, August 26-27, 2004
  
  Pages: 539-546
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] Optimal software release problem based on the number of debuggings with availability requirement2004
- Author(s)
  Koichi Tokuno
- Journal Title
  
  Proceedings of the Tenth ISSAT International Conference on Reliability and Quality in Design
  
  Pages: 25-29
- Data Source
  KAKENHI-PROJECT-16710114
[Journal Article] Performance evaluation for multi-task processing system with software availability model2004
- Author(s)
  Koichi Tokuno
- Journal Title
  
  Proceedings of the 2004 Asian International Workshop on Advanced Reliability Modeling
  
  Pages: 539-546
- Data Source
  KAKENHI-PROJECT-16710114
[Journal Article] Optimal release problem based on the number of debuggings with software safety model2004
- Author(s)
  T.Fujiyoshi, K.Tokuno, S.Yamada
- Journal Title
  
  Proceedings of the 2004 Asian International Workshop on Advanced Reliability Modeling (AIWARM 2004), Hiroshima, Japan, August 26-27, 2004
  
  Pages: 117-124
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] Performance evaluation for multi-task processing system with software availability model2004
- Author(s)
  K.Tokuno
- Journal Title
  
  Proc. 2004 Asian International Workshop on Advanced Reliability Modeling(AIWARM2004)
  
  Pages: 539-546
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] 不完全デバッグ環境を考慮した間欠的に使用されるソフトウェアシステムの可用性解析2003
- Author(s)
  得能貢一
- Journal Title
  
  日本ソフトウェア科学会誌(コンピュータソフトウェア) 20・4
  
  Pages: 1-10
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] On relationship between software availability measurement and the number of restorations with imperfect debugging2003
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  Computers & Mathematics with Applications : An International Journal, October 2003 Vol.46, No.7
  
  Pages: 1155-1163
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] Markovian software reliability measurement with a geometrically decreasing perfect debugging rate2003
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  Mathematical and Computer Modelling Vol.38, Nos.11-13
  
  Pages: 1443-1451
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] Performance evaluation for multi-task software system with reliability growth process"2003
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  Proceedings of the International Workshop on Reliability and Its Applications, Seoul, Korea, December 3-5, 2003
  
  Pages: 132-137
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] Performance evaluation for multi-task software system with reliability growth process2003
- Author(s)
  K.Tokuno
- Journal Title
  
  Proc. International Workshop on Reliability and Its Applications
  
  Pages: 132-137
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] Markovian availability analysis with imperfect debugging for software systems used intermittently2003
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  J.Computer Software Vol.20, No.4
  
  Pages: 1-10
- NAID
  110003743120
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] Markovian software reliability measurement with a geometrically decreasing perfect debugging rate2003
- Author(s)
  K.Tokuno
- Journal Title
  
  Mathematical and Computer Modelling 38・11-13
  
  Pages: 1443-1451
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] On relationship between software availability measurement and the number of restorations with imperfect debugging2003
- Author(s)
  K.Tokuno
- Journal Title
  
  Computers & Mathematics with Applications : An International Journal 46・7
  
  Pages: 1155-1163
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] On relationship between the number of debuggings and software availability measurement under intermittent use2003
- Author(s)
  Y.Saitoh, K.Tokuno, S.Yamada
- Journal Title
  
  Proceedings of the Ninth ISSAT International Conference on Reliability and Quality in Design, Honolulu, Hawaii, U.S.A., August 7-9, 2003
  
  Pages: 315-319
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15510129
[Journal Article] Dynamic software performability analysis with operation-oriented restoration and imperfect debugging based on Markovian availability model
- Author(s)
  K.Tokuno, S.Yamada
- Journal Title
  
  Asia-Pacific Journal of Industrial Management, to be published in 2011
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510136
[Journal Article] Evaluation Method of Real-time Property for Software System with a Markovian Availability Model
- Author(s)
  Masamitsu Fukuda, Koichi Tokuno, Shigeru Yamada
- Journal Title
  
  Proceedings of the 12th ISSAT International Conference on Reliability and Quality in Design (発表予定)
- Data Source
  KAKENHI-PROJECT-16710114
[Presentation] 運用環境の不確定性・変動性を考慮したソフトウェア性能評価法2012
- Author(s)
  福田俊典, 得能貢一, 山田茂
- Organizer
  第14回IEEE広島支部学生シンポジウム
- Place of Presentation
  岡山県立大学
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] システマビリティを用いたNHPPモデルに基づくソフトウェア・アベイラビリティ評価2012
- Author(s)
  山本真里恵, 得能貢一, 山田茂
- Organizer
  第14回IEEE広島支部学生シンポジウム
- Place of Presentation
  岡山県立大学
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] システマビリティを考慮したソフトウェア可用性モデル2012
- Author(s)
  得能貢一, 山田茂
- Organizer
  日本オペレーションズ・リサーチ学会2012年春季研究発表会
- Place of Presentation
  防衛大学校（神奈川県）
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] システマビリティを考慮したソフトウェア可用性モデル2012
- Author(s)
  得能貢一, 山田茂
- Organizer
  日本OR 学会2012年春季研究発表会
- Place of Presentation
  防衛大学校
- Year and Date
  2012-03-28
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] Software performability evaluation with NHPP-based SRGM considering systemability2012
- Author(s)
  得能貢一
- Organizer
  日本オペレーションズ・リサーチ学会2012年秋季研究発表会
- Place of Presentation
  名古屋，ウインクあいち
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] Software performability evaluation based on Markovian reliability model with systemability2012
- Author(s)
  Toshinori Fukuda, Koichi Tokuno and Shigeru Yamada
- Organizer
  the Eighteenth ISSAT International Conference on Reliability and Quality in Design
- Place of Presentation
  米国，ボストン
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] システマビリティを導入したソフトウェア信頼性評価法と最適リリース問題への応用2012
- Author(s)
  得能貢一, 山田茂
- Organizer
  研究集会「最適化：モデリングとアルゴリズム」
- Place of Presentation
  政策研究大学院大学（東京都）
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] Performability evaluation for multi-task system using NHPP-based SRGM with systemability2012
- Author(s)
  Koichi Tokuno
- Organizer
  the 5th Asia-Pacific International Symposium on Advanced Reliability Modeling
- Place of Presentation
  中国，南京
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] NHPP-based software availability assessment modeling with systemability2012
- Author(s)
  Marie Yamamoto, Koichi Tokuno and Shigeru Yamada
- Organizer
  the Eleventh International Conference on Industrial Management
- Place of Presentation
  首都大学東京
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] Imperfect debugging model with random fault removal efficiency for software reliability evaluation2012
- Author(s)
  Genta Murakami, Koichi Tokuno and Shigeru Yamada
- Organizer
  the Eleventh International Conference on Industrial Management
- Place of Presentation
  首都大学東京
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] Software reliability modeling with randomness of perfect debugging probability2011
- Author(s)
  得能貢一
- Organizer
  日本オペレーションズ・リサーチ学会2011年春季研究発表会
- Place of Presentation
  電気通信大学(調布市)
- Year and Date
  2011-03-17
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] Software reliability modeling with randomness of fault correction probability2011
- Author(s)
  Koichi Tokuno and Shigeru Yamada
- Organizer
  The Seventh International Conference on Mathematical Methods in Reliability
- Place of Presentation
  Beijing, China
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] Markovian operational software reliability modeling with systemability2011
- Author(s)
  K. Tokuno, S. Yamada
- Organizer
  Supplemental Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering
- Place of Presentation
  (CD-ROM)
- Year and Date
  2011-12-01
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] Stochastic performability evaluation for software system based on NHPP reliability model2011
- Author(s)
  Tatsuya Nagata, Koichi Tokuno and Shigeru Yamada
- Organizer
  The Seventeenth ISSAT International Conference on Reliability and Quality in Design
- Place of Presentation
  Vancouver, B.C., Canada
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] NHPPに基づく完全デバッグ率のランダム性を考慮したソフトウェア信頼性モデル2011
- Author(s)
  村上元太, 得能貢一, 山田茂
- Organizer
  第13回IEEE広島支部学生シンポジウム
- Place of Presentation
  広島大学（広島県）
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] Application of systemability to software reliability evaluation2011
- Author(s)
  Koichi Tokuno and Shigeru Yamada
- Organizer
  International Conference on Advanced Software Engineering and Its Applications
- Place of Presentation
  Jeju, Korea
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] NHPP に基づく完全デバッグ率のランダム性を考慮したソフトウェア信頼性モデル2011
- Author(s)
  村上元太, 得能貢一, 山田茂
- Organizer
  第13回 IEEE 広島支部学生シンポジウム論文集
- Place of Presentation
  広島 (CD-ROM)
- Year and Date
  2011-11-19
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] NHPPモデルのソフトウェア性能評価法への適用2011
- Author(s)
  永田竜也, 得能貢一, 山田茂
- Organizer
  第13回IEEE広島支部学生シンポジウム
- Place of Presentation
  広島大学（広島県）
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] NHPP モデルを用いたソフトウェア性能評価法2011
- Author(s)
  得能貢一, 山田茂
- Organizer
  日本 OR 学会2011年秋季研究発表会
- Place of Presentation
  甲南大学
- Year and Date
  2011-09-16
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] NHPPモデルを用いたソフトウェア性能評価法2011
- Author(s)
  得能貢一, 山田茂
- Organizer
  日本オペレーションズ・リサーチ学会2011年秋季研究発表会
- Place of Presentation
  甲南大学（兵庫県）
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] Markovian operational software reliability modeling with systemability2011
- Author(s)
  Koichi Tokuno and Shigeru Yamada
- Organizer
  SupplemThe IEEE 22nd International Symposium on Software Reliability Engineering
- Place of Presentation
  Hiroshima, Japan
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] システマビリティを導入したソフトウェアの運用信頼性評価モデルに関する一考察2011
- Author(s)
  得能貢一, 山田茂
- Organizer
  電子情報通信学会技術研究報告(信頼性研究会)
- Year and Date
  2011-07-29
- Data Source
  KAKENHI-PROJECT-23510170
[Presentation] ハードウェア/ソフトウェアシステムに対するサービス可用性評価法に関する一考察2010
- Author(s)
  得能貢一, 山田茂
- Organizer
  電子情報通信学会技術研究報告(信頼性研究会), Vol.110, No.159, R2010-21, 25-30
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] 性能低下および運用段階特有の修復シナリオを考慮したソフトウェア性能評価のための統合モデル2010
- Author(s)
  得能貢一, 山田茂
- Organizer
  電子情報通信学会技術研究報告(信頼性研究会), Vol.110, No.345, R2010-37, 1-6
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] 運用時の復旧シナリオを考慮したソフトウェア・サービスアベイラビリティ評価モデル2010
- Author(s)
  得能貢一
- Organizer
  電子情報通信学会信頼性研究会
- Place of Presentation
  放送大学鳥取学習センター(鳥取市)
- Year and Date
  2010-05-28
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] 運用時の復旧シナリオを考慮したソフトウェア・サービスアベイラビリティ評価モデル2010
- Author(s)
  得能貢一, 山田茂
- Organizer
  電子情報通信学会技術研究報告(信頼性研究会), Vol.110, No.62, R2010-14, 43-48
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] 性能低下および運用段階特有の修復シナリオを考慮したソフトウェア性能評価のための統合モデル2010
- Author(s)
  得能貢一
- Organizer
  電子情報通信学会信頼性研究会
- Place of Presentation
  機械振興会館(東京都港区)
- Year and Date
  2010-12-17
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] マルコフ型ソフトウェア可用性評価モデルの一般化枠組みとその代替的計算法2010
- Author(s)
  得能貢一
- Organizer
  統計数理研究所研究集会「最適化:モデリングとアルゴリズム」
- Place of Presentation
  統計数理研究所(立川市)
- Year and Date
  2010-03-24
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] Markovian software reliability modeling with randomness of environmental factor2010
- Author(s)
  得能貢一
- Organizer
  日本オペレーションズ・リサーチ学会2010年春季研究発表会
- Place of Presentation
  首都大学東京(八王子市)
- Year and Date
  2010-03-04
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] ハードウェア/ソフトウェアシステムに対するサービス可用性評価法に関する一考察2010
- Author(s)
  得能貢一
- Organizer
  電子情報通信学会信頼性研究会
- Place of Presentation
  遊学館(山形市)
- Year and Date
  2010-07-30
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] 2種類の復旧シナリオを考慮したソフトウェア性能評価モデル2009
- Author(s)
  得能貢一, 山田茂
- Organizer
  電子情報通信学会技術研究報告(信頼性研究会), Vol.109, No.67, R2009-11, 19-24
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] User-perceived software service availability modeling with operation-oriented restoration2009
- Author(s)
  得能貢一
- Organizer
  日本オペレーションズ・リサーチ学会2009年秋季研究発表会
- Place of Presentation
  長崎大学(長崎市)
- Year and Date
  2009-09-09
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] 2種類の復旧シナリオを考慮したソフトウェア性能評価モデル2009
- Author(s)
  得能貢一
- Organizer
  電子情報通信学会信頼性研究会
- Place of Presentation
  広島修道大学(広島市)
- Year and Date
  2009-05-29
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] 性能低下を考慮したマルコフ型ソフトウェア性能評価モデル2009
- Author(s)
  得能貢一
- Organizer
  電子情報通信学会信頼性研究会
- Place of Presentation
  藤田観光ワシントンホテル旭川(旭川市)
- Year and Date
  2009-07-31
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] ハードウェアおよびソフトウェアコンポーネントの故障/修復特性を同時に考慮したコンピュータシステムの性能評価法2009
- Author(s)
  高橋淳一, 得能貢一, 山田茂
- Organizer
  平成21年度電気・情報関連学会中国支部第60会連合大会
- Place of Presentation
  山口大学工学部(宇部市)
- Year and Date
  2009-11-21
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] 性能低下を考慮したマルコフ型ソフトウェア性能評価モデル2009
- Author(s)
  得能貢一, 山田茂
- Organizer
  電子情報通信学会技術研究報告(信頼性研究会), Vol.109, No.161, R2009-25, 17-22
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] マルコフ型ソフトウェア信頼性モデルの一般化とその近似計算法2009
- Author(s)
  得能貢一
- Organizer
  統計数理研究所研究集会「最適化 : モデリングとアルゴリズム」
- Place of Presentation
  統計数理研究所
- Year and Date
  2009-03-25
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] Software Performability Evaluation Considering Performance Degradation2009
- Author(s)
  得能貢一
- Organizer
  日本OR学会2009年春季研究発表会
- Place of Presentation
  筑波大学春日キャンパス
- Year and Date
  2009-03-17
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] マルコフ型ソフトウェア信頼性モデルの一般化枠組みと信頼性評価尺度算出のための近似計算法に関する一考察2009
- Author(s)
  小寺貴裕, 得能貢一, 山田茂
- Organizer
  平成21年度電気・情報関連学会中国支部第60会連合大会
- Place of Presentation
  山口大学工学部(宇部市)
- Year and Date
  2009-11-21
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] stochastic Software Performance Evaluation in Case of Tasks with Distributed Deadline2008
- Author(s)
  得能貢一
- Organizer
  電子情報通信学会信頼性研究会
- Place of Presentation
  神戸学院大学ポートアイランドキャンパス
- Year and Date
  2008-05-30
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] 処理時間制約が分布する場合のソフトウェア処理性評価法2008
- Author(s)
  得能貢一, 山田茂
- Organizer
  電子情報通信学会技術研究報告(信頼性研究会), Vol.108, No.72, R2008-10,7-12
- Data Source
  KAKENHI-PROJECT-20510136
[Presentation] Performability Modeling for Hardware-Software System with Software Reliability Growth2008
- Author(s)
  得能貢一, 山田茂
- Organizer
  日本OR学会2008年秋季研究発表会
- Place of Presentation
  札幌コンベンションセンター
- Year and Date
  2008-09-10
- Data Source
  KAKENHI-PROJECT-20510136

1. YAMADA Shigeru (50166708)

# of Collaborated Projects: 3 results

# of Collaborated Products: 9 results
2. KIMURA Mitsuhiro (20263486)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. 河合一 (50026316)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 小柳淳二 (90225590)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 佐藤毅 (30304405)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

TOKUNO Koichi 得能 貢一

Research Projects

Research Products

Co-Researchers

A Study on Service-Oriented Software Reliability Evaluation with SystemabilityPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on Service Availability Evaluation for Software SystemPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ソフトウェア信頼性モデルに基づくシステムのリアルタイム性評価に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on Process Diagnostic-Check Procedures and Reliability Assessment Technologies for Software Process Quality Improvement

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

大規模ネットワークシステムの総合的信頼度向上に関する研究

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

使命に基づく総合的なソフトウェア信頼性評価法に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on User-Oriented Software Assessment Methods Considering Safety and Availability

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Author(s)

Publisher

Data Source

Author(s)

Publisher

Data Source

[Book] Operational software performance evaluation based on the number of debuggings with two kinds of restoration scenarios(in Recent Advances in Stochastic Operations Research II)2009

Author(s)

Publisher

Data Source

Author(s)

Publisher

Data Source

[Book] User-perceived software service availability modeling with reliability growth(in Service Availability --- 5th International Service Availability Symposium, ISAS 2008, Tokyo, Japan, May 19-21 2008, Proceedings, Lecture Notes in Computer Science 5017)2008

Author(s)

Publisher

Data Source

[Book] Markovian performance evaluation for software system availability with processing time limit(in Recent Advances in Reliability and Quality in Design, Chapter 10)2008

Author(s)

Publisher

Data Source

[Journal Article] Codesign-oriented and user-perceived service availability measurement for hardware/software system2012

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Imperfect debugging model with random fault removal efficiency for software reliability evaluation2012

Author(s)

Journal Title

Data Source

[Journal Article] Markovian modeling for operational software reliability evaluation with systemability2012

Author(s)

Journal Title

NAID

TOKUNO Koichi 得能貢一