• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.523-530
• /
• 2009

Despite the growing need for customized operating system kernels for embedded devices, kernel development continues to suffer from insufficient reliability and high testing cost for several reasons such as the high complexity of the kernel code. To alleviate these difficulties, this study proposes the MOdel-based KERnel Testing (MOKERT) framework for detection of concurrency bugs in the kernel. MOKERT translates a given C program into a corresponding Promela model, and then tries to find a counter example with regard to a given requirement property, If found, MOKERT executes that counter example on the real kernel code to check whether the counter example is a false alarm or not, The MOKERT framework was applied to the Linux proc file system and confirmed that the bug reported in a ChangeLog actually caused a data race problem, In addition, a new data race bug in the Linux proc file system was found, which causes kernel panic.

• Journal of Korea Multimedia Society
• /
• v.8 no.9
• /
• pp.1282-1291
• /
• 2005

This paper presents the EVM(Embedded Virtual Machine) which enables the execution of dynamic applications loaded in the embedded systems such as Mobile Devices(mobile phone, PDA), Set-Top Box, and Digital TV using downloading techniques. To accomplish this goal, we defined a SIL-(Standard Intermediate Language) code, and implemented a Bytecode-to-SIL translator which enables the execution of programs written in java language in the EVM platform without JVM, and a MSIL--to-SIL- translator which enables for programs written in .NET language to be executed in the EVM platform without .NET platform. Also, we developed a EFF(Executable File Format) builder as an assembler which translates SIL codes into an executable file, *.evm, and implemented the EVM which reads the *.evm file and executes it. The virtual machine for embedded systems developed in this paper is the software technologies that enable the execution of applications or contents without changes to when the platforms change. In fact, the virtual machine suggested here is not only usable as a standard model for existing virtual machines but also aid in more efficient execution of applications loaded in the embedded systems such as Mobile Devices, Digital TV, and Set-Top Box.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.31 no.1B
• /
• pp.19-25
• /
• 2006

It's for USB to be used more frequently than another I/O devices. The Universal Serial Bus is the most successful interface in PC history. It's already the do facto interconnect for PCs, and has proliferated into consumer electronics(CE) and mobile devices as well. USB has built on many killer applications, many CE devices, many interfaces. The tangle of wires among the number of devices in your home demands wireless technology. If our devices is unwired, it solves the tangle of wires. In this paper we want to use Legacy USB functionalities, portabilities, multimedia capabilities with wireless interconnection. This paper is related to a study of USB implementation without wires. This paper is related to make the hub function of USB cordless, so it will connect host with devices without wires. In case making USB wireless, it must support the above functionalities. Moreover, It needs the data structure and the resources for host functionalities, e.g. ETD(Endpoint Transfer Descriptor), data memory. This will benefit a convenient use of USB.

• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.6
• /
• pp.296-305
• /
• 2005

TCP/IP, the most popular communication protocol, is processed on a host CPU in traditional computer systems and this imposes enormous loads on the host CPU. Recently TCP/IP Offload Engine (TOE) technology, which processes TCP/IP on a network adapter instead of the host CPU, becomes an important way to solve the problem. In this paper we analysed the structure of a TCP/IP protocol stack in the Linux operating system and important factors, which cause a lot of loads on the host CPU, by measuring the time spent on processing each function in the protocol stack. Based on these analyses, we propose a Hybrid TOE architecture, in which functions imposing much loads on the host CPU are implemented using hardware and other functions are implemented using software.

• Journal of KIISE:Software and Applications
• /
• v.31 no.10
• /
• pp.1356-1363
• /
• 2004

We propose Tangible Media Control System (TMCS), which allows users to manipulate media contents with physical objects in an intuitive way. Currently, most people access digital media contents by exploiting GUI. However, It provides limited manipulations of the media contents. The proposed system, instead of mouse and keyboard, adopts two types of tangible objects, i.e RFID-enabled object and tracker-embedded object. The TMCS enables users to easily access and control digital media contents with the tangible objects. In addition, it supports an interactive media controller which users can synthesize media contents and generate new media contents according to users' taste. It also offers personalized contents, which is suitable for users' preferences, by exploiting context such as user's profile and situational information. Therefore. the proposed system can be applied to various interactive applications such as multimedia education, entertainment and multimedia editor.

