(IPA)が共催するワークショップです。ミッションクリティカルなソフトウェアの開発・運用・保守に関する技術やプロセスに焦点を当て、産業分野の枠、さらには産・学・官の枠をも超えた技術者・研究者の情報交換の場として実施してきました。組込みシステムや社会インフラに関わるシステムで、いかに信頼性・安全性を確保したソフトウェアシステムを作り上げるかを議論し、ソフトウェアシステムの信頼性・安全性の分野で貴重な役割を果たしています。第13回目となる今回のWOCS2は「つながるクリティカルシステム」をテーマとして掲げます。Metrics)」をサブテーマとして掲げて開催します。受賞者のお知らせ「第2回IV&Vコンテスト」及び「一般講演」の受賞者が決定しましたのでお知らせします。なり次第、事前募集は締め切らせていただきます。お早めにお申し込みください。みページ(終日一括申込み)第2回IV&Vコンテスト参加者募集※応募は終了しました。産業分野を問わずソフトウェア検証に従事している方々へ、コンテスト形式の体験を通してJAXAが実施しているIV&V活動を普及していくことを目的に実施します。一般講演を皆様から募集します。一般講演日は2016年1月20日(水)を予定しています。応募要領をお読みになり、どうぞ奮ってご応募ください。当日は、皆様からの発表の他にも、各界の識者諸氏をお招きした基調講演と招待講演も組み入れた、充実したプログラムを構成します。発表の最後に優秀な一般発表に対する表彰を予定しています。参加申込み※終日一括申込みとなります。(定員:60名)申込みページ※プログラムは変更する場合があります。(3F)10:00受付開始10:30主催者挨拶10:40~12:00アシュアランスケースの概要セーフティやセキュリティなど高信頼なソフトウェアに求められるアシュアランスケースの概要を紹介します。(IV&V)の効果やプロセス等の概要を紹介します。[2.05MB]13:45~14:00コンテスト概要コンテスト参加チームに事前に取り組んでいただいたIV&Vのテーマおよび題材の概要を説明します。コンテスト参加各チームのIV&V検証戦略検討結果について、プレゼンテーションを行っていただきます。本セミナー聴講の皆様に各チームの検証戦略検討結果プレゼンテーションを評価していただきます。み※終日一括申込みとなります。申込みページ※講演資料の配布は行いませんので、お手元に資料を必要とされる方は事前にダウンロードの上、ご持参ください。※プログラムは変更する場合があります。[2.01MB](※講演資料を差し替えました。み※終日一括申込みとなります。(定員:300名)申込みページ※講演資料の配布は行いませんので、お手元に資料を必要とされる方は事前にダウンロードの上、ご持参ください。※プログラムは変更する場合があります。[2.24MB](※講演資料を差し替えました。※講演資料の公開予定はありません。[2.35MB](※講演資料を差し替えました。5010005007126)。