研課題
J-GLOBAL ID:202104016802181580  研究課題コード:20343955

近似的数理モデルによるCPSの動的安全機構

体系的課題番号:JPMJAX200U
実施期間:2020 - 2022
実施機関 (1件):
研究代表者: ( , 大学院情報学研究科, 助教 )
DOI: https://doi.org/10.52926/JPMJAX200U
研究概要:
物理情報システムのシステマティックな品質保証手法(SafeCPS)には、厳密数理モデルに基づくSafeCPS1.0や探索的手法に基づくSafeCPS2.0がありますが、それぞれ実用性や安全性の説明(安心)に課題があります。本研究では近似数理モデルに対するSafeCPS1.0の数学的解析とSafeCPS2.0の探索的手法を組み合わせることで、実用性と安心の両立(SafeCPS3.0)を図ります。
タイトルに関連する用語 (2件):
タイトルに関連する用語
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
研究制度:
上位研究課題: 数理・情報のフロンティア
研究所管機関:
国立研究開発法人科学技術振興機構
報告書等:

前のページに戻る