2010シンポジウム
- 2010年12月16日(木)〜17(金) 慶應義塾大学三田キャンパス
オープンシステムディペンダビリティに向けて
Symposium Towards Open Systems Dependability
16th December 2010 Symposium at Conference Hall, North Bldg.
Mita Campus, Keio University, Tokyo, Japan
- Software Dependability Assessment: Current Approaches and Research Gaps by K.Kanoun PDF
- Continuously Evolving Systems: Towards On-Line Adaptation of Fault Tolerance Software by J.C.Fabre PDF
- Safety and Assurance Cases and the challenge of open, complex systems by Robin Bloomfield PDF
- Open Systems Dependability by M.Tokoro PDF
- Dependability Case and Metrics for Open Systems Lifecycle by Y.Matsuno PDF
- Logging and Failure Analysis for Open System Dependability by M.Sugaya PDF
- Dependability and Verification by T.Maeda and H.Fujita PDF
- D-fops: Dependability Framework for Open Systems by Y.Yokote PDF
Workshop Close Look at DEOS
17th December 2010 Workshop at G-Sec Lab, East Research Bldg.
Mita Campus, Keio University, Tokyo, Japan
- Dependability Case and Metrics for Open Systems Lifecycle; D-Case Editor Demo: Toward ToolChains with Depelopment Tools and Integration with D-fops in DEOS process by Y.Matsuno PDF
- D-fops: Dependability Framework for Open Systems; D-fops:Behind the Schene by Y.Yokote PDF
- Dependability and Verification by T.Maeda and H.Fujita PDF
- DS-Bench/D-Cloud: Dependability Measurement and Evaluation Tool by Y.Ishikawa, M.Sato, T.Hanawa, and H.Fujita PDF
- From log to evidence: an odyssey to accountability by M.Sugaya, K.Kuramitsu, and S.Kagami PDF
- Virtualization and its Applications by S.Oikawa PDF