SEA SPIN Meeting Jan 2012
テーマ：「ソフトウェアの安全性」
参加者募集
主催: SEA プロセス分科会（SEA-SPIN）
近年ミッションクリティカルなシステムへのソフトウェアの進出が顕著になり，ソフトウェア業界でも「安全」というキーワードで議論されることが増えてきました．
この秋には，車載電子システム向けの機能安全規格であるISO26262も正式発行され，安全についての本格的な議論が更に加速されるかもしれません．
今回は，IEC61508やISO26262に代表される機能安全というアプローチを理解する為にも，ソフトウェアの安全分野では先行している宇宙機分野の取り組みをご紹介頂き，みなさんと議論したいと思います．
一般の量産製品 vs.宇宙機搭載(一品生産)という違いはあるものの，安全をどう担保するかという点において，学べる知見はおおいにあるはずです．
多くの皆様のご参加をお待ちしています．
「宇宙機ソフトウェアにおける安全要求と設計事例」（仮題)
宇宙航空研究開発機構
情報・計算工学センター
梅田 浩貴様
「フォーマルメソッドを活用したソフトウェアIV&V」（仮題)
有人宇宙システム
安全開発保証部ソフトウェアIV&Vチーム
大熊浩示様
なお，フォーラム終了後，古き街で発表者を囲んで情報交換会を開催します．
**************** 開催要領 *****************
1. 日時：2012年1月17日(火) 18:30 ～ 20:30
2. 会場：明石町区民館 ３号室
会場案内
中央区明石町14番2号
明石町区民館地図
・中央区コミュニティバス(江戸バス)南循環5番 聖路加国際病院 徒歩3分
・東京メトロ日比谷線築地駅下車3番出口 徒歩7分
・東京メトロ有楽町線新富町駅下車4番出口 徒歩10分
・都バス「東15甲・乙 東京駅八重洲口－深川車庫」聖路加病院前下車 徒歩1分
3. プログラム：コーディネータ 小笠原 秀人
18:00－18:30 受付及びネットワーキング
18:30－20:30 報告およびディスカッション
テーマ「ソフトウェアの安全性」
20:30－20:45 クロージング(次回予告，及び後片付け等)
4. 参加費用：
SEA正会員：1,000円，SEA賛助会員：2,000円，一般：3,000円
5. 定員：先着20名
(申込多数の場合はSEA正会員を最優先し，以下 SEA賛助会員，SEA-SPINメンバ，一般参加の順での先着順となります)
6. 申込方法：
下記申込用紙に必要事項を御記入の上，E-Mail[テキストのみ]でお
申込みください．[HTMLメールや添付メールは不可]
出席の際には，申し込みメールを印刷してお持ちになり，会場受付
にご提示下さい．
*** お申込みは1人ずつお送り下さい ***
なお，参加費は当日会場受付にて現金でお支払いください．
(領収書を差し上げます)．
申込受付後のキャンセルはできません．代理参加者をお立てくださ
い．
申込み宛先: spin-entry2010(at)sea(dot)or(dot)jp
***次の申込み票をメール本文に貼り付けて記入してください．***
………………………………………………………………………………
SEA-SPIN Meeting 参加申込用紙 2012-1-17
「ソフトウェアの安全性」
氏名 (ふりがな)：__________ (______________)
会社名／所属組織名： _______________________
E-Mail: ____________________________
種別(該当欄にチェック)：
□SEA正会員 (No. )←会員番号を記入
□SEA賛助会員
□SPIN ML メンバー (参加費は一般と同じ)
□一般
参加費：＿＿＿円
情報交換会(該当欄にチェック)：
□参加
□欠席
*注：賛助会員企業一覧 http://sea.jp/sanjo.txt
受付済みの連絡はしません．お断りする場合には，メールでご連絡
します．