WEKO3
-
RootNode
アイテム
制御ソフトウェアの仕様整合性検証技術の調査と分析
https://ipsj.ixsq.nii.ac.jp/records/81076
https://ipsj.ixsq.nii.ac.jp/records/810761d1bcfe5-8418-4c61-9514-6d90f0516a34
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE12175010.pdf (564.3 kB)
|
Copyright (c) 2012 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-03-08 | |||||||
| タイトル | ||||||||
| タイトル | 制御ソフトウェアの仕様整合性検証技術の調査と分析 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Research on How to Verify Consistency between Specifications of Control Systems | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 仕様・測定 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 三菱電機株式会社 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Mitsubishi Electric Corporation | ||||||||
| 著者名 |
大貫, 智洋
× 大貫, 智洋
|
|||||||
| 著者名(英) |
Tomohiro, Onuki
× Tomohiro, Onuki
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 制御ソフトウェアの開発手法として，モデルベース開発の普及が進んでいる．モデルベース開発では実装コードを機械的に生成することが可能であるため，実装に誤りが混入する危険性は低い．その一方で，要求仕様や制御仕様の記述は人手により行っているため，誤りが混入しやすい．このような課題を解決するため，本論分では上流工程で仕様を正確に記述する手法について，調査・分析した．要求分析を正確に記述する手法，制御仕様を検証する手法についてまとめたのち，今後の課題を分析する． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Recently, Model-Based Development (MBD) is commonly adopted as a method of developing software for control systems. While MBD enables automatic code generation and prevents errors in the implementation process, requirements specifications and control specifications are still written by hand. This paper describes the result of my research on how to describe requirements specifications precisely and verify consistency between specifications. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2012-SE-175, 号 10, p. 1-8, 発行日 2012-03-08 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
