Keyword : model-based development

A Study on Re-Constructibility of Event Structures
Marika IZAWA Toshiyuki MIYAMOTO 
Publication:   
Publication Date: 2020/08/01
Vol. E103-D  No. 8 ; pp. 1810-1813
Type of Manuscript:  Special Section LETTER (Special Section on Formal Approaches)
Category: Formal Approaches
Keyword: 
SOA, model-based development, event structure, re-constructibility, choreography realization problem, 
 Summary | Full Text:PDF
Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models
Takashi TOMITA Daisuke ISHII Toru MURAKAMI Shigeki TAKEUCHI Toshiaki AOKI 
Publication:   
Publication Date: 2020/02/01
Vol. E103-A  No. 2 ; pp. 451-461
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
model-based development, MATLAB/Simulink, test case generation, Monte-Carlo method, template-based method, 
 Summary | Full Text:PDF
A Log-Based Testing Approach for Detecting Faults Caused by Incorrect Assumptions About the Environment
Sooyong JEONG Ajay Kumar JHA Youngsul SHIN Woo Jin LEE 
Publication:   
Publication Date: 2020/01/01
Vol. E103-D  No. 1 ; pp. 170-173
Type of Manuscript:  LETTER
Category: Software Engineering
Keyword: 
log-based testing, model-based development, incorrect assumptions, fault detection, 
 Summary | Full Text:PDF
Realizability of Choreography Given by Two Scenarios
Toshiki KINOSHITA Toshiyuki MIYAMOTO 
Publication:   
Publication Date: 2018/02/01
Vol. E101-A  No. 2 ; pp. 345-356
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
SOA, model-based development, communication diagram, state machine, choreography realization problem, 
 Summary | Full Text:PDF
Choreography Realization by Re-Constructible Decomposition of Acyclic Relations
Toshiyuki MIYAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/06/01
Vol. E99-D  No. 6 ; pp. 1420-1427
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Methods
Keyword: 
SOA, model-based development, communication diagram, state machine, choreography realization problem, 
 Summary | Full Text:PDF
CPU Model-Based Mechatronics/Hardware/Software Co-design Technology for Real-Time Embedded Control Systems
Makoto ISHIKAWA George SAIKALIS Shigeru OHO 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 2007/10/01
Vol. E90-C  No. 10 ; pp. 1992-2001
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Technology toward Frontiers of New Market)
Category: VLSI Design Technology
Keyword: 
model-based development, CPU model-based hardware/software co-design, real-time embedded control systems, SH-2A, CoMET, 
 Summary | Full Text:PDF