• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.323-339
• /
• 2010

The complexity of embedded systems and the effort to develop them has been rising in proportion with their importance. Also, the heterogeneity of the hardware and software parts in embedded systems makes it more challenging to develop. Errors caused by hardware/software interfaces, especially, account for up to 13 percent of failures with an increasing trend. Therefore, verifying the interface between hardware and software in embedded system is one of the most important research areas. However, current approaches such as co-simulation method and model checking have explicit limitations. In this paper, we propose the synthesizable interface co-verification framework for hardware/software co-design. Firstly, we introduce the separate interface specifications for the heterogeneous components to describe hardware design and software design. Our specifications are expressive enough to describe both. We also provide the transformation rules from the software specification to the hardware specification so that the whole system can be described from the software view. Secondly, we address the solution of verifying the interface of the software and hardware design by adopting and extending existing verification-techniques and extending them. In hardware interface verification, we exploit the model checking technique and provide more efficient verification by closing the hardware design from the assumption of the software behavior which is ensured by software verification step. Lastly, we generate the interface codes such as device APIs, device driver, and device controller from the specification so that verified hardware and software codes can be synthesized without extra efforts.

• Korean Chemical Engineering Research
• /
• v.58 no.4
• /
• pp.604-609
• /
• 2020

The purpose of this study is to check the priority control status of the current operation process alarm by comparing the priority of the alarm set up in PV high trip point, which is being installed and operated in the domestic petrochemical industry, with the criteria presented in ISA 18.2 International Standard or EEMUA 191 Guidelines. In the event of a process problem, excessively set high alarm is provided to the driver in a short period of time, making it difficult to identify the alarm that needs to be handled first. As a result, it is likely that the operator will not be able to carry out appropriate actions within the specified time frame, and many cases have been reported leading to unexpected process shutdowns or process accidents. Therefore, this study aims to introduce international standards related to alarm management and identify the level of alarm control used at the domestic petrochemical industry site to inform potential risks that may occur in the petrochemical process of the national industrial complex in the future and suggest ways to reduce risk factors. This paper was submitted to Professor Lee Inbeom's retirement anniversary issue.

• International Journal of Highway Engineering
• /
• v.7 no.4 s.26
• /
• pp.163-171
• /
• 2005

Current roads were designed and constructed based on the design criteria and thus those were overly simplified drivers' needs. The road criteria do not suggest the desirable range of the design values but suggest the minimum requirements for the road design. Therefore, a completed road design based on the design criteria does not always guarantee the best design in terms of safety and it sometimes violates drivers' expectation. Therefore, the ROSSAV(ROad Safety Survey and Analysis Vehicle) is being developed by the KICT to evaluate road safety and increase driving safety. In this paper, the image capture system was described in detail. The image capture system is consisted of two front view cameras, two side down-looking cameras and a synchronization device. Two front view cameras were used to take a picture of road and road facilities at the driver's viewpoint. Also, two side down-looking cameras were used to capture road surface image to extract lane markings. A synchronization device were used to generate image capturing signal at the fixed distance spacing huck as every 10m. The front view images could be used to calculate and measure highway geometry such as shoulder width because every image is saved with it's locational information. And also the side down looking images could be used to extract median lane mark which representing road alignement efficiently.

• Convergence Security Journal
• /
• v.6 no.3
• /
• pp.1-12
• /
• 2006

Malicious codes have been widely documented and detected in information security breach occurrences of Microsoft Windows platform. Legacy information security systems are particularly vulnerable to breaches, due to Window kernel-based malicious codes, that penetrate existing protection and remain undetected. To date there has not been enough quality study into and information sharing about Windows kernel and inner code mechanisms, and this is the core reason for the success of these codes into entering systems and remaining undetected. This paper focus on classification and formalization of type target and mechanism of various Windows kernel-based attacks, and will present suggestions for effective response methodologies in the categories of, "Kernel memory protection", "Process & driver protection" and "File system & registry protection". An effective Windows kernel protection system will be presented through the collection and analysis of Windows kernel and inside mechanisms, and through suggestions for the implementation methodologies of unreleased and new Windows kernel protection skill. Results presented in this paper will explain that the suggested system be highly effective and has more accurate for intrusion detection ratios, then the current legacy security systems (i.e., virus vaccines and Windows IPS, etc) intrusion detection ratios. So, It is expected that the suggested system provides a good solution to prevent IT infrastructure from complicated and intelligent Windows kernel attacks.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.16 no.5
• /
• pp.173-177
• /
• 2016

Korea, the traffic and transportation problems are significant because private cars are increasing constantly. Therefore, it is imperative to improve traffic condition so as to solve the problems such as traffic congestion and accidents which may occur due to the increase of vehicles in a limited area through the signal control. However, the current operating system for traffic control cannot provide car users the optimal signal but it generates a time delay of vehicles, traffic congestions etc. In this paper, we propose and implement the system based on V2X based automatic controller, which reduces the waste of time and the driver's psychological stress on the road intersection.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.4
• /
• pp.659-666
• /
• 2006

Servo-motors are used as key components of automated system by performing precise motion control as accurate positioning and accurate speed regulation in response to the commands from computers and sensors. Especially, the linear brushless servo-motors have numerous advantages over the rotary servo motors which have connection with the friction induced transfer mechanism such as ball screws, timing belts, rack/pinion. This paper proposes an estimation method of unknown motor system parameters using the informations from the sinusoidal driving type linear brushless DC motor dynamics and outputs. The estimated parameters can be used to tune the controller gain and a disturbance observer. In order to meet this purpose high performance Digital Signal Processor, TMS320F240, designed originally for implementation of a Field Oriented Control(FOC) technology is adopted as a controller of the liner BLDC servo motor. Having A/D converters, PWM generators, rich I/O port internally, this servo motor application specific DSP play an important role in servo motor controller. This linear BLDC servo motor system also contains IPM(Intelligent Power Module) driver and hail sensor type current sensor module, photocoupler module for isolation of gate signals and fault signals.

