【共催】第12回クリティカルソフトウェアワークショップ （12thWOCS²）：IPA 独立行政法人 情報処理推進機構

開催情報 クリティカルソフトウェアワークショップ（WOCS2: Workshop on Critical Software System）は、独立行政法人宇宙航空研究開発機構（JAXA）と独立行政法人情報処理推進機構（IPA）が共催するワークショップです。 クリティカルソフトウェアワークショップは、宇宙・航空、医療、鉄道、自動車などのミッションクリティカルなソフトウェアの開発・運用・保守に関する技術やプロセスに焦点を当て、産業分野の枠、さらには産・学・官の枠をも超えた技術者・研究者の情報交換の場として実施してきました。組込みシステムや社会インフラに関わるシステムで、いかに信頼性・安全性を確保したソフトウェアシステムを作り上げるかを議論し、ソフトウェアシステムの信頼性・安全性の分野で貴重な役割を果たしています。 第12回目となる今回のWOCS2は「Sociotechnical Science