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

Study in Validation Support Methods for Concurrent Programs

Research Project

Project/Area Number 01460151
Research Category

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

Allocation TypeSingle-year Grants
Research Field 計算機工学
Research InstitutionKyushu University

Principal Investigator

USHIJIMA Kazuo  Kyushu University, Faculty of Engineering Professor, 工学部, 教授 (40037750)

Co-Investigator(Kenkyū-buntansha) YOSHIDA Norihiko  Kyushu University, Faculty of Engineering Research Associate, 工学部, 助手 (00182775)
FURUKAWA Zengo  Kyushu University, Faculty of Engineering Lecturer, 工学部, 講師 (30190135)
HIRABARU Masaki  Kyushu University, Faculty of Engineering Lecturer, 工学部, 講師 (10192717)
CHENG Jingde  Kyushu University, Faculty of Engineering Associate Professor, 工学部, 助教授 (30217228)
ARAKI Keijiro  Kyushu University, Faculty of Engineering Associate Professor, 工学部, 助教授 (40117057)
Project Period (FY) 1989 – 1990
Project Status Completed (Fiscal Year 1990)
Budget Amount *help
¥7,000,000 (Direct Cost: ¥7,000,000)
Fiscal Year 1990: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 1989: ¥6,500,000 (Direct Cost: ¥6,500,000)
KeywordsConcurrent Programs / Specification / Validation / Testing / Debugging / Deadlock / Distributed Cooperative Processing / Distributed RunーTime Environment / 実時間処理 / プログラム変換
Research Abstract

We investigated validation methods for concurrent programs and validation support tools, and obtained the following results on semantics, testing methods, development methodology, and implementation of concurrent programs.
1. We implemented an eventーdriven execution monitor EDEN for concurrent Ada programs, which monitors tasking behavior of a concurrent Ada program with minimal interference. We designed an algorithm to detect all kinds of deadlocks in concurrent Ada programs, and realized it in the monitoring tool EDEN.
2. We proposed two kinds of criteria for testing a concurrent Ada program, i.e., a criterion inside each parallel process and a criterion among processes. We examined program errors according to the criteria. We also implemented prototype tools to measure testing coverage and to generate test cases.
3. A concurrent system can be regarded as a network of parallel processes which are connected with streams of messages, signals or events. We found out that the functional programming language Miranda works well as an executable specification language to describe and analyze concurrent systems in terms of stream processing functions.
4. We proposed a framework for distributed cooperative processing. A distributed cooperative processing system consists of autonomous processes, each of which is associated with a field. Several kinds of group behaviors are well described within the framework. We also implemented a prototype system which realizes such processes on a distributed system.
5. We designed a distributed programming language and its processor, which makes a single parallel program as a whole run on a distributed system. We emulated a distributed runーtime system which manages such a parallel program on a distributed system consisting of workstations connected with LAN.

Report

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

    (48 results)

All Other

