| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev MSS Conf / Next MSS Conf | [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.) DATE: Thu, Jan 21, 2010 13:00 - 17:50 Fri, Jan 22, 2010 09:10 - 14:15 PLACE: Toyota Central R&D Labs.,Inc.(41-1, Aza Yokomichi, Oaza Nagakute, Nagakute-cho, Aichi-gun, Aichi-ken, 480-1192 Japan. Masakazu Adachi) TOPICS: Embedded System, etc ---------------------------------------- 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 -- 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 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 Mitsuhiro Araki (Toyota Central R&D Labs.), Satoru Tanaka (Toyota Motor Corporation) ----- 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 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 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 Sayuri Terada, Toshimitsu Ushio (Osaka Univ.) (7) 16:15 - 16:40 Development of Virtual Execution Environment for Large Distributed Embedded Systems -- Working-Porgress Report -- Yukikazu Nakamoto (Univ. of Hyogo), Kenji Yabuichi (Ocotopath), Teruya Hara, Takanari Kishida, Issei Abe (Univ. of Hyogo), Tatsunori Ozaki, Akira Kitamura (Ten) ----- 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 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 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 Masashi Hagiwara, Koji Takahashi (Tokyo Inst. of Tech.) (11) 10:00 - 10:25 Modeling for Visualizing Process systems Consisted of Multi and Various Tasks Mitsuyasu Endo, Koji Takahashi (Tokyo Inst. of Tech.) ----- 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 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 Daijiro Murata, Ryota Mibe (Hitachi), Yoshinao Isobe (AIST) (14) 11:35 - 12:00 Modular Reachability Analysis of Multi-agent Nets by Using Maria 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 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 Masashi Nomura, Shigemasa Takai (Osaka Univ.) (17) 13:50 - 14:15 On Choreography Realization by Using UML Activity Diagrams Kenji Akamatsu (Osaka Univ.), Taku Fujii (Osaka Gas Info. Syst.Res. Inst.), Toshiyuki Miyamoto (Osaka Univ.) # Information for speakers General Talk will have 20 minutes for presentation and 5 minutes for discussion. === Technical Committee on Concurrent Systems Technology (CST) === # SECRETARY: Shingo Yamaguchi（Graduate School of Science and Engineering, Yamaguchi University) TEL: 0836-85-9510, FAX: 0836-85-9501 E-mail:  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 |
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 | Prev MSS Conf / Next MSS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]