このサイトは、独立行政法人科学技術振興機構（JST）のCREST「実用化を目指した組込みシステム用ディペンダブル・オペレーティングシステム」研究領域の研究成果を紹介するためのサイトです。
このサイト内では、DEOSを以下を意味するものとして使用しています。
