サイバーフィジカルシステムの人的戦略の妥当性確認に向けたVDM++仕様に曖昧判断を記述する一手法
この論文をさがす
抄録
形式手法の一つである仕様記述言語VDM++を用いて,サイバーフィジカルシステム(CPS)を考慮した予約システムを考える.CPSでは,人と物が関係するフィジカル空間内のやり取りについて仕様を検討しなければならない.フィジカル空間内では,期限・制約が要求されることが多い.また,このようなフィジカル空間内でのやり取りでは,結果を2値で決定できるような明確な基準は定まっておらず,曖昧な判断を自然語で記述する場合がある.この曖昧判断の問題を解決するため, VDM++仕様記述にファジィ的なグレード写像群を埋め込む手法を提案する.
収録刊行物
-
- 第85回全国大会講演論文集
-
第85回全国大会講演論文集 2023 (1), 353-354, 2023-02-16
- Tweet
キーワード
詳細情報 詳細情報について
-
- CRID
- 1050298278493805184
-
- NII書誌ID
- AN00349328
-
- Web Site
- http://id.nii.ac.jp/1001/00229594/
-
- 本文言語コード
- ja
-
- 資料種別
- conference paper
-
- データソース種別
-
- IRDB