An autonomous decentralized on-line testing for verifying real-time control application program

• Kawano Katsumi

  Hitachi, ltd.

• Fujiwara Kazunori

  Hitachi Information and Control, Ltd.

• Nishijima Eiji

  Hitachi, ltd.

• Nozato Masanari

  Hitachi, ltd.

• Komoda Norihisa

  Osaka University

Bibliographic Information

Other Title

• 自律分散オンラインテストにおける制御プログラム検証方式
• ジリツ ブンサン オンライン テスト ニ オケル セイギョ プログラム ケンショウ ホウシキ

Abstract

Widely distributed systems are constructed step-by-step over a long time. These systems are obliged critical timing check as a final test of newly added or modified real-time application programs in real environment. We propose an autonomous decentralized on-line test technique for verifying distributed and real-time control application programs. It enables testing during system operation without disturbing the operation. And it takes into consideration the difference of timing in on-line subsystems and test subsystem for the more precise verification. We apply the proposed technique to a validation tool for real distributed train traffic control systems and show its effectiveness.

Journal

• IEEJ Transactions on Industry Applications

  IEEJ Transactions on Industry Applications 122 (6), 575-581, 2002

  The Institute of Electrical Engineers of Japan

Keywords

• information and control system
• autonomous decentralized system
• step-by-step construction
• on-line test
• program verification
• timing check
• train traffic control system

Details

• CRID: 1390282679634970496
• NII Article ID: 10008509259
• NII Book ID: AN10012320
• DOI: 10.1541/ieejias.122.575
• ISSN: 13488163
• ISSN: 09136339
• NDL BIB ID: 6174999
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I6174999
• Web Site: http://www.jstage.jst.go.jp/article/ieejias1987/122/6/122_6_575/_pdf
• Data Source:
  • JaLC
  • NDL
  • Crossref
  • CiNii Articles
• Abstract License Flag: Disallowed