2024-03-29T09:03:15Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001228822023-11-17T02:17:36Z06504:08020:08031
FTS(Fault Tolerant System)評価における自動検証技術Automatic Veriflcation Technique in Fault Tolerant System Quality Assurance Systemjpnhttp://id.nii.ac.jp/1001/00123062/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=122882&item_no=1&attribute_id=1&file_no=1日本電気(株)日本電気(株)日本電気(株)井口, 祐一誉田, 直美赤尾, 圭昭今日の情報処理社会において、コンピュータシステムが社会の中枢を占めることになってきたことに伴い、システムの高信頼性・高運用性が高く望まれている。そこで、FTS(Fault Tolerant System)に対する期待も大きくなってきている。このフォールトトレラント性を実現する方法として、複数ホストの疎結合接続でのホットスタンバイ方式がある。最近では、大規模ネットワーク化の波を受け、フォールトの発生による業務処理ホストの切り替え時に、端末とホスト間の転送データが欠落はたり、二重に処理されたりしないような機能が要求されている。今回、このような機能を自動的に検証する技術を開発したので報告する。AN00349328全国大会講演論文集第45回システム2352361992-09-282015-01-20