1. トップ
  2. イベント
  3. 第11回クリティカルソフトウェアワークショップ 11th Workshop of Critical Software System(11thWOCS)

イベント

イベント

2014/1/15 - 1/17

第11回クリティカルソフトウェアワークショップ
11th Workshop of Critical Software System(11thWOCS2 )

>> ENGLISH


開催概要

第11回クリティカルソフトウェアワークショップを2014年1月15日(水)、16日(木)、17日(金)に開催します。現在、一般講演の募集を行っています。ワークショップの詳細は順次、このHP上で公開いたします。

概要 クリティカルソフトウェアワークショップ(WOCS: Workshop Of Critical Software)は、(独)宇宙航空研究開発機構(JAXA)と(独)情報処理推進機構(IPA)が開催しているワークショップです。

クリティカルソフトウェアワークショップは(独)宇宙航空研究開発機構(JAXA)が、宇宙・航空、医療、鉄道、自動車などのミッションクリティカルなソフトウェアの開発・運用・保守に関する技術やプロセスに焦点を当て、産業分野の枠、さらには産・学・官の枠をも超えた技術者・研究者の情報交換の場として実施してきています。組込みシステムや社会インフラに関わるシステムで、いかに信頼性・安全性を確保したソフトウェアシステムを作り上げるかを議論し、ソフトウェアシステムの信頼性・安全性の分野で貴重な役割を果たしています。

近年、システム外部の情報にアクセスする車載制御システムなどでは、セキュリティが破られることが、情報漏洩のみならず、システムの事故につながるとの指摘がされています。第11回目となる今回のWOCSは、「SecurityとSafetyを 融合させたシステムを考える」というサブテーマを掲げます。従来のテーマである安全性・信頼性にセキュリティを新たなテーマとして加え、如何に堅牢で安全なソフトウェアシステムを実現するかを議論する場として、開催いたします。

今回は、従来からの基調講演・招待講演、一般講演に加え、ソフトウェアIV&V(Independent Verification and Validation)の専門セミナーを開催いたします。奮ってご参加ください。

一般講演 安全性、信頼性、セキュリティをテーマに、産業分野の枠を超えた技術者・研究者の講演を募集いたします。 募集〆切は2013/09/20(金)です。
募集申込みはこちらPDFをご参照ください。
(講演資料はこちら 別ウィンドウが開きます へ)
日程

2014年1月15日(水)、16日(木)、17日(金)

会場 ソラシティカンファレンスセンター  別ウィンドウが開きます
プログラム 第1日目:1月15日(水) 専門セミナー(ソフトウェアIV&V)
プログラムPDF
第2日目:1月16日(木) オープニング講演 ・ 基調講演 ・ 招待講演
プログラムPDF
第3日目:1月17日(金) 一般講演
プログラムPDF
オープニング講演
(独)情報処理推進機構 技術本部 ソフトウェア高信頼化センター 所長 松本隆明
基調講演
株式会社ソニーコンピュータサイエンス研究所 
エグゼクティブアドバイザー/ファウンダー  所 眞理雄氏
「DEOS:巨大・複雑で変化し続けるシステムのディペンダビリティーを達成する」
三菱航空機株式会社 技術本部 開発保証部 部長 篠田 和英氏
「民間航空機の安全・開発保証プロセスについて〜MRJ開発における取組み〜」
技術研究組合制御システムセキュリティセンター(CSSC) 理事長/
電気通信大学 教授 新 誠一氏
「制御系セキュリティの国内での取り組み」
招待講演
Det Norske Veritas , 代表取締役 , 前田 直樹氏 【講演者が変更となりました】
「Safety Assessment Method for Flight Operation System. 〜 Lessons from "RNP AR approaches" to Haneda Airport.」
(独)情報処理推進機構 技術本部 セキュリティセンター  研究員 中野 学
「組込みシステムのセキュリティ対策 〜繋がる車でのケーススタディ〜」
株式会社シーエーブイテクノロジーズ 代表取締役/ 独立行政法人産業技術総合研究所セキュアシステム研究部門 招聘研究員 田口 研治氏
「ハイブリッド認証に向けての工学的アプローチ 〜機能安全とセキュリティの同時認証のための方法論〜」
専門
セミナー
※専門セミナーの応募は終了致しました。皆様のご応募ありがとうございました。
JAXAが実施するソフトウェア独立検証及び有効性確認(IV&V:Independent Verification and Validation)技術に関する専門セミナーを開催いたします。
参加
申し込み
参加のお申し込みはこちら 別ウィンドウが開きます でお願いします。ワークショップ参加費は無料です。
尚、定員になり次第、受付けを終了致します。
※一般聴講者の募集は終了しました。
懇親会 1月16日(木) 場所 ソラシティカンファレンスセンター
会費 2,500円
基調講演者の方々もお越しいただく予定ですので、ぜひご参加ください。
主催(共催) (独)宇宙航空研究開発機構(JAXA)情報・計算工学センター
(独)情報処理推進機構(IPA)技術本部ソフトウェア高信頼化センター
後援団体
International Council on Systems Engineering (INCOSE)
日本支部(INCOSE Japan Chapter)
NPO 法人 ソフトウェアテスト技術振興協会(ASTER)
NPO 法人 組込みソフトウェア管理者・技術者育成研究会(SESSAME)
NPO 法人 TOPPERSプロジェクト(TOPPERS)
一般社団法人 ディペンダビリティー技術推進協会(DEOS協会)
一般社団法人 組込みシステム技術協会(JASA)
一般社団法人 情報サービス産業協会(JISA)
一般財団法人 日本科学技術連盟(JUSE)
一般社団法人 スキルマネージメント協会(SMA)
一般社団法人 スマートシステム検証技術協会(SVA)
技術研究組合制御システムセキュリティセンター(CSSC)
日本SPIコンソーシアム(JASPIC)
日本SPICEネットワーク(NSPICE.NET)
ソフトウェア技術者協会(SEA)
車載組込みシステムフォーラム(ASIF)
横浜スマートコミュニティ
運営組織
◆実行委員長
片平 真史(JAXA)
田丸 喜一郎(IPA SEC)
◆プログラム委員長
小川 清 (名古屋市工業研究所)
◆プログラム委員
松原 友夫(元IEEE Software編集者)
鈴村 延保(アイシン精機/ASIF)
足立 久美(デンソー)
稲垣 修 (東海理化)
河野 文昭(アドヴィックス/NSPICE.NET)
伏見 諭 (ソフデラ/JISA)
赤坂 幸彦(NTTデータ)
小笠原 秀人(東芝/JASPIC)
笹部 進 (JUSE)
新谷 勝利(新谷ITコンサルティング)
門田 浩 (JASA)
高田 広章(名古屋大学/TOPPERS)
白坂 成功(慶応大学/INCOSE)
鷲崎 弘宜(早稲田大学)
西 康晴 (電気通信大学/ASTER/SESSAME)
新 誠一 (電気通信大学/CSSC)
田渕 一成(ビジネスキューブ・アンド・パートナーズ)
林 好一 (SRA)
小嶋 勉 (DNV)
水口 大知(アトリエ)
磯部 祥尚(産総研)
荒川 明夫(IPA/SEC)
氏家 亮 (JAXA)
大久保 梨思子(JAXA)

Copyright 2010 Japan Aerospace Exploration Agency