下記の要領でISACA大阪支部 １月度月例会を開催いたします。
皆様、奮ってご参加ください。
１．日時 ： ２０１２年１月１８日（水）１８：３０〜２０：３０
２．会場 ： 大阪大学中之島センター ２Ｆ 講義室１
(1) 所在地
大阪市北区中之島4-3-53
TEL：06-6444-2100
(2) 交通
京阪中之島線 中之島駅より 徒歩約５分
阪神本線 福島駅より 徒歩約９分
JR東西線 新福島駅より 徒歩約９分
JR環状線 福島駅より 徒歩約１２分
地下鉄四つ橋線 肥後橋駅より 徒歩約１０分
地下鉄御堂筋線 淀屋橋駅より 徒歩約１６分
(3) 地図
http://www.onc.osaka-u.ac.jp/others/map/index.php
３．スケジュール
１８：３０〜１８：３５ 事務連絡
１８：３５〜２０：３０ 講演・質疑応答
４．講演内容
【テーマ】
組込みシステム分野での認証とシステム検証技術の紹介
【講演概要】
ソフトウェアの信頼性・安全性の第三者による検証、妥当性確認が求められ
ており、それに応えるため、例えばIPAからは「ソフトウェア品質監査制度
(仮称)」を構築することが提案されている。このような動向もふくめ、組込
みシステム分野における認証の現状を紹介する。また、モデル検査技術を具
体例に、形式手法(Formal Methods)と呼ばれる、数学にもとづくシステムの
設計・検証手法も紹介したい。
【講 師】
独立行政法人 産業技術総合研究所
計測標準研究部門
渡邊 宏 氏 博士（理学）
５．参加申込等について
(1) 会費
会費は、当日徴収いたします。
ＩＳＡＣＡ会員 1000円
日本システム監査人協会会員 1000円
上記以外 3000円
※ 既にご案内の通り、会場費・資料印刷費増加等の諸般の事・榾より、
2010年7月度の月例会より参加費の改定を行いました。
何卒、ご理解とご協力をお願いいたします。
(2) 出席連絡方法
ＩＳＡＣＡ大阪支部事務局
＜ osk-office@isaca-osaka.org ＞宛に出席内容をメールして下さい。
(3) その他
・ＩＳＡＣＡ東京支部・名古屋支部会員・日本システム監査人協会会員の方
は、会員番号を記入する際、下記のように所属支部、団体等を明記の上、
会員番号の記載をお願います。
（例） 会員番号：ISACAｘｘ支部 xxxxxx
（例） 会員番号：SAAJ xxxxxx
・月例会出席の申し込みは、前日の午前中までにお願いいたします。
・欠席された時の資料送付は、ホームページよりダウンロードできない場合に
限り、ISACA大阪支部の会員に対し送付させていただきます。
何卒、皆様のご理解とご協力をお願いいたします。
【申込締切：１月１７日（火）午前中】
-----------＜出席報告の内容＞---------------------------------
氏名：
--------------------------------------------------------------
会員番号：ISACA大阪支部 （半角でご記入下さい）
会員番号：ISACA東京支部 （半角でご記入下さい）
会員番号：ISACA名古屋支部 （半角でご記入下さい）
会員番号：SAAJ （半角でご記入下さい）
--------------------------------------------------------------
緊急時連絡先（メールアドレス）：
＊特別な事情により月例会を中止せざるを得なくなった場合等に、
通知可能な緊急連絡メールアドレスをご記入ください。
なお、未記入の場合には、送付されたメールアドレスに対して、
緊急連絡させて頂きます。
--------------------------------------------------------------
ＩＳＡＣＡ大阪支部では２７２名（２０１１年１０月末現在）の会員が、情報システムの監査
とコントロールをテーマに、情報システムの構築者、利用者、評価・監査それぞれの立
場から情報交換、研修、調査・研究活動を行っています。
・ 月例会は毎月第３水曜日の１８時３０分〜２０時３０分です。
・・@月例会は会員以外の方も参加できます。
・ 興味のある方はお気軽にお問い合わせ下さい。
E-mail:osk-office@isaca-osaka.org