• Science of Emotion and Sensibility
• /
• v.22 no.4
• /
• pp.15-30
• /
• 2019

The reduction of traffic accidents is a primary potential benefit of autonomous vehicles (AVs). However, the prevalence of AVs also arouses a key question: to what extent should a human wrest control back from AVs? Specifically, in an unavoidable situation of emergency, should an AV be able to decide between the safety of its own passengers and endangered pedestrians? Should AV programming include well-accepted decision rules about actionsto take in hypothetical situations? The current study (N = 103) examined individual/situational variables that could perform critical decision-making roles in AV related traffic accidents. The individual variable of attitudes toward AVs was assessed using the Self-driving Car Acceptance Scale. To investigate situational influences on decisional processes, the study's participants were assigned to one of two groups: the achievement value was activated in one group and the benevolence value was triggered in the other through the use of a sentence completion task. Thereafter, participants were required to indicate who should be protected from injury: the passengers of the concerned AV, or endangered pedestrians. Participants were also asked to record the extent to which they intended to buy an AV programmed to decide in favor of the greater good according to Utilitarian principles. The results suggested that participants in the "achievement value: driver perspective" groupexpressed the lowest willingness to sacrifice themselves to save several pedestrians in an unavoidable traffic accident. This group of participants was also the most reluctant to buy an AV programmed with utilitarian rules, even though there were significant positive relationships between members' acceptance of AVs and their expressed intention to purchase one. These findings highlight the role of the decisional processes involved in the "achievement value" pertaining to AVs. The paper finally records the limitations of the present study and suggests directions for future research.

• The Proceedings of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.9 no.2
• /
• pp.58-67
• /
• 1995

The paper describes the variation of magnetic fields caused by the operation of induction motors. The measuring system consists of the self-integrating magnetic field sensor, amplifier, and active integrator. From the calibration experiments, the frequency bandwidth of the magnetic field measuring system ranges from 20[Hz] to 300[kHz] and sensitivity is 0.234(mV/$\mu\textrm{T}$]. The magnetic fields generated under steady state and starting operations of duction motor are recorded by the proposed measuring system, and the fast Fourier transformation(FFT) of the measured data is performed to analyze the harmonic components. A single pulsed magnetic field is strongly caused by direct starting the induction motor, and its peak value is greater than 5 times as compared with the steady state value. The long transient duration and high intensity originates from the large inductance and dynamic characteristic of the induction motor, During the steady state operation of induction motor, subharmonics of magnetic field components, which depend on the pole number of induction motor, are observed. The lower order power-line harmonics can be inferred from the voltage flicker and current ripple which are derived from the torque fluctuation of induction motor. In the case of the induction motor drived by inverter, the harmonics of magnetic field are much more than those caused by direct starting method and are found generally to increase with decreasing the driving frequency.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.18 no.8
• /
• pp.1914-1924
• /
• 2014

In this paper, a small-area cell array method of reducing number of SL drivers requiring large layout areas, where the SL drivers supplying programming currents are routed in the row direction in stead of the column direction for eFuse OTP memory IPs having less number of rows than that of columns such as a cell array of four rows by eight columns, and a core circuit are proposed. By adopting the proposed cell array and core circuit, the layout area of designed 32-bit eFuse OTP memory IP is reduced. Also, a V2V ($=2V{\pm}10%$) regulator necessary for RWL driver and BL pull-up load to prevent non-blown eFuse from being blown from the EM phenomenon by a big current is designed. The layout size of the designed 32-bit OTP memory IP having a cell array of four rows by eight columns is 13.4% smaller with $120.1{\mu}m{\times}127.51{\mu}m$ ($=0.01531mm^2$) than that of the conventional design with $187.065{\mu}m{\times}94.525{\mu}m$ ($=0.01768mm^2$).

• Journal of Korean Society of Transportation
• /
• v.30 no.2
• /
• pp.67-78
• /
• 2012

The current traffic regulations in Korea stipulate that traffic should keep to the right according to the Road Traffic Act; thus, customarily, the 'seat-on-the-left' system has been maintained. However, an increased number of 'seat-on-the-right' vehicles are being imported via a variety of routes from foreign countries, especially from Japan. According to the data from July 2004, 1,343 cargo vehicles and 593 passenger vehicles (for diplomats, etc.) were currently being driven on domestic road. As these 'seat-on-the-right' vehicles are not compatible with the domestic transportation system of driving on the right side of the road, there is a high risk of accidents. Experiments show that such system-driver mismatch causes longer operation time for directional signals, higher error frequency in yielding due to additional mental adjustments for 'seat-on-the-right' vehicle drivers. These are, therefore, influential factors which can lead to possible accidents. Furthermore, when the experiments test the visual range during overtaking maneuvers, the visual range of the drivers in the 'seat-on-the-left' vehicle was 2.95 meters as opposed to 1.7 meters for the drivers in the 'seat-on-the-right' vehicle. (In the experiment, the drivers were instructed to look at the paper cup 10 meters away from the back of drivers' seat.) The results demonstrate that it is necessary to have additional safety measures be implemented for the 'seat-on-the-right' vehicles.