Patents by Inventor Yukihiro Mihara

Yukihiro Mihara 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).

  • System test apparatus for verifying operability
    Patent number: 5161115
    Abstract: A system test apparatus for verifying whether or not a tested system works according to particular specifications is disclosed. The system test apparatus comprises a storage device for storing the particular specifications as a finite state machine model including elements represented with time sections which may take place, a detecting device for periodically detecting operation information which represents an operation of the tested system as a combination of events and actions represented with the time sections which may take place and a verification device for comparing the operation information with the particular specifications stored in the storage device according to the finite state machine model. In the above finite state machine model, events, actions, and the like are represented with time sections which may take place.
    Type: Grant
    Filed: June 26, 1990
    Date of Patent: November 3, 1992
    Assignee: Kabushiki Kaisha Toshiba
    Inventors: Fumiaki Teshima, Katsuhiro Inoue, Kaoru Kurebayashi, Yukihiro Mihara, Takuya Kishimoto