|
|
| Chair |
|
Toshinori Sueyoshi (Kumamoto Univ.) |
| Vice Chair |
|
Syuuichi Sakai (Univ. of Tokyo), Yoshio Miki (Hitachi) |
| Secretary |
|
Morihiro Kuga (Kumamoto Univ.), Akira Asato (Fujitsu Labs.) |
| Assistant |
|
Hidetsugu Irie (Univ. of Tokyo) |
|
|
|
| Chair |
|
Kazuhiko Iwasaki (Tokyo Metropolitan Univ.) |
| Vice Chair |
|
Tomohiro Yoneda (NII) |
| Secretary |
|
Masato Kitagami (Chiba Univ.), Michinobu Nakao (Renesas) |
|
| Special Interest Group on System and LSI Design Methodology (IPSJ-SLDM) |
[schedule] [select]
|
|
| Chair |
|
Hidetoshi Onodera (Kyoto Univ.) |
| Secretary |
|
Isaro Utsumi (ONW), Tohru Ishihara (Kyushu Univ.), Yutaka Tamiya (Fujitsu Laboratories) |
|
|
|
| Chair |
|
Hiroaki Takada (Nagoya Univ.) |
| Secretary |
|
Shuichi Oikawa (Univ. of Tsukuba), Hiroyuki Kanbara (ASTEM), Atsushi Sawada (Kyoto Univ.), Masayuki Hirayama (Toshiba / IPA Software Engineering Center) |
|
| Conference Date |
Thu, Mar 27, 2008 08:45 - 18:10
Fri, Mar 28, 2008 08:45 - 17:45 |
| Topics |
|
| Conference Place |
Yakushima Island Development Center |
| Transportation Guide |
Bus stop: Kamiyaku-cho Yakuba. From Airpot: 25min by Bus, 20min by Taxi
http://www1.ocn.ne.jp/~yakukan/index.htm |
Contact
Person |
09974-2-0100 |
| Sponsors |
This workshop is co-sponsored by IEICE-DC, IEICE-CPSY, IPSJ-SLDM, and IPSJ-EMB
|
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| |
08:40-08:45 |
Opening Address ( 5 min. ) |
Thu, Mar 27 AM Multicore / Multiprocessor
08:45 - 10:15 |
| (1) |
08:45-09:05 |
An Adaptive Multi-Performance Processor and its Evaluation  DC2007-84 CPSY2007-80 |
Seiichiro Yamaguchi, Yuichiro Oyama (Kyushu Univ.), Yuji Kunitake (Kyushu Inst. of Tech.), Tadayuki Matsumura, Yuriko Ishitobi, Masaki Yamaguchi, Donghoon Lee, Yusuke Kaneda (Kyushu Univ.), Toshimasa Funaki (Kyushu Inst. of Tech.), Masanori Muroyama, Tohru Ishihara, Toshinori Sato (Kyushu Univ.) |
| (2) |
09:05-09:30 |
Prioritized Non-Uniform Cache Architecture for Chip Multiprocessors DC2007-85 CPSY2007-81 |
Nobuaki Sakamoto, Nobuyuki Yamasaki (Keio Univ) |
| (3) |
09:30-09:50 |
Function and Efficiency Enhancement of A Simulation Environment with Multiprocessor RTOS DC2007-86 CPSY2007-82 |
Hiroshi Aiba, Seiya Shibata, Takashi Furukawa, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada (Nagoya Univ.) |
| (4) |
09:50-10:15 |
Coexistent environment of Responsiveness and Functionality on multi-core processor, MPCore.
-- Toward harmonizing Control with Information processing -- DC2007-87 CPSY2007-83 |
Tsuyoshi Abe, Junji Sakai (NEC) |
| |
10:15-10:30 |
Break ( 15 min. ) |
Thu, Mar 27 AM Security / Miscellaneous
10:30 - 12:00 |
| (5) |
10:30-10:50 |
String-Aware Information Flow Tracking to Detect Injection Attacks DC2007-88 CPSY2007-84 |
Satoshi Katsunuma, Ryota Shioya (Univ. of Tokyo), Hidetsugu Irie (JST), Masahiro Goshima, Shuichi Sakai (Univ. of Tokyo) |
| (6) |
10:50-11:15 |
Porting of Linux OS to secure processor DC2007-89 CPSY2007-85 |
Yurie Fujimatsu, Hiroyoshi Haruki, Mikio Hashimoto (Toshiba Corp.) |
| (7) |
11:15-11:35 |
Partitioning Behavioral Descriptions Exploiting Function-Level Parallelism DC2007-90 CPSY2007-86 |
Yuko Hara, Hiroyuki Tomiyama, Shinya Honda, Hiroaki Takada, Katsuya Ishii (Nagoya Univ.) |
| (8) |
11:35-12:00 |
A Method for Control of Driver Program Invocation based on Device Operation History on AnT Operating System DC2007-91 CPSY2007-87 |
Shinichi Takiguchi, Yoshinari Nomura, Toshihiro Tabata, Hideo Taniguchi (Okayama Univ.) |
| |
12:00-13:00 |
Lunch Break ( 60 min. ) |
Thu, Mar 27 PM Communication
13:00 - 14:30 |
| (9) |
13:00-13:20 |
Evaluation of Communication Mechanism between Server Programs for AnT Operating System DC2007-92 CPSY2007-88 |
Kouta Okamoto, Hideo Taniguchi (Okayama Univ.) |
| (10) |
13:20-13:45 |
A Networking Mechanism for Automotive Sensors DC2007-93 CPSY2007-89 |
Tomoyuki Kawai, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada (Nagoya Univ.), Hideaki Ishihara, Kyouichi Suzuki, Yoshinori Teshima, Toshihiko Matsuoka, Kenji Yamada (DENSO) |
| (11) |
13:45-14:05 |
Design Technique of Low-Size and High-Performance Hardwired TCP/IP Offload Engine for Embedded Systems DC2007-94 CPSY2007-90 |
Koji Hashimoto, Vasily G. Moshnyaga (Fukuoka Univ.) |
| (12) |
14:05-14:30 |
Aperiodic Packet Scheduling in Real-Time Communication using Responsive Link |
Yuji Fujita, Shinpei Kato, Nobuyuki Yamasaki (Keio Univ.) |
| |
14:30-14:45 |
Break ( 15 min. ) |
Thu, Mar 27 PM Application
14:45 - 16:15 |
| (13) |
14:45-15:05 |
An experiment on Wireless Protocol Communicating Vehicle Position DC2007-95 CPSY2007-91 |
Kenji Toda (AIST), Kenji Sayano (REXEON) |
| (14) |
15:05-15:30 |
Hardware implementation of contour definition by two-cycle levelset algorithm DC2007-96 CPSY2007-92 |
Ryo Yonezawa, Ikuji Honda (Keio Univ.) |
| (15) |
15:30-15:50 |
A VLSI Architecture of Parallel Hough Transform with Localized Voting Space Access DC2007-97 CPSY2007-93 |
Masayuki Goto, Kazuhiro Nakamura, Yoshikazu Asada, Kazuyoshi Takagi, Naofumi Takagi (Nagoya Univ.) |
| (16) |
15:50-16:15 |
A Proposal of the Automatic Software Optimization Method for SDR Processor DC2007-98 CPSY2007-94 |
Yuji Ikeda, Kosuke Yamazaki, Toshiyuki Maeyama, Yoshio Takeuchi (KDDI Lab.) |
| |
16:15-16:30 |
Break ( 15 min. ) |
Thu, Mar 27 PM Embedded Systems
16:30 - 18:10 |
| (17) |
16:30-16:55 |
Development of Protection Mechanism for Embedded Component System DC2007-99 CPSY2007-95 |
Shimpei Yamada, Yukikazu Nakamoto (UOH), Takuya Azumi, Hiroaki Takada (Nagoya Univ.), Hiroshi Oyama (OKUMA) |
| (18) |
16:55-17:20 |
A Realization of RPC in Embedded Component Systems DC2007-100 CPSY2007-96 |
Takuya Azumi (Nagoya Univ.), Hiroshi Oyama (OKUMA), Hiroaki Takada (Nagoya Univ.) |
| (19) |
17:20-17:45 |
Construction and the evaluation of customizable user interface in the mobile phone DC2007-101 CPSY2007-97 |
Eigo Okada, Sun Xiaojin, Yukikazu Nakamoto (UOH) |
| (20) |
17:45-18:10 |
Allocation of Scratch-Pad Memory in Non-Preemptive Multi-Task Systems DC2007-102 CPSY2007-98 |
Hideki Takase, Hiroyuki Tomiyama, Hiroaki Takada (Nagoya Univ.) |
| |
- |
banquet |
Fri, Mar 28 AM Model / Circuit
08:45 - 10:15 |
| (21) |
08:45-09:05 |
A Hardware Acceleration for Semi-Formal Model Checking DC2007-103 CPSY2007-99 |
Satoshi Morishita, Hiroaki Yoshida, Masahiro Fujita (Univ of Tokyo) |
| (22) |
09:05-09:30 |
Model-Based Design Technology for Automotive Control Systems |
Akihiko Hyodo, Naoki Kato, Shigeru Oho (Hitachi, Ltd.) |
| (23) |
09:30-09:50 |
On Evaluation Methods of nMOS Level Shifter Circuits DC2007-104 CPSY2007-100 |
Makoto Otsu, Shingo Takahashi, Shuji Tsukiyama (Chuo Univ.), Masanori Hashimoto (Osaka Univ.), Isao Shirakawa (Univ. of Hyogo) |
| (24) |
09:50-10:15 |
An Asynchronous IEEE754-standard Single-precision Floating-point Divider for FPGA DC2007-105 CPSY2007-101 |
Masayuki Hiromoto, Hiroyuki Ochi (Kyoto Univ.), Yukihiro Nakamura (Ritsumeikan Univ.) |
| |
10:15-10:30 |
Break ( 15 min. ) |
Fri, Mar 28 AM SoC / Analysis
10:30 - 12:00 |
| (25) |
10:30-10:50 |
A technique of automatic input pattern generation for system-level design descriptions by concrete and symbolic simulations DC2007-106 CPSY2007-102 |
Yoshihisa Kojima, Tasuku Nishihara, Takeshi Matsumoto (Univ. of Tokyo), Masahiro Fujita (VDEC, Univ of Tokyo) |
| (26) |
10:50-11:15 |
On Distribution Functions of Delays and Slews for Statistical Timing Analysis DC2007-107 CPSY2007-103 |
Shingo Takahashi, Shuji Tsukiyama (Chuo Univ.) |
| (27) |
11:15-11:35 |
Code Quality Analysis Toolset for Embedded Systems on Eclipse DC2007-108 CPSY2007-104 |
Yuichi Nakamura, Kohei Nadehara (NEC) |
| (28) |
11:35-12:00 |
Design of a Programmable Debug Support Mechanism for Efficient Analysis in Multi-core SoC DC2007-109 CPSY2007-105 |
Noriaki Suzuki, Junji Sakai, Sunao Torii (NEC) |
| |
12:00-13:00 |
Lunch ( 60 min. ) |
Fri, Mar 28 PM Test / Dependability
13:00 - 14:15 |
| (29) |
13:00-13:25 |
Automatically Generating Testcases with the NuSMV Model Checker DC2007-110 CPSY2007-106 |
Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) |
| (30) |
13:25-13:50 |
Synthesis for Detection of Transient Faults DC2007-111 CPSY2007-107 |
Goerschwin Fey (Univ of Bremen/Univ of Tokyo), Rolf Drechsler (Univ of Bremen) |
| (31) |
13:50-14:15 |
A Functional Unit with Small Variety of Highly Reliable Cells and Its Evaluation DC2007-112 CPSY2007-108 |
Kazunori Suzuki, Takashi Nakada, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima (NAIST) |
| |
14:15-14:25 |
Break ( 10 min. ) |
Fri, Mar 28 PM Task Scheduling
14:20 - 16:00 |
| (32) |
14:20-14:45 |
An Efficient Real-Time Scheduling Algorithm for Temporal Protection with Task's Priority DC2007-113 CPSY2007-109 |
Yutaka Matsubara, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada (Nagoya Univ.) |
| (33) |
14:45-15:10 |
A Context Assignment Algorithm for Real-time Tasks on Dynamically Reconfigurable Processor with Reconfigurable Overhead DC2007-114 CPSY2007-110 |
Keisuke Nishi (Osaka Univ.), Tomoya Kitani (NAIST), Akio Nakata (Hiroshima City Univ.), Teruo Higashino (Osaka Univ.) |
| (34) |
15:10-15:35 |
Prioritized Object Management for RT-Middleware DC2007-115 CPSY2007-111 |
Hiroyuki Chishiro, Akira Takeda, Masao Ueyama, Shinpei Kato, Nobuyuki Yamasaki (Keio Univ.) |
| (35) |
15:35-16:00 |
Global-RM based Real-Time Scheduling Algorithm on Multiprocessors DC2007-116 CPSY2007-112 |
Akira Takeda, Kenji Funaoka, Shinpei Kato, Nobuyuki Yamasaki (Keio Univ.) |
| |
16:00-16:15 |
Break ( 15 min. ) |
Fri, Mar 28 PM OS / Middleware
16:15 - 17:45 |
| (36) |
16:15-16:35 |
A Distributed Computing Environment for Embedded Control Systems withTime-Triggered and Event-Triggered Processing DC2007-117 CPSY2007-113 |
Tasuku Ishigooka, Yuichi Itami, Takanori Yokoyama (MI-TECH) |
| (37) |
16:35-17:00 |
Time Management Functions for Sophisticated Robot Control DC2007-118 CPSY2007-114 |
Masao Ueyama, Kazutoshi Suito, Nobuyuki Yamasaki (Keio Univ.) |
| (38) |
17:00-17:20 |
A Development of Middleware for Various kinds of Embedded Sensors DC2007-119 CPSY2007-115 |
Takahiro Kawahara, Satoshi Matsuura, Shinichi Doi, Kazutoshi Fujikawa, Hideki Sunahara (NAIST) |
| (39) |
17:20-17:45 |
Inter-OS Communication Mechanism for Multi-OS Mobile Handset using Suspend/Resume Function DC2007-120 CPSY2007-116 |
Hisatoshi Eguchi, Tomohiro Nakagawa, Ken Ohta, Atsushi Takeshita (NTT DoCoMo, Inc.) |
| |
17:45-17:50 |
Closing Address ( 5 min. ) |
| Announcement for Speakers |
| General Talk | Each speech will have 17 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| CPSY |
Technical Committee on Computer Systems (CPSY) [Latest Schedule]
|
| Contact Address |
Morihiro KUGA (Kumamoto Univ.)
TEL +81-96-342-3647, FAX +81-96-342-3599
E- :      am  -u |
| DC |
Technical Committee on Dependable Computing (DC) [Latest Schedule]
|
| Contact Address |
ETNET Secretariat (Toda, Nagasaku)
Central 2, Umezono 1-1-1, Tsukuba, Ibaraki 305-8568, JAPAN
Information Technology Research Institute,
National Institute of Advanced Industrial Science and Technology (AIST)
TEL: +81-29-861-5875, FAX: +81-29-861-5909
E-: k- aist |
| IPSJ-SLDM |
Special Interest Group on System and LSI Design Methodology (IPSJ-SLDM) [Latest Schedule]
|
| Contact Address |
|
| IPSJ-EMB |
Special Interest Group on Embedded Systems (IPSJ-EMB) [Latest Schedule]
|
| Contact Address |
|
Last modified: 2008-03-20 21:18:41
|