Proj
J-GLOBAL ID：202104016802181580
Research Project code：20343955
近似的数理モデルによるCPSの動的安全機構
近似的数理モデルによるCPSの動的安全機構
National award number：JPMJAX200U
Study period：2020 - 2022
Organization (1)：
Principal investigator：
(
, 大学院情報学研究科, 助教 )
DOI：
https://doi.org/10.52926/JPMJAX200U
Research overview：
物理情報システムのシステマティックな品質保証手法(SafeCPS)には、厳密数理モデルに基づくSafeCPS1.0や探索的手法に基づくSafeCPS2.0がありますが、それぞれ実用性や安全性の説明(安心)に課題があります。本研究では近似数理モデルに対するSafeCPS1.0の数学的解析とSafeCPS2.0の探索的手法を組み合わせることで、実用性と安心の両立(SafeCPS3.0)を図ります。
Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
,
Research program：
＞
＞
Parent Research Project：
数理・情報のフロンティア
Organization with control over the research：
Japan Science and Technology Agency
