資料詳細

  • 1 件中、 1 件目

【図書】 ディペンダブルシステム

高信頼システム実現のための耐故障・検証・テスト技術 --
米田友洋 ／著, 梶原誠司 ／著, 土屋達弘 ／著   -- 共立出版 -- ２００５．１１ -- ２２ｃｍ -- ２４３ｐ

資料詳細

タイトル ディペンダブルシステム
副書名 高信頼システム実現のための耐故障・検証・テスト技術
著者名等 米田友洋 ／著, 梶原誠司 ／著, 土屋達弘 ／著  
出版 共立出版 ２００５．１１
大きさ等 ２２ｃｍ ２４３ｐ
分類 548.2
件名 電子計算機 , 信頼性（工学）
注記 並列タイトル：Ｄｅｐｅｎｄａｂｌｅ　ｓｙｓｔｅｍｓ
注記 文献あり　索引あり
著者紹介 【米田】１９８５年東京工業大学大学院理工学研究科博士課程修了。東京工業大学助手、同助教授を経て、現在、国立情報学研究所教授。総合研究大学大学院教授。東京工業大学連携教授。
内容紹介 情報系学生やハードウェア設計に携わる企業人を対象に、ディペンダブルシステムの基礎概念から、実務現場で知っておくと役立つ技術、最新技術までを中心にまとめた本格的テキスト。
要旨 本書では、分散システムの耐故障化技術、形式的設計検証技術、および、テスト技術の三つのテーマについて、最近の技術をカバーしつつ、大学院レベルの教科書、あるいは、研究者の参考書として使えるように、わかりやすく解説することを目指した。
目次 第１章　基礎概念（ディペンダブルなシステムとは；用語　ほか）；第２章　誤り検出とマスクによる耐故障化技術（静的マスク；動的マスク　ほか）；第３章　分散システムのフォールトトレランス（分散システムのモデル；合意問題　ほか）；第４章　形式的設計検証技術（基本概念；ＣＴＬモデル検証　ほか）；第５章　テスト技術（テストとは；故障モデル　ほか）
ISBN(13)、ISBN 　　 4-320-12152-X
書誌番号 1105085264
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1105085264

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 548.2/1375 一般書 利用可 - 2035439466 iLisvirtual

ページの先頭へ