@techreport{oai:ipsj.ixsq.nii.ac.jp:00203278,
 author = {掛下, 真通 and 久住, 憲嗣 and 道浦, 康貴 and 酒見, 慶太 and 松本, 充広 and 安藤, 崇央 and 福田, 晃},
 issue = {44},
 month = {Feb},
 note = {近年制御系組込みシステムにおいてモデルベース開発（MBD: Model Based Development）の普及が進み，MATLAB/Simulink 等によって開発仕様書が記述され，曖昧な記述を排除できるようになった．機能共鳴分析手法（FRAM: Functional Resonance Analysis Method）は，社会技術システムにおける安全分析手法の一種である．機能の変動に注目したモデルを作成し分析を行うことで，失敗に囚われず成功要因を育てることもできる分析を実施できる．このように新たな設計技術と分析手法が台頭しつつあるが，MBD の開発仕様書に FRAM を適用するには様々な課題が存在するため MBD における FRAM の明確な適用手法は未だに確立されていない．そこで本研究は MATLAB/Simulink モデルの FRAM モデルへの変換手法を提案する．MATLAB/Simulink モデルにおける FRAM モデルの機能同定方法や機能の側面の同定基準を明確にすることで FRAM モデルへ変換できるようにする．},
 title = {MATLAB/SimulinkモデルのFRAMモデルへの変換手法},
 year = {2020}
}