(toppers-users 3966) TOPPERSカンファレンス2012開催と参加者募集開始のご案内
YOKOI Naoko
naoko ＠ toppers.jp
2012年 4月 26日 (木) 20:04:42 JST
TOPPERSユーザの皆様
※複数のメールを受け取られた方，ご容赦ください
TOPPERSプロジェクト事務局の横井です．
いつもお世話になっております．
平素はTOPPERSプロジェクトの活動に格別のご支援，ご協力を賜り，
ありがとうございます．
TOPPERSプロジェクトは，以下の通りTOPPERSカンファレンス2012を
開催いたします．
特別講演は，
「組み込みシステムとしての衛星設計
〜SpaceWire標準によるネットワーク型衛星アーキテクチャ〜」
です．
お近くの方にもご案内いただき，お誘いあわせの上，ぜひご参加く
ださい．
どうぞよろしくお願いいたします．
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
TOPPERSカンファレンス2012
復活日本を担うRTOS
開催のご案内・参加者募集
http://www.toppers.jp/conference2012.html
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
TOPPERSプロジェクトでは会員の皆様，TOPPERSにご興味をお持ちの方々にプロ
ジェクトの成果や会員が関係する技術・商品・普及活動の最新動向をお知らせ
する場として「TOPPERSカンファレンス」を毎年開催しています．
第9回となる今年のカンファレンスのテーマは，「復活日本を担うRTOS」です．
任意団体として活動を始めたTOPPERSプロジェクトが最初のオープンソースであ
るTOPPERS/JSPカーネルを公開してから，11年が経過しました．その後2003年に
NPO法人を設立し，今年でまる9年を迎えます．2012年4月現在で団体正会員，
個人会員，特別会員を含めた総会員数は約210となりました．
その間，ITRON仕様の技術開発成果を出発点として，各種のリアルタイムカーネ
ルやミドルウェアの開発・提供，次世代リアルタイムOS技術の開発，組込みシ
ステム技術者育成のための教材開発などを行ってきました．
また，組込みシステム開発を取り巻く状況が大きく変わってきていることに対
応して，μITRON4.0仕様を発展させたリアルタイムカーネル仕様として，
「TOPPERS新世代カーネル仕様」の策定およびそれに準拠した一連のリアルタイ
ムカーネルの開発を進めています．
RTOSは日本の復活を担う重要な技術となっています．この機会に是非カンファ
レンスにご参加いただき，TOPPERSプロジェクトの新しい動きに接していただけ
れば幸いです．
■日 時：2012年6月12日（火）10:00〜19:30（9:30受付開始）
■会 場：大田区産業プラザ（PiO) 4F コンベンションホール
東京都大田区南蒲田1-20-20
http://www.pio-ota.jp/plaza/map.html
■主 催：NPO法人TOPPERSプロジェクト
■後 援：一般社団法人 組込みシステム技術協会(予定)
■定 員：140名（先着順にて受付）
■参加費：会 員： 無料(*)
(*)事前登録のある場合に限ります
当日登録の場合は3,000円を申し受けます
懇親会に出席される方は，別途会費3,000円を申し受けます
総会出席者(個人正会員もしくは団体正会員の代表者1名）は
懇親会を含め，無料でご参加いただけます
非会員： 8,000円（懇親会費込み）
学 生： 3,000円（懇親会費込み）
関連団体会員：3,000円（懇親会費込み）
■申込み：事前登録が必要となりますので，下記ホームページからお申し込み
ください．
http://www.toppers.jp/conference2012.html
なお，いただいた個人情報は，本カンファレンスのご案内のみに
使用いたします．
■支払方法：申し込みを受け付けましたら，折り返しメールにてお支払方法を
お知らせしますので，期日までに指定口座にお振込みください（振
込手数料はご負担願います）．請求書をご希望の場合は，申込み時
にチェックをお願いいたします．なお，入金された参加費は欠席さ
れても原則として返金いたしかねますのでご了承ください．
■問合せ先：TOPPERSプロジェクト事務局（担当：根来，横井）
〒103-0007 東京都中央区日本橋浜町1-8-12 東実年金会館8F
(一社)組込みシステム技術協会内
TEL&FAX: 03-3865-5616 Email: secretariat ＠ toppers.jp
───────────────────────────────────
プ┃ロ┃グ┃ラ┃ム┃
━┛━┛━┛━┛━┛ (敬称略)
9:30 受付開始
[開会] 会場：コンベンションホール：梅
[特別講演]
10:00〜11:00
「組み込みシステムとしての衛星設計
〜SpaceWire標準によるネットワーク型衛星アーキテクチャ〜」
高橋忠幸（宇宙航空研究開発機構 宇宙科学研究所）
福田盛介（宇宙航空研究開発機構 宇宙科学研究所）
概要：衛星は，大規模な組み込みシステムである．現在，
SpaceWire標準を用いた新しいアーキテクチャを持つ衛星の
開発が進んでいる．本講演ではSpaceWireの概要と，それを
用いて，センサー，アクチュエータから，各機器のデータ
処理装置，さらに衛星全体のデータ処理ユニットをネット
ワークの一要素として柔軟に接続するネットワーク型の衛星
アーキテクチャの概念とその実現について解説する．
11:00〜11:25
「TOPPERSプロジェクト活動報告」
加藤 博之（TOPPERSプロジェクト副会長
/(株)エーアイコーポレーション）
11:25〜11:45
「TOPPERS教育WG：基礎3講座の内容とセミナーについて」
竹内 良輔（TOPPERSプロジェクト教育WG主査/(株)リコー）
概要：TOPPERSプロジェクト教育WGでは，基礎講座の最後の
コンテンツとして基礎3講座を開発し，今年12月にセミナーを
開催します．本セミナーの内容及びねらいについて紹介します．
本セミナーは，組込みプラットフォームの構築を学ぶセミナー
として位置づけられ，LPC2388(ARM7)ボード上にファイルシス
テムとETHERNET-TCP/IPをポーティングし，「telnetシステム」
の開発を行い，そのノウハウを共有する内容となっています．
ファイルやネットワークに対応した組込みシステムを構築した
い方，組込みプラットフォーム開発技術のスキルアップを目指
す方が対象となります．
■午後は二つの会場でセッションがあります．
======================================================================
[トラックA] 会場：コンベンションホール：梅
12:50〜13:50
トラックA-1：技術トピックトラック
「FMPカーネル対応TTSPの紹介」
鴫原一人（名古屋大学）
概要：昨年度公開したASPカーネル向けTTSP
(TOPPERS Test Suite Package)のFMPカーネル対応版を，2012年
5月にオープンソースとして公開する．
TTSPでは，テストプログラム生成ツール(TTG)を用いて，
ターゲットシステムに応じたAPIに対するテスト等が実施可能で
ある．
TTSP開発時に行ったマルチプロセッサ向けRTOSに対するテスト
設計や，考案したテスト手法について，実演を交えて紹介する．
「SafeGのデュアルOS通信」
本田晋也（名古屋大学）
概要：本講演では，デュアルOSモニタであるTOPPERS/SafeGの
最新リリースでサポートした，OS間通信の仕様とアーキテクチャ
について紹介します．OS間通信によって，SafeGシステムの上に
実行しているRTOS（例：TOPPERS/ASP）とGPOS（例：GNU/Linux）
間は，高信頼性かつ低オーバーヘッドでデータのやり取りが可能
になります．
13:50〜14:00 休憩
14:00〜15:00
トラックA-2：事例トラック1
「ＢメソッドによるASP+TINET実行環境向けプログラム開発」
和田 学（CAPES-B/北海道電子機器(株)技術部）
概要：Ｂメソッドは形式手法の一つで定理証明によりプログラム
の正しさを検証しつつ実行可能なプログラムを生成する為の開発
手法です．
Ｂメソッドを用いたASPカーネル＋TINET上で動作する通信プログ
ラムの開発について紹介します．
「性質の異なるアプリケーション統合を可能にするパーティションOS」
杉山 歩（(株)ヴィッツ 組込み制御開発部 組込制御室）
概要：TOPPERSの成果物である「TOPPERS/ASP Safetyカーネル」を
使った派生物の開発として，パーティションOSの作成を行いました．
開発を行ったパーティションOSの概要についてご紹介致します．
15:00〜15:10 休憩
15:10〜16:10
トラックA-3：事例トラック2
「ETロボコン：2輪倒立自律走行ロボット向けソフトウェア開発」
山口裕也（NECソフトウェア北陸 ソフトウェア開発事業部）
概要：ETロボコン2011のチャンピオンシップ大会においてTOPPERS賞
を受賞することができました．
デバイスの特性を考慮したタスク設計，Rate-Monotonic
Scheduling(RMS)を適用した並行性設計，モデル検査ツールSPINを
用いた設計の妥当性検証への取り組みなど，リアルタイムOSの特徴を
生かした2輪倒立自律走行ロボット向けソフトウェア開発の事例をご
紹介します．
「(依頼中)」
=====================================================================
[トラックB] 会場：コンベンションホール：鶯
12:50〜13:50
トラックB-1：チュートリアル1
「初めてのリアルタイムOS使用のための手引き
〜使ってみよう SSPカーネル！〜」
斎藤直希（名古屋市工業研究所）
杉山明加（富士設備工業株式会社）
概要：本講演ではリアルタイムOSを使用せずに製品開発を行っている
開発者向けに，TOPPERS/SSPカーネルを使用したリアルタイムOS導入
の手引きを紹介します．OSを使わずに動作させてきた既存資産をOS上
で動作させるマイグレーション方法とその際の課題を中心に解説を行
います．
13:50〜14:00 休憩
14:00〜15:00
トラックB-2：チュートリアル2
「組込みコンポーネントシステム TECSについて」
「TECSプロジェクトアップデート」
安積卓也（立命館大学）
概要：組込みコンポーネントシステムTECSの要素技術及び
TECS WGのプロジェクトアップデートをご説明します．
加えて，TECS WGの今後の活動について紹介します．
「TECS RPC」
大山博司（TECS WG主査／オークマ(株)）
概要：組込みコンポーネントシステム TECS の
RPC (Remote Procedure Call) を紹介します．まず RPC
とは何かを説明したうえで，TECS RPC の基本的な考え方，
使い方について説明します．
「TECS適用事例アップデート <ATK1+TECS> 」
鵜飼敬幸（TECS WG）
概要：TECSに対応したカーネル適用事例として，車載用
組込みRTOS ATK1への適用事例を紹介します．
適用の全体像，機能に加え，適用時のポイントとしてASP
との構成の相違を説明します．
15:00〜15:10 休憩
15:10〜16:10
トラックB-3：チュートリアル3
「HRP2カーネルを用いたアプリケーションの開発」
石川拓也（名古屋大学）
概要：ASPカーネル用のサンプルプログラムをメモリ保護機能
拡張し，HRP2カーネル上で動作させるまでの手順を実演します．
また，HRP2カーネルを用いたアプリケーションが生成される
までのビルドの流れについて解説します．
=====================================================================
[ミニ展示] 会場：コンベンションホール：ホワイエ
11:45〜17:10 TOPPERSプロジェクト会員企業による製品展示
16:20〜17:00にはコンベンションホール：鶯にてTOPPERSプロ
ジェクトの通常総会を開催します．
総会に出席されない方は，ミニ展示をご覧ください．
=====================================================================
[基調講演] 会場：コンベンションホール：梅
17:10〜18:10 「TOPPERSプロジェクトの現状と方向性」
高田 広章 (TOPPERSプロジェクト会長/名古屋大学）
=====================================================================
[懇親会 ］会場：コンベンションホール：鶯，ホワイエ
18:15 開会
・TOPPERS of the Year 発表
過去1年間の活動を振り返り，最もインパクトのあった活動を表彰！
ほか
19:30 閉会
───────────────────────────────────
--
−−−−−−−−−−−−−−−−−−−−−−−
横井尚子（YOKOI Naoko) secretariat ＠ toppers.jp
NPO法人TOPPERSプロジェクト事務局
〒103-0007 東京都中央区日本橋浜町1-8-12
（一社）組込みシステム技術協会内
TEL＆FAX: 03-3865-5616
−−−−−−−−−−−−−−−−−−−−−−−
