〔SEC特別セミナー〕 アーキテクチャ指向エンジニアリングと形式手法

2011年7月5日　更新

　ソフトウェア・システム開発において、最初からその仕様が固まっているということは少なく、開発が進捗するに従いより明確になっていきます。また、出荷後に運用環境の変化によって仕様も変わってきます。また、個々のソフトウエアおよびシステムの構成要素が正しく開発されたとしても、それらの相互接続性に問題があれば、信頼性確保に問題が発生します。これら諸問題に対応するには、形式手法により仕様をより分かり易く早い段階で固めてゆくと共に、アーキテクチャというものがソフトウェア・システム開発の初期の段階で十分考慮されなければなりません。 　
今回のSEC特別セミナーは、形式手法導入への考慮点を、アーキテクチャとの連携についての先進的事例およびアプローチについて理解を深めていただくために開催します。

主催：	（独）情報処理推進機構 ソフトウェア・エンジニアリング・センター
開催日時：	2011年7月5日(火)　9：45～17：00
開催場所：	東京都文京区本駒込2丁目28番8番 文京グリーンコートセンターオフィス17階　A会議室 （アクセスマップ）
定員：	100名
参加費：	無料
募集対象：	高信頼性システム開発に関わる設計者・開発者
講演資料：	当日の講演資料の配布はありません。 下記プログラム欄内のPDFをダウンロードして、お持ちください。

※本セミナーは7月4日(月)、7月5日(火)の二日間で開催するセミナーです。
7月4日(月)のSEC特別セミナーを受講される方は、以下よりお申込みください。
≫≫お申込みはこちら

※参加できない場合は、必ずキャンセル処理を行ってください。
※お席に限りがありますので、一部署より多くの方がご参加の場合には調整をお願いさせて
いただく場合があります。

◇本セミナーは、ITコーディネータ協会(ITCA)に後援をいただいていますので、知識ポイント
獲得のチャンスとなります。ITコーディネータの方も奮ってご参加ください。

【ご注意】

ポイント認定につきましては、遅刻・早退を認めておりませんので、あらかじめご了承ください。

時刻	プログラム
9：30	受付開始・開場
9：45～ 10：30	「講演5」 　※講演タイトルおよび講師が変更になりました。 今後の車載電子システムとアーキテクチャ指向・形式手法の適用 株式会社トヨタIT開発センター 研究開発部ソフトウェアグループリーダー 阿部　睦 氏 講演資料ダウンロード（3.99MB）
10：30～ 10:35	休憩
10:35～ 11:45	「講演6」 　※講演タイトルおよび講師が変更になりました。 JAXAにおける信頼性向上とその対応策 独立行政法人 宇宙航空研究開発機構 石濱 直樹 氏 講演資料ダウンロード（2.71MB）
11：45～ 13：00	昼食
13：00～ 15：55	「基調講演」　（逐次通訳付） Architecture Centric Engineering-2 -AADL Sample Description and tool introduction- Elparazim社 Dr. Edward Roberts 講演資料ダウンロード（4.72MB）
15：55～ 16：00	休憩
16:00～ 16：45	「講演7」 上流工程大規模テストのための技術開発 ～組込みシステム開発のフロントローディング化～ オムロンソーシアルソリューションズ株式会社 幡山 五郎 氏 講演資料ダウンロード（344KB）
16：45～ 17：00	質疑応答
17：00	第2日目 閉会

※本セミナーは7月4日(月)、7月5日(火)の二日間で開催するセミナーです。
7月4日(月)のSEC特別セミナーを受講される方は、以下よりお申込みください。
≫≫お申込みはこちら