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) |
| |
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 |
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) |
| |
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 |
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.) |
| |
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 |
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.) |
: 
n
gu
-u