Authors:
Masamichi Kakeshita
1
;
Kenji Hisazumi
2
;
Yasutaka Michiura
3
;
Keita Sakemi
3
and
Michihiro Matsumoto
3
Affiliations:
1
Kyushu University, 744 Motooka, Nishi-ku, Fukuoka, 819-0395, Japan
;
2
Department of Electronic Information Systems, Faculty of Systems Science and Engineering, Shibaura Institute of Technology, 307 Fukasaku, Minuma-ku, Saitama-shi, Saitama, 337-8570, Japan
;
3
Japan Manned Space Systems Corporation, 8F, Otemachi Bldg., 1-6-1, Otemachi, Chiyoda-ku, Tokyo, 100-0004, Japan
Keyword(s):
Embedded System, Safety Analysis, MATLAB/Simulink, Functional Resonance Analysis Method.
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.
(More)