近代科学社

書籍検索
ジャンル選択

情報

DEOS変化しつづけるシステムのためのディペンダビリティ工学

著者, 編集 所 眞理雄

著者紹介

変化し、長期運用するシステムの信頼性を確保する!

本書は,現代社会において,変化しつつ長期的に運用される巨大で複雑な複合システムに対し,いかにしてその不具合を減らし,重大事故を防ぎ,信頼性を保ちつつ運用を継続していくかについて体系的に議論した初めての技術書である.
 機能や構造,その境界が変化するシステムは通常「オープンシステム」と呼ばれる.我々はこのための技術体系を「オープンシステムのためのディペンダビリティ工学」,英文で“Dependability Engineering for Open Systems”,その略称をDEOS(デオス) と呼んでいる.
 システム開発・保守・運用に従事する技術者,研究者に必携の書である.

電子書籍¥6,050 小売希望価格(税込)

紙の書籍¥6,050定価(税込)

基本情報

発売日 2014年5月28日
本体価格 5,500円
ページ数 264 ページ ※印刷物
サイズ B5
ISBN 9784764904613
ジャンル 情報
タグ 情報科学
電子書籍形式 固定型

主要目次

1.はじめに
2.オープンシステムディペンダビリティ
3.DEOS技術体系
4.合意形成と説明責任の遂行(D-CASE)
5.D-CASEツール
6.D-CASE整合性検査ツールと形式アシュランスケース
7.DEOS実行環境(D-RE)
8. D-CASE合意に基づくシステム運用の支援(D-Script)
9.合意記述データベース(D-ADD)
10.オープンシステムディペンダビリティの標準化
11.おわりに
付録

目次をさらに表示する

著者紹介

伊東 敦(いとう あつし)
富士ゼロックス株式会社 研究技術開発本部インキュベーションセンター
慶應義塾大学 大学院政策・メディア研究科修士課程修了 修士(政策・メディア)

小野 清志(おの きよし)
(独)科学技術振興機構 ディペンダブル組込み OS 研究開発センター 研究員
東京大学 大学院理学系研究科物理学専攻 博士課程修了 博士(理学)

加賀美 聡(かがみ さとし)
(独)産業技術総合研究所 デジタルヒューマン工学研究センター・副研究センター長
東京大学 大学院工学系研究科情報工学専攻・博士課程修了 博士(工学)
主要著書:『ロボットアナトミー』(稲葉 雅幸、加賀美 聡、西脇 光一著、岩波講座)
     ロボット学シリーズ第 7 巻、(岩波書店)

河野 健二(こうの けんじ)
慶應義塾大学理工学部情報工学科准教授 博士(理学)
東京大学 大学院理学系研究科情報科学専攻 博士課程単位取得退学

木下 佳樹(きのした よしき)
神奈川大学 理学部情報科学科 教授 理学博士(東京大学)
東京大学 大学院理学系研究科情報科学専攻 博士課程修了

倉光 君郎(くらみつ きみお)
横浜国立大学 大学院工学研究院准教授
東京大学 大学院理学系研究科情報科学専攻 博士課程中退 博士(理学東京大学)

髙村 博紀(たかむら ひろき)
(独)科学技術振興機構 ディペンダブル組込み OS 研究開発センター 研究員
慶應義塾大学 大学院政策・メディア研究科 後期博士課程 単位取得満期退学、
北陸先端科学技術大学院大学 情報科学研究科 情報処理学専攻 博士課程修了 博士(情報科学)
主要著書:『From Sets And Types to Topology And Analysis, Laura Crosilla and Peter Schuster』(eds.)
     『Chapter 18 An introduction to the theory of C*-algebras in constructive mathematics』

武山 誠(たけやま まこと)
神奈川大学 理学部情報科学科
エジンバラ大学 理工学部計算機科学科 PhD in Computer Science

田中 秀幸(たなか ひでゆき)
(独)科学技術振興機構 ディペンダブル組込み OS 研究開発センター 研究員
大分大学 大学院工学科知能情報システム工学専攻 博士前期課程修了

所 眞理雄(ところ まりお)
株式会社ソニーコンピュータサイエンス研究所 エグゼクティブ・アドバイザー / ファウンダー
慶應義塾大学 大学院博士課程修了(工学博士)
主要著書:『オープンシステムサイエンス』(NTT 出版)
     『天才・異才が飛び出すソニーの不思議な研究所』(日経 BP 社)など

永山 辰巳(ながやま たつみ)
株式会社 Symphony 代表取締役
明治大学 大学院化学工学科修士課程修了

松野 裕(まつの ゆたか)
電気通信大学 大学院情報システム学研究科助教 博士(科学)
東京大学 大学院新領域創成科学研究科基盤情報学専攻 修士課程修了

松原 茂(まつばら しげる)
(独)科学技術振興機構 ディペンダブル組込み OS 研究開発センター 研究員

宮平 知博(みやひら ともひろ)
(独)科学技術振興機構 ディペンダブル組込み OS 研究開発センター 研究員
東北大学 大学院工学研究科情報工学専攻 修士課程修了 修士(工学)
主要著書:『インターネット機械翻訳の世界』(共著)(毎日コミュニケーションズ,2000)

屋代 眞(やしろ まこと)
(独)科学技術振興機構 ディペンダブル組込み OS 研究開発センター センター長
東京大学 大学院理学系研究科物理学専攻 修士課程修了

柳澤 幸子(やなぎさわ さちこ)
株式会社 Symphony

山田 浩史(やまだ ひろし)
東京農工大学 大学院工学研究院先端情報科学部門
慶應義塾大学 大学院理工学研究科開放環境科学専攻 博士後期課程修了 博士(工学)

山本 修一郎(やまもと しゅういちろう)
名古屋大学 情報連携統括本部 情報戦略室 教授
主要著書:『要求定義 ・ 要求仕様書の作り方』(ソフト ・ リサーチ ・ センター,2006)

横手 靖彦(よこて やすひこ)
サイバーアイ・エンタテインメント株式会社 取締役 CDO
慶應義塾大学 大学院政策・メディア研究科 特任教授
慶應義塾大学 大学院工学研究科電気工学専攻 後期博士課程修了 工学博士

著者紹介をさらに表示する