SWEST11プログラムの概要

SWEST/DAS共同基調講演　「人工衛星プロジェクト〜本命ミッションは人づくり！〜」

	日時:	8/27 13:30〜14:50
	講師:	竹内修（東大阪宇宙開発協同組合＜SOHLA＞前理事長）
	概要:	中小企業があつまり、「夢を打ち上げよう」を合言葉にスタートした東大阪の人工衛星プロジェクト。その裏には、不況にあえぐ東大阪を、若者の集まる元気な町にしたいという夢がありました。しかし、「夢」を掲げるだけでは何も進みません。プロジェクトが具体的に進むにつれ、さまざまな問題が表面化し、去る者あり、残る者ありと、幾度か危機に直面したこともありました。そして、ここに残ってプロジェクトを推進していたのは、情熱いっぱいの若い技術者たちと、彼らを見守る中小企業の社長たちでした。情熱と純粋さゆえに傷つき、それでも泣きながらコブシを振り上げる若者と共に、生まれ変わろうと悪戦苦闘してきた今日までを講演いたします。

　　プログラム一覧に戻る

DAS/SWEST共同基調講演　「C言語ベース設計に対する高位設計検証技術」

	日時:	8/27 15:00〜16:20
	講師:	藤田昌宏（東京大学）
	概要:	SoC設計を中心として、C言語ベース設計の導入が進んでいる。正しく動作するチップを速やかに設計するという観点からは、設計の初期段階である高位設計における設計検証技術が非常に重要になる。ここでは、C言語ベース設計に基づくハードウェア・ソフトウェア協調設計を念頭に、設計検証技術の現状と動向について解説する。形式的検証技術の実用的な利用および応用という視点に立つ技術に関し、モデルチェッキングと等価性検証技術に両面について説明していく。実際に利用して有意義な検証手法とするためには、設計最適化技術との連携も必須であり、対象を絞った検証技術の研究開発が活発に続けられている。また、シミュレーションにおいても、効果的なシミュレーションパターンを作成する際に形式的技術が利用されている。これらの動向をまとめながら、今後の方向性についても議論する。

　　プログラム一覧に戻る

SWEST招待講演　
「組み込みシステムでのEclipse　＝オープンソースを通じての複雑性の克服＝」
（英題：Eclipse in Embedded Systems Engineering: Mastering Complexity through Open Source）

	日時:	8/28 12:50〜13:50
	講師:	Stephan Eberle (Geensys)　※通訳有
	概要:	車載向け組み込みシステムの劇的な規模増大は既存のプロセス、ツールでの対応を不可能にしている。本講演では企業や製品特有用途への拡張性とオープンソースや市販ソフトを組み合わせる柔軟性を兼ね備えた開発プロセス、ツールチェーンをオープンソースEclipse上に協働可能プラットフォームとして構築する提案をする。一例としてGeensys社が開発するAutosarに特化したEclipse上のオープンプラットフォームARTOPをあげその効果を示す。英文概要（PDFファイル）

　　プログラム一覧に戻る

夜の分科会１　「古今東西　雑誌編集者言いたい放題」

	日時:	8/27 20:40〜22:30
	コーディネータ:	佐藤洋介（デンソー）
	概要:	組込み系雑誌編集者が集い、自分の雑誌のアピールや方向性の発表を実施いただき、パネルディスカッション形式で議論します。雑誌に対する新しい発見もあるでしょうし、また、雑誌編集者の方に直接要望を伝える絶好のチャンスですので、奮ってご参加ください。

　　プログラム一覧に戻る

夜の分科会２　「ワークショップ形式による開発プロセスの振り返り3」

	日時:	8/27 20:40〜22:30
	コーディネータ:	木元峰之
	概要:	用意した題材を、参加者の方にチームで取り組んでいただくことで、日々の開発プロセスの課題や改善点をディスカッションしようという企画です。ワインバーグの本を参考にしています。第3回となる今年は、これまでで定評のあるブラックボックスに加え、新しい題材を扱う予定です。プログラミング等の知識は必要ありませんので、どなた様も奮ってご参加ください。

　　プログラム一覧に戻る

