Patents by Inventor Hideji Kawata

Hideji Kawata has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Verification apparatus and verification method
    Patent number: 8578308
    Abstract: 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.
    Type: Grant
    Filed: June 27, 2008
    Date of Patent: November 5, 2013
    Assignee: Kabushiki Kaisha Toshiba
    Inventors: Yusuke Endoh, Takeo Imai, Hideji Kawata, Noritaka Kawakatsu
  • VERIFICATION APPARATUS AND VERIFICATION METHOD
    Publication number: 20090019406
    Abstract: 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.
    Type: Application
    Filed: June 27, 2008
    Publication date: January 15, 2009
    Inventors: Yusuke Endoh, Takeo Imai, Hideji Kawata, Noritaka Kawakatsu
  • 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
    Patent number: 6240439
    Abstract: 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.
    Type: Grant
    Filed: September 12, 1997
    Date of Patent: May 29, 2001
    Assignee: Kabushiki Kaisha Toshiba
    Inventors: Tetsuo Hasegawa, Hideji Kawata