A System Design Method Based on Interaction between Logic and Data Sets

A design of cyber physical system is one of the promising domains, where the market of data is expected to penetrate. However, there are risks that any design hypotheses might be supported with data sets in the market, when engineers focus on a particular part of the data intentionally or accidentally. Because, the data sets, especially big data, include diverse kinds of variables to mislead reasoning of the design hypotheses. The validity could not be estimated by the data themselves but could be confirmed only by robustness of the logic behind the design argumentation. In this paper, we propose a system design method with data sets in the market and apply the proposed method to design process for a diagnosis system for semiconductor equipment.