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

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
Project Status Completed (Fiscal Year 2003)
Budget Amount *help
¥7,500,000 (Direct Cost: ¥7,500,000)
Fiscal Year 2003: ¥2,900,000 (Direct Cost: ¥2,900,000)
Fiscal Year 2002: ¥2,500,000 (Direct Cost: ¥2,500,000)
Fiscal Year 2001: ¥2,100,000 (Direct Cost: ¥2,100,000)
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

Report

(4 results)
  • 2003 Annual Research Report   Final Research Report Summary
  • 2002 Annual Research Report
  • 2001 Annual Research Report
  • Research Products

    (55 results)

All Other

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

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

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] T.Kimura: "Diffusion approximations for queues with Markovian bases"Annals of Operations Research. 113. 27-40 (2002)

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

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

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

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Kimura, T.: "Diffusion Approximations for Queues with Markovian Bases"Annals of Operations Research. Vol.113,. 27-40 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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)

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

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

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [Publications] T.Kimura: "A consistent diffusion approximation for finite-capacity multiserver queues"Mathematical and Computer Modelling. 38・11/13. 1313-1324 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] T.Kimura: "Diffusion approximations for queues with Markovian bases"Annals of Operations Research. 113. 27-40 (2002)

    • Related Report
      2002 Annual Research Report
  • [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)

    • Related Report
      2002 Annual Research Report
  • [Publications] 岡村寛之, 渡部保博, 土肥 正, 尾崎俊治: "EMアルゴリズムに基づいたソフトウェア信頼度成長モデル"電子情報通信学会論文誌(A). J85-A・4. 442-450 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 岡村寛之, 黒木伸吾, 土肥 正, 尾崎俊治: "モジュール構造をもつソフトウェアの信頼性モデルの推定"電子情報通信学会論文誌(D-I). J85-D-I・9. 905-914 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 伊藤将貴, 岡村寛之, 土肥 正: "従属マルコフ連鎖モデルに基づいたソフトウェア安全性の評価"電子情報通信学会論文誌(A). J85-A・12. 1419-1427 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] H. Okamura: "Performance evaluation of workload-based software rejuvenation scheme"IEICE Transactions on Information and Systems(D). E84-D・10. 1368-1375 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] K.Kawanishi, Y.Takahashi: "Performance analysis of a server for facsimile communication networks"Probability in Engineering and Informational Sciences. 15. 295-310 (2001)

    • Related Report
      2001 Annual Research Report

URL: 

Published: 2001-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi