組込みシステムのための複数モデルの統合と設計検証の自動化

Persistent ID (NDL): info:ndljp/pid/12508485

Material type: 博士論文

Author: 新井, 正敏

Publisher: 埼玉大学大学院理工学研究科

Publication date: 2021

Material Format: Digital

Capacity, size, etc.: -

Name of awarding university/degree: 埼玉大学,博士(工学)

View All

Notes on use at the National Diet Library

本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii Dissertationsから、本文を自由に閲覧できる場合があります。

Notes on use

Note (General)：: type:text第 1 章　研究の背景と目的　3　1.1 組込みシステムのV 字プロセス. . . . . . . . . . . . . . . . . . . . . . 3　1.2 用語定義. . . . . . . . . . . . . . . . . . . . . . . . . ....

Search by Bookstore

Read this material in an accessible format.

View materials in accessible formats for people with print disabilities (1Type)

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

Saitama University Cyber Repository of Academic Resources
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
Saitama University Cyber Repository of Academic Resources

Search by Bookstore

Read in Disability Resources

Other Services
- テキストデータ check it on 国立国会図書館デジタルコレクション

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 博士論文
Title: 組込みシステムのための複数モデルの統合と設計検証の自動化
Author/Editor: 新井, 正敏
Author Heading: 新井, 正敏
Publication, Distribution, etc.: 埼玉大学大学院理工学研究科
Publication Date: 2021
Publication Date (W3CDTF): 2021
Degree grantor/type: 埼玉大学
Date Granted: 2021-09-22
Date Granted (W3CDTF): 2021-09-22
Dissertation Number: 乙第267号
Degree Type: 博士(工学)
Text Language Code: jpn
Target Audience: 一般
Note (General): type:text
第 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
指導教員 : 伊藤和人教授
DOI: 10.24561/00019673
https://doi.org/10.24561/00019673
Persistent ID (NDL): info:ndljp/pid/12508485
https://dl.ndl.go.jp/pid/12508485
Collection: 障害者向け資料
Collection (Materials For Handicapped People:1): テキストデータ
Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文
https://dl.ndl.go.jp/collections/A00014
Acquisition Basis: 博士論文（自動収集）
Date Accepted (W3CDTF): 2023-01-30T13:49:32+09:00
Format (IMT): application/pdf
Access Restrictions: 国立国会図書館内限定公開
Service for the Digitized Contents Transmission Service: 図書館・個人送信対象外
Availability of remote photoduplication service: 可
Periodical Title (URI): http://dx.doi.org/10.24561/00019673
http://id.nii.ac.jp/1586/00019673/
Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp