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

書誌事項

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

この論文をさがす

抄録

近年、複雑化した情報システムをディペンダブルに運用し、確認することが困難になってきている。そこで、本稿ではアシュアランスケースを用いた情報システムの運用手順に対するディペンダビリティの確認手法を提案する。具体的には、名古屋大学のスーパーコンピュータの運用手順に対してアシュアランスケースを用いることによって、運用手順の妥当性、抜け漏れなどがないか確認した初期の結果を報告する。

収録刊行物

被引用文献 (2)*注記

もっと見る

参考文献 (22)*注記

もっと見る

詳細情報

問題の指摘

ページトップへ