Mitsubishi Heavy Industries Technical Review
    Vol. 59 No. 1 (2022)   New Products & Technologies
    Technical Papers

    Automated Parameter Synthesis by Falsification Technique

    ATSUYOSHI SAIMEN
    KENJI TAKAO
    ICHIRO HASUO

    Falsification technology expresses complicated requirements with a temporal logic formula and then searches for input patterns and operating conditions that do not satisfy the requirements using a simulator and an optimization solver. When applying this technology, there are issues of it being impossible to search for design parameters that meet multiple requirements at the same time and it being impossible to handle both quantity and time requirements such as in cases where both amount and time by which and for which the threshold is violated should be smaller. Mitsubishi Heavy Industries, Ltd worked on these issues in a joint research project with the National Institute of Informatics and as a result developed a method that can search for design parameters comparable to human design in a short time. As an application case, this method was used in the design of fuel control parameters when gas turbine load is shut off and this report presents the developed method.