HOMEソフトウェア高信頼化セミナー・イベントイベント情報Embedded Technology 2013/組込み総合技術展

本文を印刷する

ソフトウェア高信頼化

Embedded Technology 2013/組込み総合技術展

出展概要

IPA/SECは、事業成果普及のため、「Embedded Technology 2013(ET2013)」に出展します。
展示会場では、「展示(パネル・デモ・書籍等の成果物)」、「ブースプレゼン」を実施します。
また、アネックスホール2階 F205 では、「JASA主催IPA共催セミナー」を「IPAセミナー」として、2日間開催します。

UP 講演資料を公開しました。プログラム概要欄よりダウンロードいただけます。
セミナー動画を公開しました。プログラム概要欄より視聴いただけます。
名称: Embedded Technology 2013 (公式サイト>>
開催日: 2013年11月20日(水)、11月21日(木)、11月22日(金)
※セミナーは21日、22日の2日間のみ
会場: パシフィコ横浜(≫MAP
  ・展示会場:展示ホール 2F C-01(≫MAP
  ・IPAセミナー会場:アネックスホール F205(≫MAP
主催: 一般社団法人 組込みシステム技術協会(JASA)
お申込み: 下記セミナースケジュールより、ご希望のプログラムごとにお申込み下さい

◆展示ブース[小間位置 C-01]
 ■展示内容
 ・IPAの活動と関連事業成果紹介
   -高信頼関連コーナー
   -セキュリティ関連コーナー
   -安全・安心関連コーナー
   -基盤技術関連コーナー
   -地域団体との連携コーナー

※コーナー名および展示内容は変更になる可能性があります。


ブースプレゼン

  ・11月20日(水)
  ・11月21日(木)
  ・11月22日(金)

IPAセミナー

「JASA主催IPA共催セミナー」をパシフィコ横浜(アネックスホール2階 F205)にて、2日間開催します。
※IPAセミナーは昨年までの開催場所と異なりますのでご注意ください。
◆開始時刻の30分前より受付いたします。
※受講には、当サイトにてログインの上、【 基調講演 】及び【 テクニカルセッション 第1部~6部 】のプログラムごとに事前登録が 必要となります。
※「Embedded Technology 2013(ET2013) IPAセミナー」は全プログラム入替制となりますのでご了承ください。
※ 遅刻された際、お申込みをいただいたお客様でも当該セミナーが満席となりますとご入場できかねる場合がございます(お早目にお越しください)。
※本セミナーのプログラムおよび講師につきましては、変更になる場合があります。

11月21日(木): IPAセミナー 【 基調講演 1日目】 ~ 【 テクニカルセッション 第1部~第3部 】

  概 要
9:50~ 基調講演 1日目 受付開始

10:20
~11:50

IPAセミナー【 基調講演 1日目】 お申し込み>>

10:20~11:20
ソフトウェア高信頼性への道程

国立大学法人電気通信大学
情報理工学研究科 知能機械工学専攻 教授
新  誠一  氏
講演資料ダウンロードPDF文書[3.92MB]


※動画が再生できない場合はこちら

11:20~11:50
利用者視点でのソフトウェア信頼性の見える化

IPA/SEC ソフトウェアグループリーダー
中村  雄三


※動画が再生できない場合はこちら
12:00
~13:00
休憩 
12:30~ テクニカルセッション 第1部 受付開始
13:00
~14:00
IPAセミナー【 テクニカルセッション 第1部 】お申し込み>>

システムの開発を成功に導くために
-MBSE解説-「モデルベースシステムズエンジニアリング導入の手引き」より


IPA/SEC連携委員
株式会社コギトマキナ
代表取締役/システムズアーキテクト
鈴木  尚志  氏
講演資料ダウンロードPDF文書[24.8MB]
14:00
~14:20
休憩
13:50~ テクニカルセッション 第2部 受付開始
14:20
~15:20
IPAセミナー【 テクニカルセッション 第2部 】お申し込み>>

自動車における組込みシステムセキュリティ


IPA/セキュリティセンター 情報セキュリティ技術ラボラトリー 主任
中野  学
講演資料ダウンロードPDF文書[2.79MB]


※動画が再生できない場合はこちら
15:20
~15:40
休憩
15:10~ テクニカルセッション 第3部 受付開始
15:40
~16:40
IPAセミナー【 テクニカルセッション 第3部 】お申し込み>>

システム開発への形式手法の適用による品質の確保
~文書の記述力とチームのコミュニケーション力を鍛える~


IPA/SEC連携委員
フェリカネットワークス株式会社
開発部2課 統括課長
栗田  太郎  氏

11月22日(金): IPAセミナー 【 基調講演 2日目 】 ~ 【 テクニカルセッション 第4部~第6部 】

  概 要
9:50~ 基調講演 2日目 受付開始

10:20
~12:00

IPAセミナー【 基調講演 2日目 】 お申し込み>>

10:20~10:30
重要インフラ分野のシステム障害への対策に関するIPA/SECの取組み
~経験を共有し、みんなの力でIT社会の安全・安心を築くしくみに向けて~


IPA/SEC システムグループリーダー
山下  博之
講演資料ダウンロードPDF文書[646KB]

10:30~11:15
組込み製品の信頼性・安全性の向上を目指して

日本大学
理工学部 教授
平山  雅之  氏

11:15~12:00
アプリケーション・オーナー制度:信頼性向上に向けた私達の取組み

東京海上ホールディングス株式会社 顧問
澁谷  裕以  氏
講演資料ダウンロードPDF文書[1.18MB]


※動画が再生できない場合はこちら
12:00
~13:00
休憩
12:30~ テクニカルセッション 第4部 受付開始
13:00
~14:10
IPAセミナー【 テクニカルセッション 第4部 】お申し込み>>

機能/例外の競合による製品トラブルの組織的な防止策


三菱電機メカトロニクスソフトウエア株式会社
和歌山支所 副支所長
岩橋  正実  氏
14:10
~14:30
休憩
14:00~ テクニカルセッション 第5部 受付開始
14:30
~15:10
IPAセミナー【 テクニカルセッション 第5部 】お申し込み>>

高信頼な組込みソフトウェアのためのテスト事例と最新動向


日本電気通信システム株式会社
技術管理本部生産革新推進室 エキスパート
羽田  裕  氏
講演資料ダウンロードPDF文書[2MB]
15:10
~15:30
休憩
15:00~ テクニカルセッション 第6部 受付開始
15:30
~16:40
IPAセミナー【 テクニカルセッション 第6部 】お申し込み>>

生産性・品質向上を効率的に進めるための『ゴール指向経営』


伊藤忠テクノソリューションズ株式会社
金融・社会インフラシステム技術開発室 コンサルティング1部 部長
野村  典文  氏

IPA/SEC 研究員
平林  大典
講演資料ダウンロードPDF文書[1.97MB]


※動画が再生できない場合はこちら

ブースプレゼン

 展示会場内IPAの展示ブースにて、「ブースプレゼン」を、3日間開催します。
 ・20分単位のセミナーを3日間開催
 ・会場:ブースNo.C-01(30席準備)
 ・参加申込み不要
※会場でアンケートにご協力いただいた方には、関連書籍又は事業成果を収録した「IPA/SEC事業成果集DVD-ROM」を進呈します。

※ブースプレゼンのタイトルおよび講師につきましては、一部調整中です。

11月20日(水): ブースプレゼン

▼21日 ▼22日 

  概 要
10:30
~10:50
沖縄県の組込みシステム検証基盤事業 TIDAコンソーシアムのご紹介

TIDAコンソーシアム
田村  政和 氏
講演資料ダウンロードPDF文書[2.57MB]
11:00
~11:20
ソフトウェア品質説明のための制度ガイドライン

IPA/SEC 研究員
鈴木  基史
講演資料ダウンロードPDF文書[2.92MB]
11:30
~11:50
信州発!OSS事業のご紹介 

信州OSS推進協議会
林  茂 氏
講演資料ダウンロードPDF文書[2.82MB]
12:00
~12:20
形式手法を何に活かすか?

IPA/SEC連携委員
IPA/SEC 高信頼設計・検証技術WG委員
新谷ITコンサルティング 代表
新谷  勝利 氏
講演資料ダウンロードPDF文書[1.13MB]
12:30
~12:50
沖縄県検証基盤構築事業:IIOTの取り組み

一般社団法人IIOT
柘植  晃 氏
講演資料ダウンロードPDF文書[4.61MB]
13:00
~13:20
コンシューマデバイス安全保証標準化活動について

IPA/SEC コンシューマデバイス安全標準化WG委員
トヨタ自動車株式会社 エンジン技術開発部 第二技術開発本部 主幹
石﨑  直哉 氏
講演資料ダウンロードPDF文書[883KB]
13:30
~13:50
ロボットシステムのモデルベース開発

IPA/SEC コンシューマデバイス安全標準化WG委員
独立行政法人産業技術総合研究所 知能システム研究部門
ディペンダブルシステム研究グループ 研究グループ長
中坊  嘉宏 氏
講演資料ダウンロードPDF文書[2.62MB]
14:00
~14:20
TOHOKU地域での組込み産業連携について

JASA東北支部
及川  直樹 氏
講演資料ダウンロードPDF文書[2.43MB]
14:30
~14:50
MBSE導入のポイント ~「MBSE導入の手引き」を解説~

IPA/SEC 研究員
内田  功志
講演資料ダウンロードPDF文書[1.22MB]
※本講演資料は、11月21日(木)12:30~の講演と同一のものです。
15:00
~15:20
CSSCの事業紹介
~セキュアな制御システムを世界へ未来へ~


技術研究組合制御システムセキュリティセンター(CSSC)
小林  偉昭 氏
講演資料ダウンロードPDF文書[2.78MB]
15:30
~15:50
PSQ認証制度の概要とその発足の経緯

一般社団法人 コンピュータソフトウェア協会(CSAJ)専務理事 
前川  徹 氏
講演資料ダウンロードPDF文書[792KB]
16:00
~16:20
enPiT-Emb 九州大学事業 PEARLの活動紹介

九州大学 学術研究員
細合  晋太郎 氏
講演資料ダウンロードPDF文書[3.68MB]
※本講演資料は、11月21日(木)15:00~の講演と同一のものです。
16:30
~16:50
製品開発の品質確保につながるテスト手法「ファジング」

IPA/セキュリティセンター 研究員
勝海  直人
講演資料ダウンロードPDF文書[1.53MB]

11月21日(木): ブースプレゼン

▼20日 ▼22日 

  概 要
10:30
~10:50
高信頼システムの実現を目指したSECの新たな取り組み
~高信頼性確保のための上流工程での設計手法と検証技術~


IPA/SEC 調査役
室  修治
講演資料ダウンロードPDF文書[3.49MB]
11:00
~11:20
組込みシステム産業振興機構の取り組み ご紹介

組込みシステム産業振興機構 企画・広報 部長
岩井  匡代 氏(他2名)
※講演資料の公開予定はありません。
11:30
~11:50
システム開発への形式手法の適用による品質の確保
~ 形式仕様記述手法とその適用事例の概要 ~


フェリカネットワークス株式会社 開発2部2課
中津川  泰正 氏
※講演資料の公開予定はありません。
12:00
~12:20
変化しながら継続的に使われるITシステムのディペンダビリティの確保
~DEOSプロジェクトの成果と今後の展開~


科学技術振興機構(JST)戦略的創造研究推進事業 チーム型研究(CREST)DEOSプロジェクト研究推進委員
一般社団法人ディペンダビリティ技術推進協会(DEOS協会)理事
富士ゼロックス株式会社 コントローラ開発本部 コントローラプラットフォーム第二開発部 マネージャ
山浦  一郎 氏
講演資料ダウンロードPDF文書[1.5MB]
12:30
~12:50
MBSE導入のポイント ~「MBSE導入の手引き」を解説~

IPA/SEC 研究員
内田  功志
講演資料ダウンロードPDF文書[1.22MB]
※本講演資料は、11月20日(水)14:30~の講演と同一のものです。
13:00
~13:20
ソフトウェア品質説明のための制度ガイドライン

IPA/SEC 研究員
八嶋  俊介
講演資料ダウンロードPDF文書[3.33MB]
13:30
~13:50
形式手法を活用した組込みセキュリティ技術の確立と、安全・安心な CPS 社会を支える無線通信ミドルウェアの開発

アーク・システム・ソリューションズ株式会社 代表取締役
坂本  謙治 氏
講演資料ダウンロードPDF文書[1.47MB]
14:00
~14:20
ASIF活動紹介

車載組込みシステムフォーラム(ASIF)
坂本  政彦 氏
講演資料ダウンロードPDF文書[2.29MB]
14:30
~14:50
SMAにおけるMBD技術者のスキル基準と育成について

一般社団法人スキルマネージメント協会(SMA) 副幹事長
モデルベース設計検証技術部会 主査
有馬  仁志 氏
講演資料は、一般社団法人組込みスキルマネージメント協会(SMA)のウェブサイトよりダウンロードできます。
 ■ET2013出展・講演の報告はこちら
 ■SMAの活動紹介はこちら
15:00
~15:20
enPiT-Emb 九州大学事業 PEARLの活動紹介

九州大学 学術研究員
細合  晋太郎 氏
講演資料ダウンロードPDF文書[3.68MB]
※本講演資料は、11月20日(水)16:00~の講演と同一のものです。
15:30
~15:50
最新版MISRA-CとESCRの対応

株式会社東陽テクニカ
ソフトウェアシステム研究部 技術主幹
二上  貴夫 氏
※講演資料の公開予定はありません。
16:00
~16:20
システム開発文書の3S

システム開発文書品質研究会(ASDoQ)
山本  雅基 氏
講演資料ダウンロードPDF文書[925KB]
16:30
~16:50
コンシューマデバイスの信頼性を確保するための取組み

IPA/SEC 研究員
内田  功志
講演資料ダウンロードPDF文書[2.18MB]
※本講演資料は、11月22日(金)11:30~の講演と同一のものです。

11月22日(金): ブースプレゼン

▼20日 ▼21日 

  概 要
10:30
~10:50
TERAS V3 オープントレーサビリティツールプラットフォーム

一般社団法人TERAS
キャッツ株式会社
宮本  貴之 氏
講演資料ダウンロードPDF文書[5.29MB]
11:00
~11:20
九州IT融合の新しい動き~IT&ITS~

九州IT融合システム協議会
NPO法人 九州組込みソフトウェアコンソーシアム
馬場  伸一 氏
講演資料ダウンロードPDF文書[4.12MB]
11:30
~11:50
コンシューマデバイスの信頼性を確保するための取組み

IPA/SEC 研究員
内田  功志
講演資料ダウンロードPDF文書[2.18MB]
※本講演資料は、11月21日(木)16:30~の講演と同一のものです。
12:00
~12:20
ソフトウェア品質説明強化のSECの取組みとパナソニックの事例紹介

IPA/SEC連携委員  
パナソニック株式会社
R&D本部 グローバルソリューション推進室 ソフトウェア技術推進チーム 参事
田中  和夫 氏
講演資料ダウンロードPDF文書[1.54MB]
12:30
~12:50
分散型エネルギーシステムの普及に向けて
~エネルギーシステムの開発/検証~


株式会社スマートエナジー研究所 コンソーシアム・オーガナイザー
福岡スマートハウスコンソーシアム 事務局長
横浜スマートコミュニティ 副事務局長
那須  隆志 氏
※講演資料の公開予定はありません。
13:00
~13:20
形式手法活用ガイドと辞書管理ツールを用いたVDM適用事例

富士通九州ネットワークテクノロジーズ株式会社
技術戦略室 開発技術部
井上  康生 氏
講演資料ダウンロードPDF文書[1.23MB]
13:30
~13:50
ソフトウェアに起因する海外IT障害事例の紹介
~「海外におけるIT障害の影響及び対応策に関する事例調査」報告書から~


IPA/SEC 研究員
細目  紀子
講演資料ダウンロードPDF文書[1.67MB]
14:00
~14:20
SMAにおけるモデルベース技術者育成のための取組みについて

一般社団法人スキルマネージメント協会(SMA)
モデルベース技術者研修環境研究会主査
石井  忠俊 氏
講演資料は、一般社団法人組込みスキルマネージメント協会(SMA)のウェブサイトよりダウンロードできます。
 ■ET2013出展・講演の報告はこちら
 ■SMAの活動紹介はこちら
14:30
~14:50
東芝における品質向上に向けた取り組み
~ テスト技術を中心にして ~


IPA/SEC連携委員
高信頼設計・検証技術WG委員
株式会社東芝 ソフトウェア技術センター
プロセス・品質技術開発担当主査
小笠原  秀人 氏
講演資料ダウンロードPDF文書[2.18MB]
15:00
~15:20
SMAにおけるスキル評価を形式的に実施するための実証実験の取組み説明について

一般社団法人スキルマネージメント協会(SMA)スキルの形式的評価手法開発部会 主査
佐々木  方規 氏
講演資料は、一般社団法人組込みスキルマネージメント協会(SMA)のウェブサイトよりダウンロードできます。
 ■ET2013出展・講演の報告はこちら
 ■SMAの活動紹介はこちら
15:30
~15:50
EPM-Xを活用したプロジェクトマネジメント

一般社団法人実践的プロジェクトマネジメント推進協会(PPMA) 理事
大和田  裕 氏
講演資料ダウンロードPDF文書[4.45MB]
16:00
~16:20
2013年8月23日公開「モデルベースシステムズエンジニアリング導入の手引き」をどう読むか?

IPA/SEC 高信頼設計・検証技術WG委員
株式会社コギトマキナ 代表取締役 システムズアーキテクト
鈴木  尚志 氏
講演資料ダウンロードPDF文書[1.37MB]
16:30
~16:50
制御システムのセキュリティ/評価・認証の動向

IPA/セキュリティセンター 研究員
入澤  康紀
講演資料ダウンロードPDF文書[6.9MB]