• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Mathematical foundations for the reconfiguration paradigm

Research Project

Project/Area Number 20K03718
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 12030:Basic mathematics-related
Research InstitutionKyushu University

Principal Investigator

GAINA Daniel  九州大学, マス・フォア・インダストリ研究所, 助教 (80595778)

Co-Investigator(Kenkyū-buntansha) 溝口 佳寛  九州大学, マス・フォア・インダストリ研究所, 教授 (80209783)
Project Period (FY) 2020-04-01 – 2024-03-31
Project Status Granted (Fiscal Year 2020)
Budget Amount *help
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2023: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2022: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2021: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2020: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Keywordshybrid logic / model theory / proof theory / algebraic specification / universal logic
Outline of Research at the Start

Very often the operation of reconfigurable systems is safety-critical: any malfunction may result in the serious injury to people. The safety requirements can be fulfilled only by applying formal methods. The purpose of this project is to provide a solid logic-based foundation for developing a formal method to describe reconfigurable systems and to reason formally about their properties.

URL: 

Published: 2020-04-28   Modified: 2020-08-26  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi