| 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 Talk | Each 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- :  n    gu -u |
| Announcement |
Latest information will be presented on the homepage:
http://www.ieice.org/~cst/ |
Last modified: 2009-12-22 00:12:20
|