Patents by Inventor Mikiya YOSHIDA

Mikiya YOSHIDA 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).

  • Publication number: 20210136151
    Abstract: There is provided a control communication system in which when an abnormality occurs in a function provided by a control apparatus, the function where the abnormality has occurred is relocated to another control apparatus so that the continuity of the function is suppressed from being deteriorated. In a control communication system, in the case where an abnormality related to a monitoring subject service is detected, there is selected a relocation control apparatus to which the foregoing monitoring subject service is relocated from a control apparatus where the foregoing monitoring subject service is currently disposed; a software element and execution and communication manifests for the foregoing monitoring subject service are transferred to a service storage device of the relocation control apparatus and are stored therein.
    Type: Application
    Filed: August 11, 2020
    Publication date: May 6, 2021
    Applicant: Mitsubishi Electric Corporation
    Inventor: Mikiya YOSHIDA
  • Patent number: 10915427
    Abstract: An equivalence verification unit (130) judges through equivalence verification, for each of corresponding combinations which are each a combination of a function included in pre-change source code and a function included in post-change source code, whether the functions included in the corresponding combination are equivalent to each other. A partial verification judgment unit (150) judges, for each of inequivalent ones of the corresponding combinations, whether the corresponding combination is a partial verification combination including a function where an inequivalent path, in which an inequivalent function is called, and a non-inequivalent path, in which a non-inequivalent function is called, are both included. A partial verification unit (160) judges, for each of the partial verification combinations, whether the functions included in the partial verification combination are partially equivalent to each other by excluding the inequivalent path and performing the equivalence verification.
    Type: Grant
    Filed: February 22, 2017
    Date of Patent: February 9, 2021
    Assignee: MITSUBISHI ELECTRIC CORPORATION
    Inventors: Mikiya Yoshida, Makoto Isoda, Kazuki Yonemochi, Masuo Ito, Madoka Baba, Reiya Noguchi
  • Patent number: 10785259
    Abstract: The present invention provides a relay device including: a receiving unit that receives instructions; a fuzzing detection unit that detects an illegitimate instruction among the instructions received by the receiving unit; a disguised operation decision unit that decides a disguised operation corresponding to the illegitimate instruction detected by the fuzzing detection unit; and an instruction generation unit that generates an instruction corresponding to the disguised operation decided by the disguised operation decision unit.
    Type: Grant
    Filed: April 19, 2016
    Date of Patent: September 22, 2020
    Assignee: MITSUBISHI ELECTRIC CORPORATION
    Inventors: Yuta Wada, Masaaki Takeyasu, Daiki Kawakami, Mikiya Yoshida
  • Patent number: 10756879
    Abstract: A master control device connected to a plurality of slave control devices via a network is configured to include an own local time counted by a counter unit, in a message and transmit the message to the slave control devices by the timing synchronization unit, calculate a difference between a reception time of a message transmitted from the slave control device, which has received the message, at a timing corrected in accordance with the local time and a pre-calculated message reception predicted time by a timing synchronization determination unit, calculate a correction amount for timing of the slave control devices using the difference by a timing synchronization correction unit, add the correction amount to the local time, include the local time in a message, and transmit the message to the slave control devices.
    Type: Grant
    Filed: July 31, 2018
    Date of Patent: August 25, 2020
    Assignee: Mitsubishi Electric Corporation
    Inventors: Mikiya Yoshida, Kentaro Ishihara, Toshinori Matsui
  • Publication number: 20190370151
    Abstract: An equivalence verification unit (130) judges through equivalence verification, for each of corresponding combinations which are each a combination of a function included in pre-change source code and a function included in post-change source code, whether the functions included in the corresponding combination are equivalent to each other. A partial verification judgment unit (150) judges, for each of inequivalent ones of the corresponding combinations, whether the corresponding combination is a partial verification combination including a function where an inequivalent path, in which an inequivalent function is called, and a non-inequivalent path, in which a non-inequivalent function is called, are both included. A partial verification unit (160) judges, for each of the partial verification combinations, whether the functions included in the partial verification combination are partially equivalent to each other by excluding the inequivalent path and performing the equivalence verification.
    Type: Application
    Filed: February 22, 2017
    Publication date: December 5, 2019
    Applicant: MITSUBISHI ELECTRIC CORPORATION
    Inventors: Mikiya YOSHIDA, Makoto ISODA, Kazuki YONEMOCHI, Masuo ITO, Madoka BABA, Reiya NOGUCHI
  • Publication number: 20190222407
    Abstract: A master control device connected to a plurality of slave control devices via a network is configured to include an own local time counted by a counter unit, in a message and transmit the message to the slave control devices by the timing synchronization unit, calculate a difference between a reception time of a message transmitted from the slave control device, which has received the message, at a timing corrected in accordance with the local time and a pre-calculated message reception predicted time by a timing synchronization determination unit, calculate a correction amount for timing of the slave control devices using the difference by a timing synchronization correction unit, add the correction amount to the local time, include the local time in a message, and transmit the message to the slave control devices.
    Type: Application
    Filed: July 31, 2018
    Publication date: July 18, 2019
    Applicant: Mitsubishi Electric Corporation
    Inventors: Mikiya YOSHIDA, Kentaro ISHIHARA, Toshinori MATSUI
  • Publication number: 20190052674
    Abstract: The present invention provides a relay device including: a receiving unit that receives instructions; a fuzzing detection unit that detects an illegitimate instruction among the instructions received by the receiving unit; a disguised operation decision unit that decides a disguised operation corresponding to the illegitimate instruction detected by the fuzzing detection unit; and an instruction generation unit that generates an instruction corresponding to the disguised operation decided by the disguised operation decision unit.
    Type: Application
    Filed: April 19, 2016
    Publication date: February 14, 2019
    Applicant: MITSUBISHI ELECTRIC CORPORATION
    Inventors: Yuta WADA, Masaaki TAKEYASU, Daiki KAWAKAMI, Mikiya YOSHIDA