Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
CST2009-37
A Comparative Study on Modeling for Verification
-- Cases from Embedded Sysitems Design --
Shin Nakajima (NII), Hirokazu Yatsu, Akira Nonaka, Shin Sahara (Tao Bears)
pp. 1 - 6
CST2009-38
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.)
pp. 7 - 12
CST2009-39
A Requirements Analysis Method for Automotive Embedded Control Systems
Mitsuhiro Araki (Toyota Central R&D Labs.), Satoru Tanaka (Toyota Motor Corporation)
pp. 13 - 18
CST2009-40
Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP
Tomohiro Kaizu (JAIST), Yoshinao Isobe (AIST), Masato Suzuki (JAIST)
pp. 19 - 24
CST2009-41
Energy-aware core allocation for many-core processor based on the market-oriented programming
Takuto Miyagi, Tatsushi Yamasaki (Setsunan Univ.)
pp. 25 - 30
CST2009-42
Approximate Solution Based on the Dynamic Programming for Optimal Configuration Problem of the Multiversion Tasks
Sayuri Terada, Toshimitsu Ushio (Osaka Univ.)
pp. 31 - 36
CST2009-43
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)
pp. 37 - 42
CST2009-44
[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.)
pp. 43 - 44
CST2009-45
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.)
pp. 45 - 48
CST2009-46
Flexible Control Method with Event Driven Control and Scheduled Control for Discrete Event Systems
Masashi Hagiwara, Koji Takahashi (Tokyo Inst. of Tech.)
pp. 49 - 54
CST2009-47
Modeling for Visualizing Process systems Consisted of Multi and Various Tasks
Mitsuyasu Endo, Koji Takahashi (Tokyo Inst. of Tech.)
pp. 55 - 60
CST2009-48
Proposal and Examination of Colored Petri Nets Simulation Model Intended for Emergency Medical System
Hideharu Tomizawa, Masahiro Nagai, Atsushi Ohta (Aichi Prefectural Univ.)
pp. 61 - 66
CST2009-49
Proposal of a Business Process Verification Method using Orders of Tasks
Daijiro Murata, Ryota Mibe (Hitachi), Yoshinao Isobe (AIST)
pp. 67 - 72
CST2009-50
Modular Reachability Analysis of Multi-agent Nets by Using Maria
Kyota Horiguchi, Toshiyuki Miyamoto (Osaka Univ.)
pp. 73 - 78
CST2009-51
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.)
pp. 79 - 84
CST2009-52
Simplification of Supervisor Existence Conditions for Timed Discrete Event Systems
Masashi Nomura, Shigemasa Takai (Osaka Univ.)
pp. 85 - 89
CST2009-53
On Choreography Realization by Using UML Activity Diagrams
Kenji Akamatsu (Osaka Univ.), Taku Fujii (Osaka Gas Info. Syst.Res. Inst.), Toshiyuki Miyamoto (Osaka Univ.)
pp. 91 - 96
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.