{"created":"2023-05-15T15:29:50.667593+00:00","id":19704,"links":{},"metadata":{"_buckets":{"deposit":"5835f5cd-9ac8-4fbb-af18-4516d51098cf"},"_deposit":{"created_by":15,"id":"19704","owners":[15],"pid":{"revision_id":0,"type":"depid","value":"19704"},"status":"published"},"_oai":{"id":"oai:sucra.repo.nii.ac.jp:00019704","sets":["94:429:431:432:1028"]},"author_link":[],"item_113_biblio_info_9":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2021","bibliographicIssueDateType":"Issued"}}]},"item_113_date_35":{"attribute_name":"作成日","attribute_value_mlt":[{"subitem_date_issued_datetime":"2022-10-07","subitem_date_issued_type":"Created"}]},"item_113_date_granted_20":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2021-09-22"}]},"item_113_degree_grantor_22":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_name":"埼玉大学"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"12401","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_113_degree_name_21":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士(工学)"}]},"item_113_description_13":{"attribute_name":"形態","attribute_value_mlt":[{"subitem_description":"74p","subitem_description_type":"Other"}]},"item_113_description_24":{"attribute_name":"目次","attribute_value_mlt":[{"subitem_description":"第 1 章　研究の背景と目的　3\n　1.1 組込みシステムのV 字プロセス. . . . . . . . . . . . . . . . . . . . . . 3\n　1.2 用語定義. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4\n　1.3 モデルベースによる設計検証. . . . . . . . . . . . . . . . . . . . . . . 5\n　1.4 開発効率向上の課題と本研究の目的. . . . . . . . . . . . . . . . . . . . 7\n\n第 2 章　複数モデルの統合　11\n　2.1 設計プロセスの課題と複数モデルの統合. . . . . . . . . . . . . . . . . . 11\n　2.2 UML とSimulink モデル統合の他研究. . . . . . . . . . . . . . . . . . 14\n　2.3 Simulink モデルから実機実装する他研究. . . . . . . . . . . . . . . . . 15\n　2.4 本研究の複数モデル自動統合システムの概要. . . . . . . . . . . . . . . 15\n　2.5 複数モデル自動統合システムの実現. . . . . . . . . . . . . . . . . . . . 17\n　2.6 複数モデル統合の動作確認. . . . . . . . . . . . . . . . . . . . . . . . . 24\n\n第 3 章　組込みシステムのソフトウェア設計検証の自動化　31\n　3.1 物理部品単体のソフトウェア自動検証. . . . . . . . . . . . . . . . . . . 32\n　3.2 物理部品と制御部品のソフトウェア自動検証. . . . . . . . . . . . . . . 34\n　3.3 経年劣化の現象特定と検証からの設計見直し. . . . . . . . . . . . . . . 35\n　3.4 自動設計に関する他研究との比較. . . . . . . . . . . . . . . . . . . . . 37\n\n第 4 章　GUI 設計の自動化と効率向上　39\n　4.1 GUI 設計の現状と課題. . . . . . . . . . . . . . . . . . . . . . . . . . . 40\n　4.2 ロジックモデル設計とGUI モデル設計. . . . . . . . . . . . . . . . . . 40\n　4.3 GUI モデル設計の自動化. . . . . . . . . . . . . . . . . . . . . . . . . 43\n　4.4 アレンジメント機能. . . . . . . . . . . . . . . . . . . . . . . . . . . . 45\n　4.5 ローカライズ機能. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49\n　4.6 チェック機能. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50\n　4.7 GUI 設計自動化による効率. . . . . . . . . . . . . . . . . . . . . . . . 53\n\n第 5 章　GUI 検証の自動化と効率向上　56\n　5.1 GUI 検証の課題. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57\n　5.2 GUI 検証の他研究・商用動向. . . . . . . . . . . . . . . . . . . . . . . 57\n　5.3 公差を含むGUI 検証の自動化. . . . . . . . . . . . . . . . . . . . . . . 59\n　5.4 自動検証式の適用. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60\n　5.5 自動検証式の提案と証明. . . . . . . . . . . . . . . . . . . . . . . . . . 64\n\n第 6 章　まとめ　69\n　6.1 複数モデルの自動統合と成果. . . . . . . . . . . . . . . . . . . . . . . 69\n　6.2 今後の取り組み. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71\n\n参考文献　73","subitem_description_type":"Other"}]},"item_113_description_25":{"attribute_name":"注記","attribute_value_mlt":[{"subitem_description":"指導教員 : 伊藤和人教授","subitem_description_type":"Other"}]},"item_113_description_33":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"subitem_description":"text","subitem_description_type":"Other"}]},"item_113_description_34":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_113_dissertation_number_19":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"乙第267号"}]},"item_113_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.24561/00019673","subitem_identifier_reg_type":"JaLC"}]},"item_113_publisher_11":{"attribute_name":"出版者名","attribute_value_mlt":[{"subitem_publisher":"埼玉大学大学院理工学研究科"}]},"item_113_publisher_12":{"attribute_name":"出版者名（別言語）","attribute_value_mlt":[{"subitem_publisher":"Graduate School of Science and Engineering, Saitama University"}]},"item_113_record_name_8":{"attribute_name":"書誌","attribute_value_mlt":[{"subitem_record_name":"博士論文（埼玉大学大学院理工学研究科（博士後期課程））"}]},"item_113_text_31":{"attribute_name":"版","attribute_value_mlt":[{"subitem_text_value":"[出版社版]"}]},"item_113_text_36":{"attribute_name":"アイテムID","attribute_value_mlt":[{"subitem_text_value":"GD0001360"}]},"item_113_version_type_32":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"新井, 正敏","creatorNameLang":"ja"},{"creatorName":"アライ, マサトシ","creatorNameLang":"ja-Kana"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2022-10-07"}],"displaytype":"detail","filename":"GD0001360.pdf","filesize":[{"value":"3.9 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"GD0001360.pdf","objectType":"fulltext","url":"https://sucra.repo.nii.ac.jp/record/19704/files/GD0001360.pdf"},"version_id":"41efabac-a3e4-4cfa-b631-e899e1a99f90"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"doctoral thesis","resourceuri":"http://purl.org/coar/resource_type/c_db06"}]},"item_title":"組込みシステムのための複数モデルの統合と設計検証の自動化","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"組込みシステムのための複数モデルの統合と設計検証の自動化","subitem_title_language":"ja"}]},"item_type_id":"113","owner":"15","path":["1028"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2022-10-07"},"publish_date":"2022-10-07","publish_status":"0","recid":"19704","relation_version_is_last":true,"title":["組込みシステムのための複数モデルの統合と設計検証の自動化"],"weko_creator_id":"15","weko_shared_id":-1},"updated":"2023-06-19T07:20:13.246496+00:00"}