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

Expert System for Evaluating the Behavior of Concurrent System Prototy

Research Project

Project/Area Number 01580034
Research Category

Grant-in-Aid for General Scientific Research (C)

Allocation TypeSingle-year Grants
Research Field Informatics
Research InstitutionSophia University

Principal Investigator

ITOH K  Sophia Univ. Associate Professor, 理工学部・一般科学研究室, 助教授 (00129785)

Co-Investigator(Kenkyū-buntansha) ITOH K  Sophia Univ. Associate Professor (00129785)
Project Period (FY) 1989 – 1990
Project Status Completed (Fiscal Year 1990)
Budget Amount *help
¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 1990: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 1989: ¥600,000 (Direct Cost: ¥600,000)
KeywordsConcurrent Software / Behavior Evaluation / Expert System / Dead lock / Bottleneck / Performance Evaluation / Functional Evaluation / Prototype / プロトタイピング / プロトタイプの評価 / 診断型エキスパ-トシステム
Research Abstract

In software prototyping, there exists a cycle named prototyping cycle, which has 3 phases, i. e., prototype building, execution and evaluation phases. Software designers should perform prototyping activity around the cycle as fast as possible in order to validate, modify and refine requirements and design. In complex concurrent software, the visual inspection is not enough to examine the behavior of the prototype. In order to prompt the rapidness of prototyping, more effective tools should be provided at the prototype evaluation phase for the examination of the prototype behavior. This research studies the effective tools on the basis on diagnosis type of expert systems. These tools can detects the bottleneck and the deadlock and provide improvement plans for avoiding their sources. Deadlock is the fatal effect of function of concurrent software systems. Bottleneck is the fatal effect of performance of concurrent software systems. Expert system for deadlock is based on the linear integer programming for obtaining firing sequences by which the system falls into the deadlock state. Expert system for bottleneck is based on the qualitative reasoning for improving bottlenecks. This research also studies the complementary role of heuristic diagnosis method on the basis of expert system and the analytical diagnosis method on the basis of algorithm, and the complementary role of qualitative diagnosis and quantitative diagnosis.

Report

(3 results)
  • 1990 Annual Research Report   Final Research Report Summary
  • 1989 Annual Research Report
  • Research Products

    (16 results)

All Other

All Publications (16 results)

  • [Publications] Itoh,K. 他: "Role of qualitative and quantative reasoning in diagnosis and improvement for queueing network bottleneck" IntoJapan'90. 2. 171-178 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 志田 圭介,他: "同期型待ち行列ネットワ-クのボトルネックに対する定性的なパラメ-タチュ-ニング" 人工知能学会誌. (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 伊藤 潔,他: "定性推論と定量推論を導入した待ち行列ネットワ-クのボトルネック診断と改善法" 人工知能学会誌. 5.1. 92-105 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 伊藤 潔,他: "シミュレ-ション手法に基づいた並行処理ソフトウェアのプロトタイピング手法" シミュレ-ション学会誌. 8.3. 181-190 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 沢村 淳,他: "知識工学的手法を用いた待ち行列ネットワ-クのボトルネック診断" 情報処理学会論文誌. 30.8. 990-1002 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 伊藤 潔,他: "定性推論のパラメ-タチュ-ニングへの応用" 情報処理. 32. 126-136 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Itoh, K. et al.: "Role of qualitative and quantitative reasoning in diagnosis and improvement for queueing network bottleneck" InfoJapan'90. vol. 2. 171-178 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Shida, K. et al.: "Qualitative parameter tuning for Synchronized queueing network bottleneck" Journal of JSAI. (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Itoh, K. et al.: "Diagnosis and Improvement for queueing network bottleneck on the basis of qualitative and quantitative reasoning" Journal of JSAI. vol. 5, No. 1. 92-105 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Itho, K. et al.: "Prototyping method for concurrent software on the basis of simulation Method" Simulation. vol. 8, No. 3. 181-190 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Sawamura, J. et al.: "Knowledge Engineering Based Diagnosis for Queueing Network Bottleneck" Transaction of IPSJ. vol. 30, No. 8. 990-1002 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Itoh, K. et al.: "Application of Qualitative Reasoning to Parameter Tuning" Journal of IPSJ. vol. 32, No. 2. 126-136 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Itoh,K.他: "Role of qualitative and quantitative reasoning in diagnosis and improvement for queueing network bottleneck" Info Japan '90. 2. 171-178 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 志田 圭介他: "同期型待ち行列ネットワ-クボトルネックに対する定性的なパラメ-タチュ-ニング" 人工知能学会誌. (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] 伊藤 潔 他: "定性推論のパラメ-タチュ-ニングへの応用" 情報処理. 32. 126-136 (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] 伊藤潔,本位田真一,沢村淳,志田圭介: "定性推論と定量推論を導入した待ち行列ネットワ-クのボトルネック診断と改善法" 人工知能学会誌. 5.1. 92-105 (1990)

    • Related Report
      1989 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi