• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2003 Fiscal Year Final Research Report Summary

Studies on Evaluation Technologies for Highly JReliable Computer/Communication Systems

Research Project

Project/Area Number 13480109
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field 社会システム工学
Research InstitutionHokkaido University

Principal Investigator

KIMURA Toshikazu  Hokkaido Univ., Graduate School of Economics and Business Administration, Professor, 大学院・経済学研究科, 教授 (50143649)

Co-Investigator(Kenkyū-buntansha) OKAMURA Hiroyuki  Hiroshima Univ., Grad.School of Eng., Associate Professor, 大学院・工学研究科, 助教授 (10311812)
DOHI Tadashi  Hiroshima Univ., Grad.School of Eng., Professor, 大学院・工学研究科, 教授 (00243600)
OSAKI Shunji  Nanzan Univ., Faculty of Mathematical Informatics, Professor, 数理情報学部, 教授 (10034399)
TAKAHASHI Yoshitaka  Waseda Univ., Faculty of Commerce, Associate Professor, 商学部, 助教授 (20329064)
KAIO Naoto  Hiroshima Shudo Univ., Faculty of Economic Informatics, Professor, 経済科学部, 教授 (80148741)
Project Period (FY) 2001 – 2003
KeywordsComputer / Communication Systems / Reliability Engineering / Evaluation Technology / Stochastic Models / Software Reliability / Preventive Maintenance / Queues
Research Abstract

This research deals with the design and control of computer and communications systems with failures and costs. The purpose is to develop new performance/reliability evaluation methodology (PRET) for these systems by uniting performance evaluation and reliability analysis. During the research period, we obtain the following results :
1.Studies on Diffusion Models and Their Applications
For a class of queues formulated as a generalization of continuous-time Markov processes, Kimura developed a unifying diffusion model that gives an approximate queue-length distribution, being consistent with exact solutions for specific cases. His research results are summarized in three papers, see [3,11,23] in the report. Using a diffusion model with an elementary-return boundary at the origin, Takahashi analyzed an M/G/1 queue with modified services at start-up. As applications of diffusion models to computer/communications systems, Kawanishi and Takahashi [2] analyzed a multi-address call extraction s … More erver in a facsimile communication network, and also Okamura and Dohi analyzed a multi-stage production/inventory system. In addition, Kimura wrote a survey paper [24] on diffusion models for computer/communications systems.
2.Studies on Software Rejuvenation Scheduling
Software rejuvenation is a preventive scheme for handling transient software failures by stopping the running software occasionally, clearing its internal state and restarting it. Using discrete-or continuous-time stochastic models, Okamura, Dohi and Kato derived analytically the optimal rejuvenation schedule that maximizes, e.g., cost-effectiveness in the steady state ; see [1,7,8,9,14,16,17,18].
3.Studies on Software Reliability Growth Models
The time evolution of reliability growth in software testing can be modeled by a stochastic process called the software reliability growth model Okamura, Dohi and Osaki derived accurate solutions for the problems of analyzing a growth model with modular structure, estimating model parameters, finding an optimal software release time and so on ; see [4,5,6,13,15,21].
4.Miscellaneous Studies
Okamura, Dohi and Osaki [10,19,22] developed renewal-process models to obtain an optimal solution of the auto-sleep scheduling problem in computer systems, and Dohi, Kaio and Osaki [20] proposed a nonparametric method to estimate an optimal repair-time limit in a replacement problem with imperfect repair. Less

  • Research Products

    (37 results)

All Other

All Publications (37 results)

  • [Publications] H.Okamura, S.Miyahara, T.Dohi, S.Osaki: "Performance evaluation of workload-based software rejuvenation scheme"IEICE Transactions on Information and Systems. E84-D・10. 1368-1375 (2001)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] K.Kawanishi, Y.Takahashi: "Performance modeling of a server for facsimile communication networks"Probability in the Engineering and Information Sciences. 15. 295-310 (2001)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 岡村寛之, 渡部保博, 土肥 正, 尾崎俊治: "EMアルゴリズムに基づいたソフトウェア信頼性モデルの推定"電子情報通信学会論文誌(A). J85-A・4. 442-450 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 岡村寛之, 黒木伸吾, 土肥 正, 尾崎俊治: "モジュール構造をもつソフトウェアの信頼度成長モデル"電子情報通信学会論文誌(D-I). J85-D-1・9. 905-914 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 伊藤将貴, 岡村寛之, 土肥 正: "従属マルコフ連鎖モデルに基づいたソフトウェア安全性の評価"電子情報通信学会論文誌(A). J85-A・12. 1419-1427 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Suzuki, T.Dohi, H.Okamura: "Cost-effective analysis of software systems with periodic Rejuvenation"IEICE Transactions on Fundamentals. E85-A・12. 2923-2932 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Kimura: "Diffusion approximations for queues with Markovian bases"Annals of Operations Research. 113. 27-40 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Y.Nishio, T.Dohi: "Determination of the optimal software release time based on proportional hazards software reliability growth models"Journal of Quality in Maintenance Engineering. 9・1. 48-65 (2003)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 土肥 正, 岩本一樹, 岡村寛之, 海生直人: "コスト有効性に基づいた離散時間ソフトウェア若化スケジュールの推定"電子情報通信学会論文誌(A). E86-A・3. 269-277 (2003)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 本田紘介, 土肥 正, 岡村寛之: "モジュールサイズの分布に基づいたソフトウェア欠陥密度の評価に関する考察"電子情報通信学会論文誌(A). J86-A・6. 713-717 (2003)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Okamura, S.Miyahara, T.Dohi: "Dependability analysis of a transaction-based multi-server system with rejuvenation"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E86-A・8. 2081-2090 (2003)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Dohi, K.Iwamoto, H.Okamura, N.Kaio: "Discrete availability models to rejuvenate a telecommunication billing application"IEICE Transactions on Communications. E86-B・10. 1419-1427 (2003)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Fujio, H.Okamura, T.Dohi: "Fine-grained shock models to rejuvenate software systems"IEICE Transactions on Information and Systems. E86-D・10. 2165-2171 (2003)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Okamura, T.Dohi, S.Osaki: "A structural approximation method to generate the optimal auto-sleep schedule for computer systems"Computers & Mathematics with Applications. 46・7. 1103-1110 (2003)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Dohi, A.Ashioka, N.Kaio, S.Osaki: "The optimal repair-time limit replacement policy with imperfect repair : Lorenz transform approach"Mathematical and Computer Modelling. 38・11/13. 1169-1176 (2003)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Dohi, K.Yasui, S.Osaki: "Software reliability assessment models based on cumulative Bernoulli trial processes"Mathematical and Computer Modelling. 38・11/13. 1177-1184 (2003)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Okamura, T.Dohi, S.Osaki: "Phase type approximation for optimal auto-sleep scheduling"Mathematical and Computer Modelling. 38・11/13. 1391-1398 (2003)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Kimura: "A consistent diffusion approximation for finite-capacity multiserver queues"Mathematical and Computer Modelling. 38・11/13. 1313-1324 (2003)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] S.Osaki(編): "Stochastic Models in Reliability and Maintenance"Springer-Verlag, Berlin. 338 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Okamura, H., Miyahara, S., Dohi, T., Osaki, S.: "Evaluation of Workload-Based Software Rejuvenation Scheme"IEICE Transaction on Information and Systems. Vol.E84-D, No.10. 1368-1375 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Kawanishi K., Takahashi, Y.: "Performance Modeling of a Server for Facsimile Communication Networks"Probability in the Engineering and Information Sciences. Vol.15. 295-310 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Okamura, H., Watanabe, Y., Dohi, T., Osaki, S.: "An Estimation of Software Reliability Models Based on EM Algorithm [in Japanese]"Transactions of the IEICE of Japan. Vol.J85-A, No.4. 442-450 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Okamura, H., Kuroki, S., Dohi, T., Osaki, S.: "A Reliability Growth Model for Modular Software [in Japanese]"Transactions of the IEICE of Japan. Vol.J85-D-I, No.9. 905-914 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Ito, M., Okamura, H., Dohi, T.: "Software Safety Assessment Based on a Subordinated Markov Chain Model [in Japanese]"Transactions of the IEICE of Japan. Vol.J85-A, No.12. 1419-1427 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Suzuki, H., Dahi, T., Okamura, H.: "Cost-Effective Analysis of Software Systems with Periodic Rejuvenation"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. Vol.E85-A, No.12. 2923-2932 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Kimura, T.: "Diffusion Approximations for Queues with Markovian Bases"Annals of Operations Research. Vol.113,. 27-40 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Nishio, Y., Dohi, T.: "Determination of the Optimal Software Release Time Based on Proportional Hazards Software Reliability Growth Models"Journal of Quality in Maintenance Engineering. Vol.9, No.1. 48-65 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Dohi, T., Iwamoto, K., Okamura, H., Kaio, N.: "Estimation of Discrete-Time Software Rejuvenation Schedule Based on the Coat Effectiveness [in Japanese]"Transactions of the IEICE of Japan. Vol.J86-A, No.3. 269-277 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Honda, K., Dohi, T., Okamura, H.: "A Note on Estimation of Software Defect Density Based on the Module Size Distribution [in Japanese]"Transactions of the IEICE of Japan. Vol.J86-A, No.6. 713-717 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Okamura, H., Miyahara, S., Dohi, T.: "Dependability Analysis of a Transaction-Based Multi-Server System with Rejuvenation"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. Vol.E86-A, No.8. 2081-2090 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Dohi, T., Iwamoto, K., Okamura, H., Kaio, N.: "Discrete Availability Models to Rejuvenate a Telecommunication Billing Application"IEICE Transactions on Communications. Vol.E86-B, No.10. 2931-2939 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Fujio, H., Okamura, H., Dohi, T.: "Fine-Grained Shock Models to Rejuvenate Software Systems"IEICE Transactions on Information and Systems. Vol.E86-D, No.10. 2165-2171 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Okamura, H., Dohi, T., Osaki, S.: "A Structural Approximation Method to Generate the optimal Auto-Sleep Schedule for Computer Systems"Computers & Mathematics with Applications. Vol.46, No.7. 1103-1110 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Dohi, T., Ashioka, A., Kaio, N., Osaki, S.: "The Optimal Repair-Time Limit Replacement Policy with Imperfect Repair Lorenz Transform Approach"Mathematical and Computer Modelling. Vol.38, No.11/13. 1169-1176 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Dohi, T., Yasui, K., Osaki, S.: "Software Reliability Assessment Models Based on Cumulative Bernoulli Trial Processes"Mathematical and Computer Modelling. Vol.38, No.11/13. 1177-1184 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Okamura, H., Dohi, T., Osaki, S.: "Phase Type Approximation for Optimal Auto-Sleep Scheduling"Mathematical and Computer Modelling. Vol.38, No.11/13. 1391-1398 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Kimura, T.: "A Consistent Diffusion Approximation for Finite-Capacity Multiserver Queues"Mathematical and Computer Modelling. Vol.38, No.11/13. 1313-1324 (2003)

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 2005-04-19  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi