Research Director: Ichiro HASUO
(Professor, Information Systems Architecture Science Research Division, National Institute of Informatics)
Research Term: Oct 2016 - Mar 2025
Grant Number: JPMJER1603

ICT is changing the landscape of manufacturing with pervasive automation and computer support in design and production processes. Our project aims to leverage techniques from software science—specifically the body of mathematical techniques called formal methods—in manufacturing, eventually leading to software tools that support various stages of design processes.

In doing so we face the challenge of modeling, that is, the difficulty of accommodating massive systems with black-box components and uncertainties in logically rigorous frameworks. Here we need the “top-down” use of formal logic that, unlike the conventional “bottom-up” use that stacks up verified facts only, decomposes quality/safety goals into smaller assumptions that are easier to assert, check, and enforce.

In the Additional Research Period, we will pursue this new use of logic, joining forces with statistical and empirical methodologies. Our characteristic emphasis on abstract (meta)theories will boost this interdisciplinary pursuit. Our project strives to be a hub for comprehensive software research, connecting academia and industry. Our strategic application domain is automated driving.

Research Groups

・Metamathematical Integration
・Trust in Software and Systems