• Proceedings of the IEEK Conference
• /
• summer
• /
• pp.281-284
• /
• 2004

In this paper, a verification method and model for a PCI-Express device are described. PCI-Express technology is one of new I/O interconnection technologies which is intended to replace conventional PCI based technology, and is introduced by PCI-SIG in 2002. For a fast prototyping, a verification suite which includes a behavioral model and stimuli is needed before actual design is finished. And also it should be simple in structure and accurate enough to verify the design. In this paper, an Early Verification Suite (EVS) which complies with PCI-Express protocol is developed and tested.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.3
• /
• pp.23-32
• /
• 2013

As the mobile communication technology is developed, the services for communication between the mobile devices are provided, and the amount of usage is increasing tremendously. For the device-to-device communication, the device should be verified if it is a service member. The existing verification schemes include interactions with the third party, while this may cause the problems that the bandwidth is dissipated and the devices which are out of the communication range of the base station cannot communicate with other devices. To solve such problems, we propose a new scheme for verification between mobile devices without interaction of third party. For the proposed scheme, we develop and employ a new zero-knowledge proof protocol, which verifies the device's membership and its expiration time. Furthermore, the scheme guarantees privacy of the mobile device since it checks the encrypted verification message without decrypting, and protects replaying attack since it uses challenge-response method.

• Current Optics and Photonics
• /
• v.1 no.5
• /
• pp.500-504
• /
• 2017

In this paper, we developed a temperature measurement system based on an infrared temperature imaging module for thermal safety verification of a plasma skin treatment device (PSTD). We tested a pilot product of the low-temperature PSTD using the system, and the temperature increase of each plasma torch was well-monitored in real-time. Additionally, through the approximation of the temperature increase of the plasma torches, a certain limitation of the plasma treatment time on skin was established with the International Electrotechnical Commission (IEC) guideline. We determined an appropriate plasma treatment time ($T_{Safe}$ < 24 minutes) using the configured temperature measurement system. We believe that the temperature measurement system has a potential to be employed for testing thermal safety and suitability of various medical devices and industrial instruments.

• Proceedings of the IEEK Conference
• /
• 2003.11b
• /
• pp.167-170
• /
• 2003

In this paper, a design and experiment of PCI Express Core verification Model is described. The model targeting Endpoint core verification is designed by using newly-emerging SystemC which is a system design language based on a new C++ class library and simulation engine. In the verification model, we developed a SystemC Host System model which act as a Root Complex and Device Driver dedicated to the PCI Express Endpoint RTL Core. The test of Host System Model is guided by scenarios which implements and acts point of Device Driver and Root Complex and shows the result of simulation. Also, We present the full structure of verification model and Host model.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.19 no.2
• /
• pp.145-154
• /
• 2016

In this paper, a pneumatic device for the deployment performance verification of canards deployed by inertia has been designed and the performance of the pneumatic device has been proven through analysis and tests. The pneumatic conveying process, orifice opening process and piston movement process of the pneumatic device were investigated by using numerical methods. The orifice diameter, pressure in a pressure tank and type of gas were regarded as the main design parameters of the pneumatic device. The error rate between analysis and test results under the same conditions was within 4 %. The accuracy of numerical methods used in this study were validated.

• Journal of the Korea Society of Computer and Information
• /
• v.23 no.11
• /
• pp.67-74
• /
• 2018

The verification for the design limit margin of the power device for the information communication and surveillance systems using HALT(Highly Accelerated Life Test) reliability test is described. The HALT reliability test performs with a step stress method which change condition until the marginal step in a design and development phase. The HALT test methods are the low temperature(cold) step stress test, the high temperature(hot) step stress test, the thermal shock cyclic stess test, and the high temperature destruct limit(hot DL) step stress test. The power device is checked the operating performance during the test. In this paper, the HALT was performed to find out the design limit margin of the power device.

• The KIPS Transactions:PartA
• /
• v.12A no.6 s.96
• /
• pp.523-530
• /
• 2005

