http://www.ronpub.com/publications/search.php?journal=ALL&author=Kunio+Takahara&exactauthor=on&title=&abstract=&volume=&issue=&year1=&year2=&searchtype=advanced This feed contains the result of an user-defined search in RonPub publications en-us https://www.ronpub.com/ojis/OJIS_2015v2i2n05_Kushiro.html http://nbn-resolving.de/urn:nbn:de:101:1-201705194809 The design of cyber-physical systems (CPS) is a promising domain, where the data market is expected to soon penetrate. When engineers focus on only a particular part of data (whether intentionally or not) for establishing a design hypothesis, the design hypothesis may also be supported by data sets in the market. Therefore, the validity of such a design hypothesis cannot be evaluated by the data itself, and can only be accepted by the robustness of the logic behind the design argumentation. Although the validation of the design logic is significant, cognitive aspects (which people have spontaneously) disturb the design argumentation reasoning. Therefore, a design method that overcomes the cognitive aspects is indispensable for the CPS designers. This work proposes a CPS design method using the interaction between logic and data sets with a logic visualization tool, and applies the proposed method to the design of a diagnosis system for semiconductor manufacture. The capability of the proposed method is also discussed and analyzed in this paper.