スーパーコンピュータ運用手順に対するディペンダビリティの確認手法の提案

Bibliographic Information

Other Title
  • スーパーコンピュータ ウンヨウ テジュン ニ タイスル ディペンダビリティ ノ カクニン シュホウ ノ テイアン
  • A Proposal on a Method for Reviewing Operation Manuals of Supercomputer

Search this article

Abstract

The more information systems become complex, the more difficult it is to operate dependably. In this paper, we propose a method for reviewing operation manuals of information systems based on assurance case to verify the dependability of information systems. We also show an early result on applying the method to the operation manual for the supercomputer of Nagoya University.

IEICE Technical Report;SS2012-16, IEICE Technical Report;KBSE2012-18

Journal

Citations (2)*help

See more

References(22)*help

See more

Details 詳細情報について

Report a problem

Back to top