• The Journal of the Korea Contents Association
• /
• v.7 no.6
• /
• pp.69-78
• /
• 2007

In recent years, embedded mobile systems have been expanding their application domains from embedded portable devices which only execute a specialized application such as MP3 player or digital camcoder to digital convergence devices which execute more complicated applications converged various functionalities such as video and audio play, digital dictionary, DMB, games, phone, etc. As it requires the increasing hardware performance such as more faster CPU and more larger RAM, display, disk size, it has brought about a corresponding increase in power consumption. However, coupled with relatively small gains in battery capacity over recent years, the importance of software architecture including intelligent power management has become paramount. In this paper, we have ported UbiFOSTM with energy saving techniques on the ARM9-based MBA2440 platform. For energy savings, we adapted the dynamic power management and the device power management schemes based on monitoring workload. Experimental results with some well-known applications show that proposed low power technique could save energy up to 24 %.

• Journal of Korean Society for Geospatial Information Science
• /
• v.17 no.1
• /
• pp.113-120
• /
• 2009

Through the automatic sensing of the environment, USN technology can give the best services. In this work, we have developed an active RFID system and examined its performance. By implementing it into water quality sensors, we constructed a system that can detect diverse indoor/outdoor environment and provide information about the pollution level obtained from the temperature and PH sensors. Our RF system had an internal Print-on-PCB antenna for the miniaturization of the tag. We used a RF transceiver CC2510 chipset of TI company to realize the active RFID function. By using RSSI constants obtained, we performed the evaluation of real time location accuracy with a software written in Labview. Among 10 arbitrary locations, we obtained average measurement errors of 1.69 m in x axis and 1.66 m in y axis. This technology can be applied to logistics, environmental monitoring, prevention of missing children and various applications.

• Journal of Digital Contents Society
• /
• v.19 no.7
• /
• pp.1237-1244
• /
• 2018

Currently the bottleneck in virtual reality's commercialization might be that high cost VR equipment is needed and interesting VR contents are not enough. The purpose of this paper is to solve these problems by implementing low-cost VR system with wireless controller and HMD(Head Mounted Display) using a smart phone and PC. The functions of real HMD are simulated by utilizing the display and embedded sensors of a smart phone. In that situation PC is in charge of processing huge data and is communicated with smart phone. And wireless controller is designed to make VR user's movement to be free. In addition, we made the several VR contents for testing our prototype system directly. Easy access to VR equipment could induce increasing number of users and investment. And it will be a big step toward improving VR technology and its commercialization.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.5 no.5
• /
• pp.487-492
• /
• 2010

In this study, our system that the volume of collected human waste in the septic tank truck is measured accurately and the fee of disposing human waste can be calculated by using measured results has been developed. The level sensor and its circuits which can measure the height of the tank, the hand-held system that can be used by workers easily and simply with micro-controller have been developed. Also, this system has been built in the receipt printing function to charge for disposal fee. Even when working on a sloping field, this system can measure the accurate collected volume of human waste in the tank using the X-Y axis angle sensor. The results of this study expect that the popular complaints that generated from human waste can be reduced, the exportation possibility of our specialized systems can acquire foreign currency.

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.8
• /
• pp.23-30
• /
• 2010

Flash memory is non-volatile and can retain data even after system is powered off. Besides, it has many other features such as fast access speed, low power consumption, attractive shock resistance, small size, and light-weight. As its price decreases and capacity increases, the flash memory is expected to be widely used in consumer electronics, embedded systems, and mobile devices. Flash storage systems generally adopt a software layer, called FTL. In this research, we proposed a new FTL mechanism for overcoming the major drawback of conventional block mapping algorithm. In addition to the block mapping table, a index block mapping table with a small size is used to indicate sector location. The proposed indexed block mapping algorithm by adding a small size. By the simulation result, the proposed FTL provides an enhanced speed than a conventional hybrid mapping algorithm by around 45% in average, and the requirement of mapping memory is also reduced by around 12%.