Program generation apparatus and program generation method

Program generation circuitry configured to control a target to be controlled, the program generation apparatus comprising:

• at least one processor to execute a program;
• and
• at least one memory to store the program which, when it is executed by the processor, performs processes of:
• converting design information into a model, the design information at least including a plurality of states of a device constituting the target to be controlled, respective relationships between signals input and output between the target to be controlled and the at least one processor and the plurality of states of the device, and time required for each of changes of the plurality of states of the device, the model at least including a state set being a set of the plurality of states of the device, an input set being a set of the signals input from the at least one processor to the target to be controlled, a transition function being a function representing transitions between the plurality of states of the device included in the state set, the transitions being caused due to the signals input to the target to be controlled, and time required for each of the transitions represented by the transition function;
• deriving a control law for respectively associating the plurality of states of the device and the signals input from the at least one processor to the target to be controlled, based on a requirements specification including a specification related to the time required for each of the transitions of the plurality of states of the device and the model, so as to satisfy the requirements specification;
• inputting a threshold for limiting the number of times of the transitions of the plurality of states of the device, wherein
• the deriving includes deriving the control law to limit the number of transitions of the plurality of states to not exceed the threshold;
• generating the program, based on the control law;
• and
• executing the generated program in the at least one processor to control the target to be controlled.