All Publications (48 results)

  • [Publications] Jingde Cheng: "Entalment as a Logical Basis for Incremental Generation of Causal Relations" Proc.COMPSAC 89. 719-726 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Norihiko Yosida: "Transformatinal Derivation of Systolic Arrays" Japan/U.K.Workshop on Parallel Computation. (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 吉田 紀彦: "プログラム変換に基づくシストリック・アレイの導出" 情報処理学会論文誌. 30. 1530-1537 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Jingde Cheng: "Partial Ordefr Transparency:A Minimum Requirement for Monitoring Concurrent Systems" Proc.2nd Int.Workshop on Soft.Eng.and its Appl.827-839 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Christoher Howson: "Implementing Functional Languages on a Network of Transputers" Proc.3rd Transputer/Occam Int.Conf.21-33 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Jingde Cheng: "A Classification of Tasking Deadlocks" ACM Ada Letters. 10. 110-127 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 吉田 紀彦: "場と一体化したプロセスの概念に基づく並列協調処理モデルCellula" 情報処理学会論文誌. 31. 1071-1079 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Norihiko Yoshida: "A Cooperation and Communication Framework for Distributed Problem Solving" IEEE Second Int.Conf.on Tools for Artificial Intelligence. 530-536 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Jingde Cheng: "TaskーWaitーFor Graphs and Their Application to Handling Tasking Deadlocks" Proc.ACM Third Annual TRIーAda Conf.376-390 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 荒木 啓二郎: "並行動作システムのMirandaによる仕様記述" コンピュ-タソフトウェア. 8. 12-24 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Jingde Cheng: "A Survey of Tasking Deadlock Detection Methods" ACM Ada Letters. 11. 82-91 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Keijiro Araki: "A General Framework for Debugging" IEEE Software. 8. (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 岡村 耕二: "単一アドレス空間モデルに基づいた分散環境上での並列プログラミング言語処理系の実現" 並列処理に関する「指宿」ミニシンポジウム. 33-38 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 古川 善吾: "並行処理プログラムのテスト法に関する一考察" 日本ソフトウェア科学会第6回大会. 185-188 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 平原 正樹: "ランデブと共有変数を持つ並列型言語の実行支援系" 情報処理学会計算機ア-キテクチャ研究会. (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 古川 善吾: "Ada並行処理プログラムのテスト法について" 第8回Japan SIGAda. 3-13 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 古川善吾: "事象グラフを用いたAdaプログラムのモデル化" 日本ソフトウェア科学会第7回大会. 149-152 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 藤井 義己: "分散環境におけるAdaプログラムの実時間ランデブについて" 情報処理学会研究会. 81-88 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Jingde Cheng and Kazuo Ushijima: "Entailment as a Logical Basis for Incremental Generation of Causal Relations" Proc. COMPSAC89. 719-726 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Norihiko Yoshida: "Transformational Derivation of Systolic Arrays" Japan/U. K. Workshop on Parallel Computation. (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Norihiko Yoshida: "Transformational Derivation of Systolic Arrays" Trans. Inf. Proc. Soc. Japan. Vol. 30. 1530-1537 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Jingde Cheng: "Partial Order Transparency : A Minimum Requirement for Monitoring Concurrent Systems" Proc. 2nd Int. Workshop on Soft. Eng. and its Appl.827-839 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Christopher Howson, Keijiro, Araki and Norihiko Yoshida: "Implementing Functional Languages on a Network of Transputers" Proc. 3rd Transputer/Occam Int. Conf.21-33 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Jingde Cheng: "A Classification of Tasking Deadlocks" ACM Ada Letters. Vol. 10, No. 5. 110-127 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Norihiko Yoshida and Shuji Narazaki: "A Parallel Cooperation model 'Cellula' Composed of 'Process+Field' Amalgams" Trans. Inf. Proc. Soc. Japan. Vol. 31. 1071-1079 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Norihiko Yoshida and Shuji Narazaki: "A Cooperation and Communication Framework for Distributed Problem Solving" IEEE Second Int. Conf. on Tools for Artificial Intelligence. 530-536 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Jingde Cheng: "TaskーWaitーFor Graphs and Their Application to Handling Tasking Deadlocks" Proc. ACM Third Annual TRI-Ada Conf.376-390 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Keijiro Araki: "Specification of Concurrent Systems in Miranda" Comput. Softw.Vol. 8. 12-24 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Jingde Cheng: "A Survey of Tasking Deadlock Detection Methods" ACM Ada Letters. Vol. 11, No. 1. 82-91 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Keijiro Araki: "Zengo Furukawa and Jingde Cheng A General Framework for Debugging" IEEE Software. Vol. 8, No. 3. (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Koji Okamura, Takeshi Nawata, Masaki Hirabaru and Keijiro Araki: "An Implementation of Parallel Programming Language for Distributed Systems Based on Uniform Address Space" IEICE Technical Redport. 33-38 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Zengo Furukawa and Kazuo Ushijima: "Testing of Concurrent Programs" 6th Conf. Proc. Japan Soc. Softw. Sc. Tech.185-188 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Masaki Hirabaru, Koji Okamura, Takeshi Nawata and Keijiro Araki: "On Supporting The Parallel Programming Language with Rendezvous and Shared Variables" IPSJ SIG Reports. (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Zengo Furukawa and Kazuo Usijima: "Testing Methods for Concurrent Ada Programs" 8th Japan SIGAda. 3-13 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Zengo Furukawa and Kazuo Ushijima: "Modeling of a Ada Concurrent Program using an Event Graph" 7th Conf. Proc. Japan Soc. Softw. Sc. Tech.149-152 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Yoshimi Fujii, Keijiro Araki and Masaki Hirabaru: "RealーTime Rendezvous in Ada Programs on Distributed Environment" IPSJ SIG Reports. 81-88 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Jingde Cheng: "A Classification of Tasking Deadlocks" ACM Ada Letters. 10. 52-61 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Jingde Cheng: "TaskーWaitーFor Graphs and Their Application to Handling Tasking Deadlocks" Proc.TRIーAda '90. 376-390 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 荒木 啓二郎: "並行動作システムのMirandaによる仕様記述" コンピュ-タソフトウェア. 8. 12-24 (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] Keijiro Araki: "A General Framework for Debugging" IEEE Software. 8. (1991)

    • Related Report
      1990 Annual Research Report
  • [Publications] 吉田 紀彦: "場と一体化したプロセスの概念に基づく並列協調処理モデルCellula" 情報処理学会論文誌. 31. 1071-1079 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Norihiko Yoshida: "A Cooperation and Communication Framework for Distributed Problem Solving" Proc.IEEE 2nd Int.Conf.on Tools and Artificial Intelligence. 530-536 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] J.Cheng: "Naming Ada Tasks at Run-Time" Ada Letters. 9. 52-61 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 古川善吾: "並列処理プログラムのテスト法に関する一考察" 日本ソフトウェア科学会第6回大会論文集. 185-188 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 岡村耕二: "単一アドレス空間モデルに基づいた分散環境上での並列プログラミング言語処理系の実現" 電子情報通信学会技術研究報告. CPSY89. 33-38 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 荒木啓二郎: "分散型システムの仕様記述と設計支援への関数型プログラミング言語の応用" 電子情報通信学会技術研究報告. SS89. 49-58 (1990)

    • Related Report
      1989 Annual Research Report
  • [Publications] J.Cheng: "A Classification of Tasking Deadlocks" Ada Letters. 10. (1990)

    • Related Report
      1989 Annual Research Report
  • [Publications] N.Yoshida: "Transformational Derivation of Systolic Arrays" 「並列計算のモデルと応用」に関する日英ワ-クショプ論文集. (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