セッションS2-a　「組み込みシステムの低消費電力化技術」

	日時:	8/28 9:00〜10:20
	講師:	冨山宏之（名古屋大学），近藤正章（電気通信大学）
	概要:	1990年代以降、携帯電話、携帯型ゲーム、MP3プレーヤなど、携帯型の電子・情報機器が急速に普及している。これらの組込みシステムを設計する際には、消費電力を最小化することが極めて重要である。なぜなら、消費電力はバッテリ寿命を直接的に決定し、バッテリ寿命は商品価値を決定する大きな要因であるからである。また、消費電力が大きいと、放熱のためのコストも高くなり、それは商品の販売価格に反映されることになる。また、環境保全の観点からも組込みシステムの低消費電力化は重要である。本講演では、組み込みシステムの低消費電力化技術の基礎と、学界および産業界の技術動向を分かりやすく解説する。まず、電力消費のメカニズムを解説した後、ソフトウェアとハードウェアの両面から、代表的な低消費電力化技術を解説する。

　　プログラム一覧に戻る

セッションS2-b　「NEXCESSとQUBEの成果報告」

	日時:	8/28 9:00〜10:20
	講師:	山本雅基（名古屋大学 NCES)，久住憲嗣（九州大学）
	概要:	文部科学省／科学技術振興調整費を用いて，大学で社会人向けの組込み系教育が，ソフトウェアとハードウェアの双方で進められてきました．組込みソフトウェア教育については，平成16から20年度にかけて，名古屋大学でNEXCESS(ネクセス)が実施されました．他方，システムLSI教育については，平成17から21年度にかけて，九州大学でQUBE(キューブ)が実施されています．本セッションでは，両プログラムの経験をプログラムの推進者に語っていただきます．

　　プログラム一覧に戻る

セッションS2-de　「80分で分かるモデル検証」

	日時:	8/28 9:00〜10:20
	講師:	小川清（名古屋市工業研究所）
	概要:	産業総合研究所が出した、「４日で分かるモデル検証」は、理論ではなく実践でモデル検証が分かる書籍です。 SWESTでは、過去にもSPINのセミナはありましたが、ここまで実用的な内容にまとまってくると、普通のプログラマがモデル検証できるようになったと実感が持てます。そこで、80分で分かるモデル検証というセッションを開催したいと思います。 ※ ノートPC持参

　　プログラム一覧に戻る

セッションS3-a　「仮想化な、まああてにすなひどすぎる乱立」

	日時:	8/28 10:30〜11:50
	講師:	竹岡尚三（アックス）
	概要:	VMware, Xen, KVMなどなど様々な仮想化を実現するソフトウェアが開発されている。しかし、そもそも仮想化は大型計算機の世界には長く存在している技術である。仮想化の原点と原理に立ち返り、そもそも仮想化技術とは何かを考える。それから、現在の実現されている仮想化技術を俯瞰し、現在のデスクトップやエンタープライズの仮想化が何を目指しているかを、考える。そして、SWESTらしい組込みの仮想化のあるべき姿を考える。

　　プログラム一覧に戻る

セッションS3-b　「不況の今こそ人材養成」

	日時:	8/28 10:30〜11:50
	コーディネータ:	山本雅基（名古屋大学 NCES）
	パネラ:	石川賢司（富士通ラーニングメディア），近森満（サードプロ），中島徹（中部経済産業局），原田久光（原田車両設計），久住憲嗣（九州大学），足立久美（デンソー）
	概要:	私たち組み込みシステム技術者は，100年に1度と言われる世界規模の不況の影響を受けています．不況時には教育と研究に関する経費がカットされることは，技術者の我々にとって直接的な問題です．本セッションでは，経営者や現場の技術者をお呼びし，不況時の経営判断や，工夫しながら人材養成に取り組む事例を紹介し，不況に克つ企業をつくる人材養成のあり方を，パネル形式で議論します．

　　プログラム一覧に戻る

セッションS3-de　「Interface連載記事で書ききれなかったこと」

	日時:	8/28 10:30〜11:50
	講師:	佐藤洋介／山郷成仁（デンソー），間瀬順一（アイシン・コムクルーズ）
	概要:	本セッションは、Interface連載記事と連動するセッションです。「現場におけるシステム設計/テスト・ソフトウェア実装手法」を中心に解説します。また、記事に関する質疑応答、議論を実施します。

　　プログラム一覧に戻る

セッションS4-a　「Androidとは? 〜組み込み視点から〜」

	日時:	8/28 14:00〜15:20
	講師:	大石亮介（富士通研究所, 日本Androidの会）みずのみつお（サン電子, 日本Androidの会組み込みWG）嶋是一（日本Androidの会幹事）
	概要:	AndroidはGoogle社が提供している、Linuxをベースとしたオープンソースの携帯電話用プラットフォームである。Androidは、既存のLinuxベースの携帯プラットフォームとも一味異なった特徴を持っている。またSDKもオープンソースで提供されている。アプリケーションはほぼ標準的なJavaベースの環境で開発でき、SDKやシミュレータもオープンソースで配布されているため、アプリケーション開発やポーティングへの自由度も非常に高い。今回のチュートリアルでは、Androidの概要、日本や海外でのAndroidの動きについて解説するとともに、組み込みやHW開発の技術者にとってのAndroidがもたらしてくれる可能性について考えてみる。