When a PCI 2.2 bus master requests data using Memory Read command, a target device may hold PCI bus without data to be transferred for long time because a target device needs time to prepare data infernally. Because the usage efficiency of the PCI bus and the data transfer efficiency are decreased due to this situation, the PCI specification recommends to use the Delayed Transaction mechanism to improve the system performance. But the mechanism cann't fully improve performance because a target device doesn't know the exact size of prefetched data. In the previous work, we propose a new method called Prefetch Request when a bus master intends to read data from the target device. In this paper, we design PCI 2.2 controller and local device that support the proposed method. The designed PCI 2.2 controller has simple local interface and it is used to convert the PCI protocol into the local protocol. So the typical users, who don't know the PCI protocol, can easily design the PCI target device using the proposed PCI controller. We propose the basic behavioral verification, hardware design verification, and random test verification to verify the designed hardware. We also build the test bench and define assembler instructions. And we propose random testing environment, which consist of reference model, random generator ,and compare engine, to efficiently verify corner case. This verification environment is excellent to find error which is not detected by general test vector. Also, the simulation under the proposed test environment shows that the proposed method has the higher data transfer efficiency than the Delayed Transaction about $9\%$.

• Journal of Korea Multimedia Society
• /
• v.22 no.4
• /
• pp.463-471
• /
• 2019

The growth of mobile technology particularly smartphone applications such as ticketing, access control, and making payments are on the increase. Elliptic Curve Cryptography (ECC)-based systems have also become widely available in the market offering various convenient services by bringing smartphones in proximity to ECC-enabled objects. When a system user attempts to establish a connection, the AIK sends hashes to a server that then verifies the values. ECC can be used with various operating systems in conjunction with other technologies such as biometric verification systems, smart cards, anti-virus programs, and firewalls. The use of Elliptic-curve cryptography ensures efficient verification and signing of security status verification reports which allows the system to take advantage of Trusted Computing Technologies. This paper proposes a device payment method based on ECC and Shuffling based on distributed key exchange. Our study focuses on the secure and efficient implementation of ECC in payment device. This novel approach is well secure against intruders and will prevent the unauthorized extraction of information from communication. It converts plaintext into ASCII value that leads to the point of curve, then after, it performs shuffling to encrypt and decrypt the data to generate secret shared key used by both sender and receiver.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37 no.3C
• /
• pp.233-240
• /
• 2012

Unlike traditional factory environment, in an industrial factory network applied wireless sensor network technologies, all procedures of discovery, identification and verification of devices should be performed in an automatic fashion. To address these challenges, we design a management system using the device registry server that we propose in this paper. In the phase of device discovery, the proposed system utilizes properties of routing protocol running in factories. Also, in the phase of identification and verification, the system uses unique and general information of a device stored within the device registration server. Such a way allows management system to reduce implementation complexity and to easily manage devices in a factory applied with a wireless network consisting of heterogeneous devices.

• Journal of the Korean Geotechnical Society
• /
• v.40 no.4
• /
• pp.113-126
• /
• 2024

Shotcrete lining is an important material for the stability of tunnels in NATM tunnels. However, stressmeters for stress measurements of shotcrete lining are installed in the field without performance verification because of a lack of research on methods, procedures, regulations, and reliability of measurement equipment. To solve this problem, all shotcrete stressmeters currently used in Korea were investigated. For each stressmeter, external inspection and structural and functional inspection were performed to identify defects and problems in devices. For this purpose, a shotcrete stressmeter performance test device capable of load loading in stages was developed and obtained KOLAS certification. Using the device, stressmeter performance tests were conducted. Structural problems of integrated- and cell-type shotcrete stressmeters were identified through concrete mold tests, and improvement plans and performance verification procedures were suggested. The results of this study are expected to contribute to the preparation of regulations for the performance verification of shotcrete stressmeters and the selection of measuring instruments in the field in the future.