Electronics and Telecommunications Research Institute

Chae Deok Lim

Taeho Kim

Dong Wook Kang

Seung Min Park

Jeong Si Kim

Chang Min Shin

Tae Ho Kim

Jin Ah Shin

Disclosed are an airplane system including duplex modules, and a control method thereof. The control method of the airplane system includes: receiving, by each of a plurality of duplex modules, a corresponding event command from a client; performing, by a first module, a first event specified by the event command in response to the event command; performing, by a second module different from the first module, a second event specified by the event command after the first event is completed; and returning a first response signal indicating a result of the performance of the first event and a second response signal indicating a result of the performance of the second event to the client, in which the client compares the first response signal and the second response signal, and determines whether the plurality of duplex modules is synchronized or has an error.

Airplane system and control method thereof

A cyber-physical system and a method of monitoring a virtual machine thereof are provided. The cyber-physical system includes a plurality of target controllers that includes middleware operating based on different operating systems and that control different targets, and a system monitor that includes integrated middleware of analyzing and synthesizing information collected from the middleware. First virtual machines corresponding to virtualization of the target controllers and a second virtual machine corresponding to virtualization of the system monitor are independently formed through a virtual machine monitor.

Cyber-physical system and method of monitoring virtual machine thereof

A data input method of a NAND flash memory includes: determining whether a size of a writing-requested data is less than a reference value; calculating an error correction code (ECC) for the data using a software ECC method when the data size is less than the reference value; and writing the data and the ECC to a data region of the NAND flash memory. A data output method of the NAND flash memory includes: determining whether a size of a reading-requested data is less than a reference value; reading the data and an error correction code (ECC) from the NAND flash memory; calculating an ECC for the read data using a software ECC method when the data size is less than the reference value; and performing an error detection and correction by comparing the calculated ECC and the read ECC.

Data input and output method of NAND flash memory and embedded system using the same

A host system having a device driver development tool and a target system having a device driver agent, the tool and the target system separated from each other and interconnected with a communication network. The driver agent device communicates with the target system, receiving and processing various service requests from the device driver development tool, and transmits the processed services to the host system through the communication network. Thr driver agent determines types of the services requested from the device driver development tool and performs services based on the types of the services determined. Accordingly, the device driver can be adapted to the target system and tested without complex procedures to effectively reduce time and manpower needed for the device driver development.

Growing community of inventors

Daejeon, South Korea

Chae Deok Lim