Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
CNR |
2023-08-09 14:45 |
Hokkaido |
(Primary: On-site, Secondary: Online) |
Construction of Groynes Reconfiguration System for Elucidation of River Channel Change Mechanism Chen Zhang, Yuki Takahashi, Daichi Moteki, Hiroyasu Yasuda, Kiyoshi Hayasaka, Shogo Muramatsu (Niigata Univ.) CNR2023-4 |
In this report, a new actuation method is proposed for improving the prototype of our proposed river cyber-physical syst... [more] |
CNR2023-4 pp.18-21 |
MICT, WBS, RCC, SAT (Joint) [detail] |
2023-05-26 09:00 |
Tokyo |
TOKYO BIG SIGHT (Primary: On-site, Secondary: Online) |
Software-Defined Radio Receiver for Satellite Hiroshi Nagasaki, Hiromichi Yoshiga, Shunsuke Kawasaki (NECSpace) SAT2023-4 MICT2023-4 |
(To be available after the conference date) [more] |
SAT2023-4 MICT2023-4 pp.16-19 |
MSS, CAS, SIP, VLD |
2019-07-31 15:20 |
Iwate |
Iwate Univ. |
A Study on Reconstructibility of Event Structures Marika Izawa, Toshiyuki Miyamoto (Osaka Univ.) CAS2019-19 VLD2019-25 SIP2019-35 MSS2019-19 |
The choreography realization problem is a design problem of systems based on service-oriented architecture. In our previ... [more] |
CAS2019-19 VLD2019-25 SIP2019-35 MSS2019-19 pp.83-88 |
EE |
2019-01-16 16:05 |
Kumamoto |
KCIC |
[Special Talk]
Development of New Circuit Simulator in Energy Electronics
-- Introduction and Vision of SCALE Simulator -- Masatoshi Nakahara, Soichiro Nakamura (SEL) EE2018-47 |
This paper explains a new circuit simulator SCALE which is developed based on the previous simulator SCAT. SCALE enables... [more] |
EE2018-47 pp.55-60 |
VLD, HWS (Joint) |
2018-03-01 14:55 |
Okinawa |
Okinawa Seinen Kaikan |
Core allocation with mixed multirate tasks in model-based parallelization Yoshihiro Ikeda, Masato Edahiro (Nagoya Univ) VLD2017-114 |
In recent embedded systems, multi-core processors and parallel programming are introduced to improve performance.Also, l... [more] |
VLD2017-114 pp.151-156 |
VLD, HWS (Joint) |
2018-03-01 15:20 |
Okinawa |
Okinawa Seinen Kaikan |
Hardware/Software co-design environment in model-based parallelization (MBP) Kazuki Kashiwabara, Shinya Honda, Masato Edahiro (Nagoya Univ.) VLD2017-115 |
In recent years, while the complexity and high performance of in-vehicle systems are progressing, restrictions on time a... [more] |
VLD2017-115 pp.157-162 |
MSS, SS |
2017-01-26 13:30 |
Kyoto |
Kyoto Institute of Technology |
A Study on Realizability of Choreography Given by Two Communication Diagrams
-- A Study on a Case where Conflicts Exist Between Scenarios -- Toshiki Kinoshita, Toshiyuki Miyamoto (Osaka Univ.) MSS2016-61 SS2016-40 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model, ... [more] |
MSS2016-61 SS2016-40 pp.25-30 |
SS, MSS |
2016-01-25 10:20 |
Ishikawa |
Shiinoki-Geihin-Kan |
Choreography Realization by Re-constructible Decomposition of Acyclic Relations
-- A Study on Synthesizing Pareto Optimal State Machines -- Toshiyuki Miyamoto (Osaka Univ.) MSS2015-37 SS2015-46 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model,... [more] |
MSS2015-37 SS2015-46 pp.13-18 |
VLD, CPSY, RECONF, IPSJ-SLDM, IPSJ-ARC [detail] |
2016-01-21 15:45 |
Kanagawa |
Hiyoshi Campus, Keio University |
Search of Evaluation Function with Genetic Algorithm and UML Model-based Development for TRAX Player Ryo Tamaki, Naohiko Shimizu (Tokai Univ.) VLD2015-110 CPSY2015-142 RECONF2015-92 |
In this paper, We present the game tree search and the hardware design for the TRAX player. The TRAX player searches the... [more] |
VLD2015-110 CPSY2015-142 RECONF2015-92 pp.237-242 |
MSS, CAS, SIP, VLD |
2015-06-17 09:45 |
Hokkaido |
Otaru University of Commerce |
Choreography Realization by Re-constructible Decomposition of Acyclic Relations Toshiyuki Miyamoto (Osaka Univ.) CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model,... [more] |
CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 pp.7-12 |
MSS, CAS |
2012-11-02 09:55 |
Iwate |
Iwate University |
A Study on the Modeling and Analysis in Model-Based Development Yusuke Chiba, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Pref Univ.) CAS2012-58 MSS2012-38 |
In this paper, we considered an analytical method for UML models in the model based development. We attempted to transfo... [more] |
CAS2012-58 MSS2012-38 pp.47-51 |
KBSE, SS |
2012-07-28 14:50 |
Hokkaido |
Future University Hakodate |
A method to evaluate structure of Simulink model based on subsystem boundary information Takatoshi Kobayashi, Takashi Kobayashi (Nagoya Univ.), Takayuki Kubo (AISIN AW), Kiyoshi Agusa (Kyoto Univ.) SS2012-30 KBSE2012-32 |
{MATLAB/Simulink} is widely used in model based development of embedded software for the modeling and simulation of syst... [more] |
SS2012-30 KBSE2012-32 pp.121-126 |
SS |
2011-03-07 13:30 |
Okinawa |
Okinawa-ken Seinen Kaikan |
A Simulink to UML Model Transformation Tool with a Function to Generate Behavioral Models Masayoshi Tamura, Tatsuya Kamiyama, Takahiro Soeda, Myungryun Yoo, Takanori Yokoyama (TCU) SS2010-60 |
The paper presents a method and a tool to transform Simulink models into UML models of embedded control software. In the... [more] |
SS2010-60 pp.43-48 |
DE |
2007-07-02 13:30 |
Miyagi |
Akiu hot springs (Sendai) |
Model-based Delevelopment of a HMI Tool for Embedded Systems Yoshitaka Atarashi (HCX), Toshihiro Kujirai, Keiji Doi, Naohiko Fukaya (Hitachi), Takahiro Hara, Shojiro Nishio (Osaka Univ.) DE2007-22 |
Man-month of HMI development for embedded systems is increasing rapidly because a wide variety of functions are required... [more] |
DE2007-22 pp.1-6 |