Kabushiki Kaisha Toshiba

Hideji Kawata

Tetsuo Hasegawa

Yusuke Endoh

Takeo Imai

Noritaka Kawakatsu

A variable is allocated to a statement that designates an event associated with a function call in an assertion. Generation of the event at an arbitrary time on a continuous time series is detected, and a value corresponding to a meaning of the statement is assigned to the variable. Whether or not a condition corresponding to the meaning of the statement is satisfied is determined based on the value of the variable at each time on a discrete time series.

Verification apparatus and verification method

A system and method for executing a plurality of programs for control of objects, in which states of the objects are first transmitted to the programs. The programs to which the states of the objects are transmitted are then independently executed. The executed results are evaluated, modified and then transmitted to the objects. Thereby the structure of the programs can be simplified, sequential development of the programs can be realized, and program maintenance can be facilitated. Further, a fault tolerance to bugs on software can be enhanced and perfect operation of the software functions can be realized.

System and method for independently executing plurality of programs for control of objects and recording medium in which the programs are recorded so as to execute independently plurality of programs for control of objects

Growing community of inventors

Akishima, Japan

Hideji Kawata