Mitsubishi Electric Corporation

Makoto Isoda

Masuo Ito

Shigekazu Okamura

Madoka Baba

Mikiya Yoshida

Hirohito Nishiyama

Daisuke Tanimoto

Tatsunori Tsujimura

Reiya Noguchi

Shuichiro Senda

Kazuki Yonemochi

An equivalence verification unit () 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 () 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 () 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.

Equivalence verification apparatus and computer readable medium

Control information from a plurality of applicationsis written into a shared memoryas needed. A communication parttransmits the control information written in the shared memoryto a DHMin each transmission cycle which is constant. In a management table, a plurality of allowable delay times is defined, the allowable delay time being a delay time allowable at an urgent transmission of the control information. A transmission timing notification partdivides a transmission cycle into time slots each of which is equal to or shorter than the shortest allowable delay time defined in the management table. The communication parttransmits the control information in the shared memoryto the DHMbefore arrival of the transmission cycle, in a unit of time slot.

Communication apparatus, control apparatus, and program

Growing community of inventors

Tokyo, Japan

Makoto Isoda