　　プログラム一覧に戻る

セッションS4-b　「組込み機器×クラウド＝？？？」

	日時:	8/28 14:00〜15:20
	講師:	太田寛（マイクロソフト）
	概要:	各社のクラウド戦略と、その中での組込み機器の位置付けを概観し、特にマイクロソフトが提唱するSoftware＋Servicesにおいて、クラウド技術からみた組込み機器、組込み機器からみたクラウド技術を解説します。そのうえで、今IT系で広がっているクラウドの波が、どのように組込み機器開発に影響を及ぼしていくかを語り、参加した皆さんと近未来について議論します。

　　プログラム一覧に戻る

セッションS4-de/S5-de　「Interface付録ボードを実際に動かしてみる」

	日時:	8/28 14:00〜15:20
	コーディネータ:	江崎雅康（イーエスピー企画），渡部謹二（名古屋市工業研究所）
	概要:	本セッションは、Interface連載記事と連動するセッションです。 Interface付録ARMマイコン基板と、ライン・トレース・カー拡張キットを使用し、ライン・トレース・カーを実際に開発します。出入り自由なので、奮ってご参加ください。・ハンダづけ、開発環境のインストール、サンプルプログラムのダウンロード・プログラミング・JTAGデバッグのデモ・ライントレースカー、ベースボードキットをつかったサンプルなどを予定しています。付録ボードを眠らさず、遊び倒そう！！ ○お持ちいただくもの・USBケーブルTypeB　＊注意１・ノートPC ・Interface 2009年4月号＊注意５・Interface 2009年5月号（付録ARM基板含む）＊注意４・付録ARM基板追加部品（USBターゲットコネクタTypeB×２、２ピンヘッダ×２、ショートジャンパ×２、１０ピン２列ボックスコネクタ、２０ピン２列ピンヘッダ×３、ショットキーバリアダイオード×１）＊注意２、３、４・ライントレースカーキット＊注意４＊注意１：貸し出しをいたしますが数に限りがあります。＊注意２：Interface誌2009年5月号p46表6に列挙されている部品。リセット用スイッチをジャンパスイッチで代用しています。＊注意３：ショットキーバリアダイオードは無くても動きますが回路保護上つけたほうがこのましいです。またチップタイプでは接続できません。＊注意４：雑誌・パーツ類はCQ出版様のご好意でポスターセッション時に販売もいたしますが数に限りがあります。可能な限りあらかじめ入手しお持ちください。＊注意５：インストール方法などが記載されています。お持ちでしたら持ってきてください。

　　プログラム一覧に戻る

セッションS5-a　「Androidを語る!」

	日時:	8/28 15:30〜16:50
	コーディネータ:	今村謙之（日本Androidの会，一般社団法人Open Embedded Software Foundation）
	パネラ:	みずのみつお（サン電子，日本Androidの会組み込みWG）大石亮介（富士通研究所，日本Androidの会）大西秀一（ヴィッツ，日本Androidの会）出村成和（サーバントネットワーク，日本Androidの会金沢支部）
	概要:	Google社が提供している、Linuxをベースとしたオープンソースの携帯電話用プラットフォームであるAndroidについて、日本Androidの会のメンバーから募集した有志の精鋭パネリスト(?)に、熱く語っていただきます。主なテーマとして以下のような内容を考えています。・Androidでは何ができるのか -携帯電話として、スマートフォンとして -組み込みのフレームワークとして -アプリケーション・組み込み・ハードウェアの橋渡しとして・Androidはどのように使えるのか -今までの携帯と何が違うのか -他のアーキテクチャ(x86等、携帯以外のデバイス)へのポーティング・Androidはどのような機器で使えるのか・Androidのメリットとデメリット

　　プログラム一覧に戻る

セッションS5-b　「組込み開発現場のコスト削減“技術”を集めよう」

	日時:	8/28 15:30〜16:50
	コーディネータ:	西康晴（電気通信大学），山郷成仁（デンソー）
	概要:	不況の中、組込み開発現場ではこれまで以上にコスト削減が叫ばれている。しかし短期的な視点に立った施策だけでは、品質や将来につながる技術力の低下に陥りかねない。何のためにどのような品質や技術力を保持すべきかをきちんと考えた上で、コスト削減技術についてワークショップ形式で議論します。

　　プログラム一覧に戻る

ポスター・デモ／プロジェクトアップデート

DJ用CDプレーヤーとPDAの開発
木元峰之
ES-Kyushu/NPO QUESTのプロジェクト状況〜九州の組込み市場の現状と将来〜
芦原秀一（NPO法人九州組込みソフトウェアコンソーシアム(QUEST)）
日本Andoridの会の活動紹介
嶋是一（日本Androidの会），
大石亮介（富士通研究所，日本Androidの会）
組込みシステム開発に関連する国際規格 - HAZOPを中心に
小川清（名古屋市工業研究所）
MISRA-C/C++およびRTL設計スタイルガイドの組込み技術者教育への展開
小川清，斉藤直希，渡部謹二（名古屋市工業研究所）
IPA/SEC 独立行政法人情報処理産業機構ソフトウェア・エンジニアリング・センター
室修治（組込みスキル領域），吉澤智美（ソフトウェアエンジニアリング領域）
情報処理学会組込みシステム研究会
平山雅之（東芝，IPA/SEC）
ETロボコンとは？
小林靖英（アフレル）
SESSAMEの活動紹介
横井尚子（SESSAME，TOPPERSプロジェクト）
NPO法人TOPPERSプロジェクト活動報告
横井尚子（SESSAME，TOPPERSプロジェクト）
Androidの移植事例と性能評価
熊田雄也，兼松由佳，大西秀一（ヴィッツ）
大規模システム対応64bit版モデル検査器と支援ソフトウェアの開発
早水公二（メルコ・パワー・システムズ）
拡張インプリサイス計算モデルを用いた固定優先度スケジューリング
千代浩之（慶應義塾大学），武田瑛（東芝），船岡健司（東芝），山﨑信行（慶應義塾大学）
イベント駆動ネットワークと時間駆動ネットワークが混在するハードリアルタイムシステム向け車載通信ミドルウェアの提案
石郷岡祐，成沢文雄，守田雄一朗（日立製作所，日立研究所）
組込みソフトウェアに適したプログラミング言語の開発に向けて -マルチコアへの対応-
岡山直樹，片山徹郎（宮崎大学）
無線センサネットワーク応用のための開発環境LOSAの提案
池本真一，高蘒，久住憲嗣，中西恒夫，福田晃（九州大学）
物体認識入門
佐々木貴典（構造計画研究所）
手作りAndroidケータイ電話
杉本礼彦（日本Androidの会，ブリリアントサービス）
GPC評価キット
森寛樹（ガイオ・テクノロジ）
中身がみえる計算機システムMieruPC　〜 2008→2009 〜
藤枝直輝，渡邉伸平，佐野正浩，佐野伸太郎，吉瀬謙二（東京工業大学）
組込みコンポーネントシステムTECSと事例
安積卓也（名古屋大学），小南靖雄（フリーエンジニア），鵜飼敬幸（ヴィッツ），
高木信尚（きじねこ），大山博司（オークマ），高田広章（名古屋大学）
マルチコアプロセッサにおけるプログラム実行基盤の研究
佐藤未来子，磯部泰徳，並木美太郎（東京農工大学）
「実用化を目指した組み込みシステム用オペレーティングシステム」プロジェクト（DEOS プロジェクト）
松野裕（産総研システム検証研究センター）
囲碁専用ハードウェアHIGOの初期実装と評価
三好健文（東京工業大学）
FPGAを用いたResponsive Linkの実装
水頭一壽，山崎信行（慶応義塾大学）
QUBEにおけるシステムLSI設計実習
林田隆則，久住憲嗣，ヴィクトルグラール，築添明，中西恒夫，
福田晃，安浦寛人（九州大学システムLSI研究センター）
工業高校におけるロボットによる組込みシステム学習支援環境の実践
西野洋介（前東京都立府中工業高等学校），早川栄一（拓殖大学）
第5回組込みシステム技術に関するサマースクールの成果報告
SSEST5 実行委員会
及川達裕（東海職能大），飯野敦資（東京電機大），川口麻美（三菱電機），鈴木里沙（埼玉大），立松知紘（名古屋大），山田晋平（兵庫県立大），松葉俊信（名古屋大），安藤友樹（名古屋大），木間貴行（JAIST），高井日淑（横浜国立大），星野達也（埼玉大），吉村悠（名古屋大）

　　プログラム一覧に戻る