3月13日(水) 午後 【EMB】リアルタイムオペレーティングシステム
13:00 - 14:40 |
| (1) |
13:00-13:25 |
SafeG を用いた汎用 OS の監視手法
◯三浦功也，太田貴也，Sangorrin Daniel，本田晋也，高田広章（名大） |
| (2) |
13:25-13:50 |
メモリ保護対応RTOSにおけるメモリ保護機能のテスト
◯風間佳之（日本電気通信システム），作道直樹（サニー技研），段慧（富士ソフト），木戸脇有美（富士ソフト），
平橋航，海上智昭，鴫原一人，本田晋也，高田広章（名大） |
| (3) |
13:50-14:15 |
分散共有メモリ機構を持つ組み込み制御システム向け分散リアルタイムOS
◯知場 貴洋，兪 明連，横山 孝典（東京都市大） |
| (4) |
14:15-14:40 |
RTOSからLinuxへのマイグレーションおよびRTOS教育のためのRTOS on POSIXの開発
◯清水尚彦（東海大） |
| |
14:40-14:50 |
休憩 （ 10分 ） |
3月13日(水) 午後 【EMB】車載システム
14:50 - 16:30 |
| (5) |
14:50-15:15 |
自律走行車両のためのGPS／QZSS併用測位手法
◯周 天宇，中西 恒夫，久住 憲嗣，福田 晃（九大） |
| (6) |
15:15-15:40 |
既存ECUを変更不要な車載LAN向け侵入検知手法
◯大塚 敏史，石郷岡 祐（日立） |
| (7) |
15:40-16:05 |
車載ネットワークにおけるCAN-Ethernetプロトコル変換アルゴリズム
◯松村 潤，松原 豊，高田 広章（名大），大井 正也，豊島 真澄，岩井 明史（デンソー） |
| (8) |
16:05-16:30 |
車載制御システム向けパーティショニング機構
◯土本 幸司，川島 裕崇，本田 晋也，高田 広章（名大） |
| |
16:30-16:40 |
休憩 （ 10分 ） |
3月13日(水) 午後 【EMB】組込みソフトウェア開発
16:40 - 18:20 |
| (9) |
16:40-17:05 |
派生開発からプロダクトライン開発への移行のためのグローバル／ローカルフィーチャモデルの統合プロセス
◯中西 恒夫，久住 憲嗣，福田 晃（九大） |
| (10) |
17:05-17:30 |
組込み製品開発へのソフトウェア開発手法適用に関する一考察 ― ETロボコンを活用した事例 ―
◯大原 貴都，八木 将計，深谷 直彦（日立） |
| (11) |
17:30-17:55 |
アーキテクチャ指向開発における形式手法適用に関する考察
◯張 漢明，野呂 昌満，澤田 篤史，吉田 敦，蜂巣 吉成（南山大） |
| (12) |
17:55-18:20 |
テスト視点からのレビューアの欠陥発見の容易性向上の試み
◯羽田 裕，石山 康介，青木 教之（日本電気通信システム） |
3月13日(水) 午後 【SLDM】システムレベル設計技術
13:25 - 14:40 |
| (13) |
13:25-13:50 |
焼きなまし法を用いたTDMAスケジューリング技術
○杉原 真・岩永明人 (九大) |
| (14) |
13:50-14:15 |
TLMuを用いた組込みマルチコアのシミュレーション
○紅林修斗・稗田拓路・谷口一徹・冨山宏之 (立命館大) |
| (15) |
14:15-14:40 |
2コアアーキテクチャを対象とするトレースベースキャッシュシミュレーションの精度評価
○多和田雅師・柳澤政生・戸川 望 (早大) |
| |
14:40-14:50 |
休憩 （ 10分 ） |
3月13日(水) 午後 【SLDM】低電力化・高信頼化
14:50 - 16:30 |
| (16) |
14:50-15:15 |
エラー検出回復方式を用いた可変レイテンシ回路のための高速な性能見積もり手法
○安藤健太 (阪大)・高橋篤司 (東工大) |
| (17) |
15:15-15:40 |
細粒度電源管理を考慮した基本ブロックレベル消費エネルギー推定手法
○中村駿介・青木康平・内田充哉・谷口一徹・冨山宏之・福井正博 (立命館大) |
| (18) |
15:40-16:05 |
大規模集積回路の信頼性ホットスポット見える化に関する一試行
○木下克也・鷲見知彦・石原 完・林 磊・福井正博 (立命館大) |
| (19) |
16:05-16:30 |
容量充電式の独立電源を伴う低消費電力オペアンプ動作に関する考察
○森山新平・中武繁寿 (北九州市大) |
| |
16:30-16:40 |
休憩 （ 10分 ） |
3月13日(水) 午後 【SLDM】動作合成
16:40 - 17:30 |
| (20) |
16:40-17:05 |
フロアプランを考慮したマルチクロックドメイン指向の低電力化高位合成手法
○阿部晋矢・史 又華・柳澤政生・戸川 望 (早大) |
| (21) |
17:05-17:30 |
高位合成における多面体最適化のためのスレッド構成手法
○須田瑛大・高瀬英希・高木一義・高木直史 (京大) |
3月14日(木) 午前 【EMB】スケジューリング・省電力
08:45 - 10:25 |
| (22) |
08:45-09:10 |
アスペクト指向による組込みOSスケジューラのカスタマイズ
◯阿部 一樹，安島 光紀，兪 明連，横山 孝典（東京都市大） |
| (23) |
09:10-09:35 |
CSP理論にもとづいた制御モデルのマルチコア実装向けタスク割当て
◯大川 禎 ，枝廣 正人（名大），久村 考寛（日本電気） |
| (24) |
09:35-10:00 |
電力需要のピークカットに貢献する蓄電池マネジメント手法
◯西原 英，谷口 一徹，加藤 晋也，福井 正博（立命館大） |
| (25) |
10:00-10:25 |
実行時間の変動を利用するリアルタイムスケジューリング
◯田中 清史（北陸先端大） |
| |
10:25-10:35 |
休憩 （ 10分 ） |
3月14日(木) 午前 【EMB】プロセッサ・ハードウェア
10:35 - 12:15 |
| (26) |
10:35-11:00 |
世界最小ソフトプロセッサの設計と応用
◯田中 雄一郎，笹河 良介，佐藤 真平，吉瀬 謙二（東工大） |
| (27) |
11:00-11:25 |
リアルタイムシステムにおけるTLBミスの影響調査と改善手法
◯加藤 寿和，石川 拓也，本田 晋也，高田 広章（名大） |
| (28) |
11:25-11:50 |
リアルタイム組込みシステム向けのリソースパーティショニング用ハードウェア支援技術の開発
◯本村 哲朗，近藤 雄樹，山田 哲也，高田 雅士，仁藤 拓実，野尻 徹，十山 圭介（日立），斎藤 靖彦，
西 博史（ルネサスエレクトロニクス），佐藤 未来子，並木 美太郎（農工大） |
| (29) |
11:50-12:15 |
サービス指向ルータ向け問合せ処理用ハードウェアの検討
◯松谷 宏紀（慶大） |
| |
12:15-13:15 |
昼食 （ 60分 ） |
3月14日(木) 午後 【EMB】組込みシステム
13:15 - 14:55 |
| (30) |
13:15-13:40 |
AndroidにおけるOS可視化環境の開発
◯中川 裕貴，Praween Amontamavut（拓殖大），西野 洋介（八王子桑志高校），早川 栄一（拓殖大） |
| (31) |
13:40-14:05 |
モデル変換と振る舞い検証を活用した組み込み制御ソフトウェア設計法
◯田村 雅成，兪 明連，横山 孝典（東京都市大） |
| (32) |
14:05-14:30 |
An Evaluation for RAM Usage of TCP/IP Protocol Stack on Embedded Systems
◯宮内 信仁（三菱電機） |
| (33) |
14:30-14:55 |
組込みシステムへの故障対処機能追加に関する一提案
◯徳永 寿郎（三菱電機） |
3月14日(木) 午前 【CPSY】省電力化機構
08:45 - 10:25 |
(34)
CPSY |
08:45-09:10 |
SOTBを用いたマイコンの電力最適化  CPSY2012-85 DC2012-91 |
○北森邦明・王 蔚涵・蘇 洪亮・天野英晴（慶大） |
(35)
CPSY |
09:10-09:35 |
低消費電力アクセラレータCMAの計算完了の保証機構について CPSY2012-86 DC2012-92 |
○津坂章仁・伊澤麻衣・宇野理恵・小崎信明・天野英晴（慶大） |
(36)
CPSY |
09:35-10:00 |
センサノード低消費電力化のためのノーマリーオフ動作検証環境の構築と評価 CPSY2012-87 DC2012-93 |
○中川和歩・堀 遼平・熊木武志・木股雅章・藤野 毅（立命館大） |
(37)
CPSY |
10:00-10:25 |
インプリサイス計算モデルにおける温度を考慮したDVFS制御 CPSY2012-88 DC2012-94 |
○溝谷圭悟・上田陸平・高須雅義・千代浩之・松谷宏紀・山崎信行（慶大） |
| |
10:25-10:35 |
休憩 （ 10分 ） |
3月14日(木) 午前 【CPSY】管理機構
10:35 - 12:15 |
(38)
CPSY |
10:35-11:00 |
複数コンピュータによる仮想化IO共有技術におけるデバイス管理手法の拡張 CPSY2012-89 DC2012-95 |
○林 佑樹・樋口淳一・鈴木 順・吉川隆士（NEC） |
(39)
CPSY |
11:00-11:25 |
超高速並列演算コアを用いたモルフォロジカルパターンスペクトラムの実装と評価 CPSY2012-90 DC2012-96 |
○塚田靖史・竹田知弘・本多隼也・熊木武志・小倉 武・藤野 毅（立命館大） |
(40)
CPSY |
11:25-11:50 |
Responsive Linkにおける伝送路符号化方式の動的切替手法 CPSY2012-91 DC2012-97 |
○高橋昌裕・久村雄輔・吉住 修・水頭一壽・松谷宏紀・山崎信行（慶大） |
(41)
CPSY |
11:50-12:15 |
クラウドシステム管理のための可視化ツールの開発 CPSY2012-92 DC2012-98 |
○落合秀晴・早川栄一（拓殖大） |
3月14日(木) 午後 【CPSY】演算機構
15:05 - 15:55 |
(42)
CPSY |
15:05-15:30 |
Asynchronous Memory Machine Models with Barrier Synchronization CPSY2012-93 DC2012-99 |
○Koji Nakano（Hiroshimna Univ.） |
(43)
CPSY |
15:30-15:55 |
浮動小数点演算器アレイの構成のための評価環境 CPSY2012-94 DC2012-100 |
○伊藤勇也・高瀬英希・高木一義・高木直史（京大） |
3月14日(木) 午後 【DC】ディペンダブルシステム
13:40 - 14:55 |
(44)
DC |
13:40-14:05 |
制御システムセキュリティのためのセキュリティバリアデバイスの提案 CPSY2012-95 DC2012-101 |
○戸田賢二・海老原一郎・瀬河浩司・高橋孝一・森川 治・古原和邦（産総研） |
(45)
DC |
14:05-14:30 |
大規模FPGAを用いた規模拡張可能な高速ネットワーク侵入検知システムの開発 CPSY2012-96 DC2012-102 |
○関山 守・戸田賢二・神徳徹雄（産総研） |
(46)
DC |
14:30-14:55 |
ディペンダブルネットワークオンチッププラットフォームによる車載制御の実証に向けて CPSY2012-97 DC2012-103 |
○中井一貴・Chammika Mannakkara・Vijay Holimath・米田友洋（NII） |
| |
14:55-15:05 |
休憩 （ 10分 ） |
3月14日(木) 午後 【DC】デジタル回路
15:05 - 15:55 |
(47)
DC |
15:05-15:30 |
桁上げビットの二重化によるセルフチェッキング桁上げ先見加算器 CPSY2012-98 DC2012-104 |
○三苫晃弘（京大）・鬼頭信貴（中京大）・高木直史（京大） |
(48)
DC |
15:30-15:55 |
部分二重化を用いたオンライン誤り検出可能な乗算器 CPSY2012-99 DC2012-105 |
○秋元一志（京大）・鬼頭信貴（中京大）・高木直史（京大） |
:t-tu
ist
-u
io
g
