Abstract: Operating efficiency of a target to be controlled is enhanced, and a degree of freedom in converting a language of a program is enhanced. A program generation apparatus includes: a design information conversion unit that converts design information, which includes a plurality of states of a device, relationships between signals and the states of the device, and time required for changes of the states of the device, into a model, which includes a state set, an input set, a transition function, and time required for transitions; a control law derivation unit that derives a control law, based on a requirements specification including a specification related to the time required for the transitions and the model, so as to satisfy the requirements specification; and a program generation unit that generates a program, based on the control law.

Abstract: The QoS levels of multiple tasks are maintained at equal levels by executing items of the tasks stored in a queue during a given time interval at respectively adaptively controlled CPU utilization rates. The QoS levels of the executed items are detected and evaluated. The CPU utilization rates are updated with respective differences between a target value and the evaluated QoS levels. A difference is detected between each of the evaluated QoS levels obtained during a previous time interval and each of the evaluated QoS levels obtained during a current time interval and the detected difference is compared to a predetermined value. During a subsequent time interval, the previously stored items of the queue are replaced with new items of the tasks if the difference is smaller than the predetermined value and the previously stored items are executed again with the updated CPU utilization rates if the difference is greater than predetermined value.