書誌事項
- タイトル別名
-
- スーパーコンピュータ ウンヨウ テジュン ニ タイスル ディペンダビリティ ノ カクニン シュホウ ノ テイアン
- A Proposal on a Method for Reviewing Operation Manuals of Supercomputer
この論文をさがす
抄録
近年、複雑化した情報システムをディペンダブルに運用し、確認することが困難になってきている。そこで、本稿ではアシュアランスケースを用いた情報システムの運用手順に対するディペンダビリティの確認手法を提案する。具体的には、名古屋大学のスーパーコンピュータの運用手順に対してアシュアランスケースを用いることによって、運用手順の妥当性、抜け漏れなどがないか確認した初期の結果を報告する。
収録刊行物
-
- 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学
-
電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 112 (165), 37-42, 2012-07
一般社団法人電子情報通信学会
- Tweet
キーワード
詳細情報
-
- CRID
- 1050564288758154880
-
- NII論文ID
- 110009626569
- 110009626268
-
- NII書誌ID
- AA1123312X
-
- HANDLE
- 2237/23750
-
- ISSN
- 09135685
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles