ディペンダブル情報処理基盤－JST CREST「ディペンダブル情報処理基盤」

摘要

コンピュータとインターネットを中心とする情報システムが重要な社会基盤のひとつとなるにつれ、そのディペンダビリティ(dependability)の確保が大きな課題となっている。 ここで、ディペンダビリティは、信頼性·安全性·可用性·堅牢性·拡張性などの複合的·総合的な性質とする。 ここでは、ディペンダビリティを高度に実現する情報処理基盤の研究開発の例として、筆者が代表をつとめるCRESTプロジェクトを紹介する。