Proj
J-GLOBAL ID:202104016802181580  Research Project code:20343955

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

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

Return to Previous Page