Conversion Method of MATLAB/Simulink Model for a Functional Resonance Analysis Method-based Model

Masamichi Kakeshita, Kenji Hisazumi, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto

2022

Abstract

In recent years, model-based development (MBD) has become popular in control-embedded systems, and development specifications are being written using MATLAB/Simulink and other tools. The functional resonance analysis method (FRAM) is used for safety analysis of socio-technical systems. It is used to foster success factors without being trapped in failures. Application of FRAM to MBD models is expected to improve the quality of MBD models from a new perspective; however, an approach for the application of FRAM to MBD has not been established yet. Therefore, in this study, we proposed a method to convert MATLAB/Simulink models into FRAM models. Consequently, the application of the proposed method to the Simulink model led to an improvement through creation and analysis of the FRAM model. In contrast, there are certain scenarios that can occur in the Simulink model that are not represented in the completed FRAM model, as the FRAM model only represents the interactions inside the system, which makes it difficult to thoroughly analyze the system with respect to external influences. Our future work shall include a further study on how to represent information when converting MATLAB/Simulink models to FRAM models and further applying the method to Simulink models that users can directly modify.

Paper Citation

in Harvard Style

Kakeshita M., Hisazumi K., Michiura Y., Sakemi K. and Matsumoto M. (2022). Conversion Method of MATLAB/Simulink Model for a Functional Resonance Analysis Method-based Model. In Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-550-0, pages 234-241. DOI: 10.5220/0010845600003119

in Bibtex Style

@conference{modelsward22,
author={Masamichi Kakeshita and Kenji Hisazumi and Yasutaka Michiura and Keita Sakemi and Michihiro Matsumoto},
title={Conversion Method of MATLAB/Simulink Model for a Functional Resonance Analysis Method-based Model},
booktitle={Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2022},
pages={234-241},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010845600003119},
isbn={978-989-758-550-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Conversion Method of MATLAB/Simulink Model for a Functional Resonance Analysis Method-based Model
SN - 978-989-758-550-0
AU - Kakeshita M.
AU - Hisazumi K.
AU - Michiura Y.
AU - Sakemi K.
AU - Matsumoto M.
PY - 2022
SP - 234
EP - 241
DO - 10.5220/0010845600003119