急速な技術革新に伴い、システムの大規模化及び複雑化が進む現在、ソフトウェアが更に重要な役割を担っています。宇宙・航空を始めとして、原子力・鉄道などのクリティカルシステムにおいてはソフトウェア開発・保守・運用に関する技術の向上が安全で信頼性の高いシステムを構築する上での重要な鍵となります。 本ワークショップでは、クリティカルソフトウェアに焦点を当て、これに携わる技術者・研究者の情報交換の場を提供し、特に産業分野の枠を越えた交流を図ることにより日本におけるクリティカルソフトウェアに関する技術向上の一助とすることを目的として開催します。