@phdthesis{oai:sucra.repo.nii.ac.jp:00019704,
 author = {新井, 正敏},
 month = {},
 note = {74p, 第 1 章　研究の背景と目的　3
　1.1 組込みシステムのV 字プロセス. . . . . . . . . . . . . . . . . . . . . . 3
　1.2 用語定義. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
　1.3 モデルベースによる設計検証. . . . . . . . . . . . . . . . . . . . . . . 5
　1.4 開発効率向上の課題と本研究の目的. . . . . . . . . . . . . . . . . . . . 7

第 2 章　複数モデルの統合　11
　2.1 設計プロセスの課題と複数モデルの統合. . . . . . . . . . . . . . . . . . 11
　2.2 UML とSimulink モデル統合の他研究. . . . . . . . . . . . . . . . . . 14
　2.3 Simulink モデルから実機実装する他研究. . . . . . . . . . . . . . . . . 15
　2.4 本研究の複数モデル自動統合システムの概要. . . . . . . . . . . . . . . 15
　2.5 複数モデル自動統合システムの実現. . . . . . . . . . . . . . . . . . . . 17
　2.6 複数モデル統合の動作確認. . . . . . . . . . . . . . . . . . . . . . . . . 24

第 3 章　組込みシステムのソフトウェア設計検証の自動化　31
　3.1 物理部品単体のソフトウェア自動検証. . . . . . . . . . . . . . . . . . . 32
　3.2 物理部品と制御部品のソフトウェア自動検証. . . . . . . . . . . . . . . 34
　3.3 経年劣化の現象特定と検証からの設計見直し. . . . . . . . . . . . . . . 35
　3.4 自動設計に関する他研究との比較. . . . . . . . . . . . . . . . . . . . . 37

第 4 章　GUI 設計の自動化と効率向上　39
　4.1 GUI 設計の現状と課題. . . . . . . . . . . . . . . . . . . . . . . . . . . 40
　4.2 ロジックモデル設計とGUI モデル設計. . . . . . . . . . . . . . . . . . 40
　4.3 GUI モデル設計の自動化. . . . . . . . . . . . . . . . . . . . . . . . . 43
　4.4 アレンジメント機能. . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
　4.5 ローカライズ機能. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
　4.6 チェック機能. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
　4.7 GUI 設計自動化による効率. . . . . . . . . . . . . . . . . . . . . . . . 53

第 5 章　GUI 検証の自動化と効率向上　56
　5.1 GUI 検証の課題. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
　5.2 GUI 検証の他研究・商用動向. . . . . . . . . . . . . . . . . . . . . . . 57
　5.3 公差を含むGUI 検証の自動化. . . . . . . . . . . . . . . . . . . . . . . 59
　5.4 自動検証式の適用. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
　5.5 自動検証式の提案と証明. . . . . . . . . . . . . . . . . . . . . . . . . . 64

第 6 章　まとめ　69
　6.1 複数モデルの自動統合と成果. . . . . . . . . . . . . . . . . . . . . . . 69
　6.2 今後の取り組み. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71

参考文献　73, 指導教員 : 伊藤和人教授, text, application/pdf},
 school = {埼玉大学},
 title = {組込みシステムのための複数モデルの統合と設計検証の自動化},
 year = {2021},
 yomi = {アライ, マサトシ}
}