===============================================
Technical Committee on Computer Systems (CPSY)
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)
===============================================
Technical Committee on Dependable Computing (DC)
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)
Chair: Hidetoshi Onodera (Kyoto Univ.)
Secretary: Isaro Utsumi (ONW), Tohru Ishihara (Kyushu Univ.), Yutaka Tamiya (Fujitsu Laboratories)
===============================================
Special Interest Group on Embedded Systems (IPSJ-EMB)
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)
DATE:
Thu, Mar 27, 2008 08:45 - 18:10
Fri, Mar 28, 2008 08:45 - 17:45
PLACE:
Yakushima Island Development Center(Bus stop: Kamiyaku-cho Yakuba. From Airpot: 25min by Bus, 20min by Taxi. http://www1.ocn.ne.jp/~yakukan/index.htm. 09974-2-0100)
TOPICS:
----- 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
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
Nobuaki Sakamoto, Nobuyuki Yamasaki (Keio Univ)
(3) 09:30 - 09:50
Function and Efficiency Enhancement of A Simulation Environment with Multiprocessor RTOS
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 --
Tsuyoshi Abe, Junji Sakai (NEC)
----- 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
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
Yurie Fujimatsu, Hiroyoshi Haruki, Mikio Hashimoto (Toshiba Corp.)
(7) 11:15 - 11:35
Partitioning Behavioral Descriptions Exploiting Function-Level Parallelism
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
Shinichi Takiguchi, Yoshinari Nomura, Toshihiro Tabata, Hideo Taniguchi (Okayama Univ.)
----- 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
Kouta Okamoto, Hideo Taniguchi (Okayama Univ.)
(10) 13:20 - 13:45
A Networking Mechanism for Automotive Sensors
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
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.)
----- 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
Kenji Toda (AIST), Kenji Sayano (REXEON)
(14) 15:05 - 15:30
Hardware implementation of contour definition by two-cycle levelset algorithm
Ryo Yonezawa, Ikuji Honda (Keio Univ.)
(15) 15:30 - 15:50
A VLSI Architecture of Parallel Hough Transform with Localized Voting Space Access
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
Yuji Ikeda, Kosuke Yamazaki, Toshiyuki Maeyama, Yoshio Takeuchi (KDDI Lab.)
----- 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
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
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
Eigo Okada, Sun Xiaojin, Yukikazu Nakamoto (UOH)
(20) 17:45 - 18:10
Allocation of Scratch-Pad Memory in Non-Preemptive Multi-Task Systems
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
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
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
Masayuki Hiromoto, Hiroyuki Ochi (Kyoto Univ.), Yukihiro Nakamura (Ritsumeikan Univ.)
----- 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
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
Shingo Takahashi, Shuji Tsukiyama (Chuo Univ.)
(27) 11:15 - 11:35
Code Quality Analysis Toolset for Embedded Systems on Eclipse
Yuichi Nakamura, Kohei Nadehara (NEC)
(28) 11:35 - 12:00
Design of a Programmable Debug Support Mechanism for Efficient Analysis in Multi-core SoC
Noriaki Suzuki, Junji Sakai, Sunao Torii (NEC)
----- 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
Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.)
(30) 13:25 - 13:50
Synthesis for Detection of Transient Faults
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
Kazunori Suzuki, Takashi Nakada, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima (NAIST)
----- 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
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
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
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
Akira Takeda, Kenji Funaoka, Shinpei Kato, Nobuyuki Yamasaki (Keio Univ.)
----- 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
Tasuku Ishigooka, Yuichi Itami, Takanori Yokoyama (MI-TECH)
(37) 16:35 - 17:00
Time Management Functions for Sophisticated Robot Control
Masao Ueyama, Kazutoshi Suito, Nobuyuki Yamasaki (Keio Univ.)
(38) 17:00 - 17:20
A Development of Middleware for Various kinds of Embedded Sensors
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
Hisatoshi Eguchi, Tomohiro Nakagawa, Ken Ohta, Atsushi Takeshita (NTT DoCoMo, Inc.)
----- Closing Address ( 5 min. ) -----
# Information for speakers
General Talk will have 17 minutes for presentation and 5 minutes for discussion.
# CONFERENCE SPONSORS:
- This workshop is co-sponsored by IEICE-DC, IEICE-CPSY, IPSJ-SLDM, and IPSJ-EMB
=== Technical Committee on Computer Systems (CPSY) ===
# FUTURE SCHEDULE:
Wed, Apr 23, 2008: Tokyo Univ. [Wed, Feb 20], Topics: Dependable Computing Systems, etc.
# SECRETARY:
Morihiro KUGA (Kumamoto Univ.)
TEL +81-96-342-3647, FAX +81-96-342-3599
E-mail: ![](/ken/images/new/1111uqde.gif) ![](/ken/images/new/1217ag.bmp) ![](/ken/images/new/ta.gif) ![](/ken/images/new/0507vcui.gif) ![](/ken/images/new/tod.gif) am![](/ken/images/new/1217om.bmp) -u![](/ken/images/new/pjca.gif)
=== Technical Committee on Dependable Computing (DC) ===
# FUTURE SCHEDULE:
Wed, Apr 23, 2008: Tokyo Univ. [Wed, Feb 20], Topics: Dependable Computing Systems, etc.
Fri, Jun 20, 2008: Kikai-Shinko-Kaikan Bldg [Fri, Apr 18], Topics: Design, Test, Verification
# SECRETARY:
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-mail: k-![](/ken/images/new/ot.gif) ![](/ken/images/new/1217ad.bmp) aist![](/ken/images/new/pjog.gif)
=== Special Interest Group on System and LSI Design Methodology (IPSJ-SLDM) ===
# FUTURE SCHEDULE:
Thu, May 8, 2008 - Fri, May 9, 2008: Kobe Univ. [Mon, Mar 17], Topics: System Design, etc.
=== Special Interest Group on Embedded Systems (IPSJ-EMB) ===
Last modified: 2008-03-20 21:18:41
|
Notification: Mail addresses are partially hidden against SPAM.
|