WEKO3
アイテム
{"_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": ["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", "download_preview_message": "", "file_order": 0, "filename": "GD0001360.pdf", "filesize": [{"value": "3.9 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 3900000.0, "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"], "permalink_uri": "https://doi.org/10.24561/00019673", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2022-10-07"}, "publish_date": "2022-10-07", "publish_status": "0", "recid": "19704", "relation": {}, "relation_version_is_last": true, "title": ["組込みシステムのための複数モデルの統合と設計検証の自動化"], "weko_shared_id": -1}
組込みシステムのための複数モデルの統合と設計検証の自動化
https://doi.org/10.24561/00019673
https://doi.org/10.24561/000196738b03d697-8c9f-4f0f-9763-2cdb8786b6aa
名前 / ファイル | ライセンス | アクション |
---|---|---|
GD0001360.pdf (3.9 MB)
|
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2022-10-07 | |||||||||
タイトル | ||||||||||
言語 | ja | |||||||||
タイトル | 組込みシステムのための複数モデルの統合と設計検証の自動化 | |||||||||
言語 | ||||||||||
言語 | jpn | |||||||||
資源タイプ | ||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||||||
資源タイプ | doctoral thesis | |||||||||
ID登録 | ||||||||||
ID登録 | 10.24561/00019673 | |||||||||
ID登録タイプ | JaLC | |||||||||
アクセス権 | ||||||||||
アクセス権 | open access | |||||||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||||
著者 |
新井, 正敏
× 新井, 正敏
|
|||||||||
書誌 | ||||||||||
収録物名 | 博士論文(埼玉大学大学院理工学研究科(博士後期課程)) | |||||||||
書誌情報 |
発行日 2021 |
|||||||||
出版者名 | ||||||||||
出版者 | 埼玉大学大学院理工学研究科 | |||||||||
出版者名(別言語) | ||||||||||
出版者 | Graduate School of Science and Engineering, Saitama University | |||||||||
形態 | ||||||||||
内容記述タイプ | Other | |||||||||
内容記述 | 74p | |||||||||
学位授与番号 | ||||||||||
学位授与番号 | 乙第267号 | |||||||||
学位授与年月日 | ||||||||||
学位授与年月日 | 2021-09-22 | |||||||||
学位名 | ||||||||||
学位名 | 博士(工学) | |||||||||
学位授与機関 | ||||||||||
学位授与機関識別子Scheme | kakenhi | |||||||||
学位授与機関識別子 | 12401 | |||||||||
学位授与機関名 | 埼玉大学 | |||||||||
目次 | ||||||||||
内容記述タイプ | Other | |||||||||
内容記述 | 第 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 |
|||||||||
注記 | ||||||||||
内容記述タイプ | Other | |||||||||
内容記述 | 指導教員 : 伊藤和人教授 | |||||||||
版 | ||||||||||
[出版社版] | ||||||||||
著者版フラグ | ||||||||||
出版タイプ | VoR | |||||||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||
資源タイプ | ||||||||||
内容記述タイプ | Other | |||||||||
内容記述 | text | |||||||||
フォーマット | ||||||||||
内容記述タイプ | Other | |||||||||
内容記述 | application/pdf | |||||||||
作成日 | ||||||||||
日付 | 2022-10-07 | |||||||||
日付タイプ | Created | |||||||||
アイテムID | ||||||||||
GD0001360 |