IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


Technical Committee on Concurrent Systems Technology (CST)
Chair Toshimitsu Ushio (Osaka Univ.)
Vice Chair Kunihiko Hiraishi (JAIST)
Secretary Shingo yamaguchi (Yamaguchi Univ.), Masaki Nakamura (Kanazawa Univ.)
Assistant Tatsushi Yamasaki (Setsunan Univ.)

Conference Date Thu, Jan 21, 2010 13:00 - 17:50
Fri, Jan 22, 2010 09:10 - 14:15
Topics Embedded System, etc 
Conference Place Toyota Central R&D Labs.,Inc. 
Address 41-1, Aza Yokomichi, Oaza Nagakute, Nagakute-cho, Aichi-gun, Aichi-ken, 480-1192 Japan
Contact
Person
Masakazu Adachi
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)

Thu, Jan 21 PM  Embedded System (1)
13:00 - 14:15
(1) 13:00-13:25 A Comparative Study on Modeling for Verification
-- Cases from Embedded Sysitems Design --
CST2009-37
Shin Nakajima (NII), Hirokazu Yatsu, Akira Nonaka, Shin Sahara (Tao Bears)
(2) 13:25-13:50 Green Multicore-SoC Software-Execution Framework with Timely-Power-Gating Scheme CST2009-38 Masafumi Onouchi, Keisuke Toyama, Toru Nojiri, Makoto Satoh (Hitachi), Masayoshi Mase, Jun Shirako (Waseda Univ.), Mikiko Sato (Tokyo Univ. of Agr and Tech.), Masashi Takada, Masayuki Ito (Renesas), Hiroyuki Mizuno (Hitachi), Mitaro Namiki (Tokyo Univ. of Agr and Tech.), Keiji Kimura, Hironori Kasahara (Waseda Univ.)
(3) 13:50-14:15 A Requirements Analysis Method for Automotive Embedded Control Systems CST2009-39 Mitsuhiro Araki (Toyota Central R&D Labs.), Satoru Tanaka (Toyota Motor Corporation)
  14:15-14:35 Break ( 20 min. )
Thu, Jan 21 PM  Embedded System (2)
15:00 - 16:40
(4) 15:00-15:25 Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP CST2009-40 Tomohiro Kaizu (JAIST), Yoshinao Isobe (AIST), Masato Suzuki (JAIST)
(5) 15:25-15:50 Energy-aware core allocation for many-core processor based on the market-oriented programming CST2009-41 Takuto Miyagi, Tatsushi Yamasaki (Setsunan Univ.)
(6) 15:50-16:15 Approximate Solution Based on the Dynamic Programming for Optimal Configuration Problem of the Multiversion Tasks CST2009-42 Sayuri Terada, Toshimitsu Ushio (Osaka Univ.)
(7) 16:15-16:40 Development of Virtual Execution Environment for Large Distributed Embedded Systems
-- Working-Porgress Report --
CST2009-43
Yukikazu Nakamoto (Univ. of Hyogo), Kenji Yabuichi (Ocotopath), Teruya Hara, Takanari Kishida, Issei Abe (Univ. of Hyogo), Tatsunori Ozaki, Akira Kitamura (Ten)
  16:40-17:00 Break ( 20 min. )
Thu, Jan 21 PM  Invited Talk
17:00 - 17:50
(8) 17:00-17:50 [Invited Talk]
STREET: Safety & Traffic REaltime Evaluation Tool CST2009-44
Takashi Machida, Hiroshi Yasuda, Akio Kozato, Naoyuki Yamada, Tatsuya Iwase, Tetsuo Kurahashi, Hiroko Mori, Hironobu Kitaoka (Toyota Central R&D Labs.)
Fri, Jan 22 AM  CST (1)
09:10 - 10:25
(9) 09:10-09:35 A Refactoring-Based Method to Decide the Serializability of Acyclic Extended Free Choice Workflow Nets CST2009-45 Shingo Yamaguchi, Shinji Hamano, Yuki Kuroda, Minoru Tanaka (Yamaguchi Univ.)
(10) 09:35-10:00 Flexible Control Method with Event Driven Control and Scheduled Control for Discrete Event Systems CST2009-46 Masashi Hagiwara, Koji Takahashi (Tokyo Inst. of Tech.)
(11) 10:00-10:25 Modeling for Visualizing Process systems Consisted of Multi and Various Tasks CST2009-47 Mitsuyasu Endo, Koji Takahashi (Tokyo Inst. of Tech.)
  10:25-10:45 Break ( 20 min. )
Fri, Jan 22 AM  CST (2)
10:45 - 12:00
(12) 10:45-11:10 Proposal and Examination of Colored Petri Nets Simulation Model Intended for Emergency Medical System CST2009-48 Hideharu Tomizawa, Masahiro Nagai, Atsushi Ohta (Aichi Prefectural Univ.)
(13) 11:10-11:35 Proposal of a Business Process Verification Method using Orders of Tasks CST2009-49 Daijiro Murata, Ryota Mibe (Hitachi), Yoshinao Isobe (AIST)
(14) 11:35-12:00 Modular Reachability Analysis of Multi-agent Nets by Using Maria CST2009-50 Kyota Horiguchi, Toshiyuki Miyamoto (Osaka Univ.)
Fri, Jan 22 PM  CST (3)
13:00 - 14:15
(15) 13:00-13:25 Proposal of A Concept Kernel Set and Its Properties for Vertex Mapping of Isomorphic Graphs CST2009-51 Miharu Ukita, Yuki Ikeda, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.)
(16) 13:25-13:50 Simplification of Supervisor Existence Conditions for Timed Discrete Event Systems CST2009-52 Masashi Nomura, Shigemasa Takai (Osaka Univ.)
(17) 13:50-14:15 On Choreography Realization by Using UML Activity Diagrams CST2009-53 Kenji Akamatsu (Osaka Univ.), Taku Fujii (Osaka Gas Info. Syst.Res. Inst.), Toshiyuki Miyamoto (Osaka Univ.)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 5 minutes for discussion.

Contact Address and Latest Schedule Information
CST Technical Committee on Concurrent Systems Technology (CST)   
Contact Address Shingo Yamaguchi(Graduate School of Science and Engineering, Yamaguchi University)
TEL: 0836-85-9510, FAX: 0836-85-9501
E--mail: ngu-u 
Announcement Latest information will be presented on the homepage:
http://www.ieice.org/~cst/


Last modified: 2009-12-22 00:12:20


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Presentation and Participation FAQ] (in Japanese)
 


 
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan