WOCS 2014 - 11th Workshop of Critical Software System(11thWOCS2 )

クリティカルソフトウェアワークショップ(WOCS: Workshop Of Critical Software)は、（独）宇宙航空研究開発機構（JAXA）と（独）情報処理推進機構（IPA）が開催しているワークショップです。
クリティカルソフトウェアワークショップは（独）宇宙航空研究開発機構（JAXA）が、宇宙・航空、医療、鉄道、自動車などのミッションクリティカルなソフトウェアの開発・運用・保守に関する技術やプロセスに焦点を当て、産業分野の枠、さらには産・学・官の枠をも超えた技術者・研究者の情報交換の場として実施してきています。組込みシステムや社会インフラに関わるシステムで、いかに信頼性・安全性を確保したソフトウェアシステムを作り上げるかを議論し、ソフトウェアシステムの信頼性・安全性の分野で貴重な役割を果たしています。
近年、システム外部の情報にアクセスする車載制御システムなどでは、セキュリティが破られることが、情報漏洩のみならず、システムの事故につながるとの指摘がされています。第11回目となる今回のWOCSは、「SecurityとSafetyを 融合させたシステムを考える」というサブテーマを掲げます。従来のテーマである安全性・信頼性にセキュリティを新たなテーマとして加え、如何に堅牢で安全なソフトウェアシステムを実現するかを議論する場として、開催いたします。
今回は、従来からの基調講演・招待講演、一般講演に加え、ソフトウェアＩＶ＆Ｖ（Independent Verification and Validation）の専門セミナーを開催いたします。奮ってご参加ください。