資料集(JST CREST DEOSプロジェクト)
研究チームフォーカスエリア技術報告書
- D-Case - ディペンダビリティ合意形成のための手法とツール
- D-Script - スクリプトによる障害対応の実現
- 合意記述データベース - オープンシステムディペンダビリティとD-Caseを繋ぐリポジトリ
- サービス延命を可能とする基盤システムソフトウェア
- D-Caseのロボット応用 - 日本未来科学館フロア移動ロボットを題材として~
- D-Case / Agda によるアシュアランス・ケース記述
- DEOS 実用化のためのオープンシステムディペンダビリティ国際標準化戦略
DEOS センター編集資料
- White Paper Version 1.0
- White Paper Version 2.0
- White Paper Version 3.0
- Project Update 2012
- AXEセミナー公演資料 (2013/08/31)
- D-Case Server ユーザーズマニュアル ※1
- D-Case Weaver 仕様書 ※2
- D-Case Stencil インストールマニュアル ※3
- DEOS Programming Reference ※4
- D-RE 仕様書 ※4
- D-RE API仕様書 ※4
- D-RE コマンド仕様書 ※4
- D-RE API サンプルプログラム解説書 ※4
- D-RE デモ環境導入ガイド ※4
- D-Visor86 + D-System Monitor 環境構築手順書 ※5
- QEMU-KVM + D-System Monitor 環境構築手順書 ※5
- DS-Bench/Test-Env(D-Cloud)仕様書 ※6
- DS-Bench/Test-Env(D-Cloud)実行手順書 ※6
- DS-Bench/Test-Env(D-Cloud)環境構築手順書 ※6
- DEOS ポスター集 ( SODEC 2013 )
- DEOS ポスター集 ( ET 2012 )
- DEOS ポスター集 ( ET 2011 )
※1 -> D-Case Editor のページからご覧になれます
※2 -> D-Case Weaver のページからご覧になれます
※3 -> D-Case Stencil のページからご覧になれます
※4 -> D-RE (DEOS Runtime Environment) のページからご覧になれます
※5 -> D-Visor + D-System Monitor のページからご覧になれます
※6 -> DS-Bench/Test-Env ( DS-Bench/D-Cloud ) のページからご覧になれます