• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.181-183
• /
• 2004

Mission-Critical한 실시간 반응형 내장 시스템들의 설계과정에 있어 high-level abstraction과 formal(software 기반) modeling은 없어서는 안될 중요한 부분이다. 실시간 반응형 내장 system의 OS는 정형 명세 기법을 이용하여 시스템의 주요 component들을 설계하고 OS의 Formal model들을 모든 가능한 input들 아래 OS의 behavior를 엄격하게 검증함으로써 error가 없는 완벽한 OS를 개발할 수 있다. 본 논문에서는 uC/OS-11의 OS Scheduling 부분을 반응형 시스템 언어인 Esterel의 SyncCharts로 명세, 명세한 시스템의 요구조건을 정형기법을 이용친서 검증해보고자 한다.

• Journal of Korea Multimedia Society
• /
• v.5 no.3
• /
• pp.323-330
• /
• 2002

Recently, the existing embedded real-time operating systems(RTOSs) are being developed in terms of various modified versions in every application fields. Major characteristics and difference of these OSs lie in their distinct development of mechanisms which can be used in various environment and task-scheduling function which can control time-limited contingencies. In this paper, we design and implement round/robin scheduling algorithm based on time-sharing with equal-priority for multiple tasks which are provided preemptive and priority task allocation function in $\mu{C/OS-II}$ version 2.03. We propose the most important event-ready list structure in $\mu{C/OS-II}$; kernel, and provide the running result for multiple tasks with equal priority for the proposed structure.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.3 no.1
• /
• pp.30-33
• /
• 2008

This paper persents how to port HAL (Handset Abstraction Layer) on embedded Linux to support WIPI (Wireless Internet Platform for Interoperability). As smart phones are widespread nowdays, the operating system is changing from a simple kernel like Qualcomm REX OS to more feature-rich Linux kernel. For this reason, we investigate the internal structure of HAL on REX OS and design how to port it to embedded Linux. Careful analysis leads us to identify several porting issues such as thread support, graphical user interface. In addition, we describe some problems discovered during the implementation process and propose alternative architecture of HAL for WIPI on Linux.

• The KIPS Transactions:PartA
• /
• v.9A no.4
• /
• pp.503-510
• /
• 2002

In this paper, a general purpose embedded computer system is designed and implemented. The most crucial points of the system are extensibility and flexibility. The hardware of the developed system is composed of three modules and the software provides hardware independent application program interfaces. Moreover, uC/OS-II, a well-known open realtime kernel. is extended and ported onto the system. The extended uC/OS-II supports that multiple processes can have the same priority and such processes are scheduled in a round-robin manner.

• Proceedings of the KIEE Conference
• /
• 2006.04a
• /
• pp.177-179
• /
• 2006

This paper presents an analysis architecture of embedded operating systems for wireless sensor network. Wireless multi-hop sensor networks use battery-operated computing and sensing device. We expect sensor networks to be deployed in an ad hoc fashion, with very high energy constraints. These characteristics of multi-hop wireless sensor networks and applications motivate an operating system that is different from traditional embedded operating system. These days new wireless sensor network embedded operating system come out with some advances compared with previous ones. The analysis is focusing on understanding differences of dominant wireless sensor network OS, such as TinyOS 2.0 with TinyOS 1.x.

• The Journal of the Korea Contents Association
• /
• v.10 no.1
• /
• pp.59-67
• /
• 2010

Laboratory works for embedded system courses are usually performed with hardware based experimental kits that equipped with an embedded board and software development tools. Hardware-based kits have demerits such as high initial setup cost, burdensome maintenance, inadaptability to industry evolution, and restricted educational outcomes. This paper proposes using virtual experimental environments to overcome the demerits of hardware-based kits and describes the design and implementation of a simulation-based virtual experimental kit. With ARM's ARMulator, we developed the kit by adding hardware IPs and user interface modules for peripherals. The developed kit is verified with an experimental program that uses all the augmented software modules. We also ported MicroC/OS-II on the virtual experimental kit for real-time OS experiments.

• The Journal of Korean Association of Computer Education
• /
• v.21 no.6
• /
• pp.27-37
• /
• 2018

In this paper, we propose a design and development method of an elevator simulator that can be used as an embedded application layer software learning tool and a teaching and learning method using it. The simulator provides students with an environment to implement the operating principle and control method of the elevator system in the application layer excluding the issues of hardware and embedded OS layer. This allows students to have a reactive and real-time embedded application development experience. In addition, we present a four-week embedded application software training course with hands-on exercises that add step-by-step functionality using a simulator. As a result of training for actual students, we obtained 83.3 points of learning achievement score and proved that the curriculum has a significant effect on embedded application learning.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.5
• /
• pp.103-112
• /
• 2007

In this paper, we implement a hypervisor that runs multiple uC/OS-II real-time kernels on one microprocessor. The hypervisor virtualizes microprocessor and memory that are main resources managed by uC/OS-II kernel. Microprocessor is virtualized by controlling interrupts that uC/OS-II real-time kernel handles and memory is virtualized by partitioning physical memory. The hypervisor consists of three components: interrupt control routines that virtualize timer interrupt and software interrupt, a startup code that initializes the hypervisor and uC/OS-II kernels, and an API that provides communication between two kernels. The original uC/OS-II kernel needs to be modified slightly in source-code level to run on the hypervisor. We performed a real-time test and an independent computation test on Jupiter 32-bit EISC microprocessor and showed that the virtualized kernels run without problem. The result of our research can reduce the hardware cost, the system space and weight, and system power consumption when the hypervisor is applied in embedded applications that require many embedded microprocessors.

• Proceedings of the KIEE Conference
• /
• 2008.10b
• /
• pp.219-220
• /
• 2008

본 논문에서는 Windows Embedded CE의 스트림 인터페이스 드라이버(Stream Interlace Driver)를 개발하는 새로운 방법을 제안하고자 한다. Windows Embedded CE 디바이스가 부팅되면서 스트림 인터페이스 드라이버는 디바이스 매니저에 의해 메모리로 로프(Load)되고 디바이스가 꺼질 때 메모리로부터 언로드(Unload)된다. 디바인스 드라이버를 변경하여 다시 적용한 후 결과를 확인하고자 할 때 OS 바이너리 이미지를 새로 생성한 후 이미지를 다시 다운로드 하거나 드라이버를 플랫폼 빌더에서 등록한 후 해당 디바이스를 재 부팅하고 Kernel Interlace Layer(KITL)를 사용하여 그 결과를 확인할 수 있다. OS 바이너리를 새로 만드는 경우 이미지 생성과 다운로드 시간이 많이 소요되고, KITL를 사용하는 경우 매번 부팅 하는 과정을 반복해야 하기 때문에 시간이 더 소요된다. 본 논문에서는 데스크탑에서 Remote API를 이용하고 Stream Device Driver를 디바이스에 전달한 후 그것을 Remote API를 사용하여 로드하고 언로드하는 구조를 제안한다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.936-937
• /
• 2008

As a micro computer or micro processor technology has been advanced, the essential part which consists of electric power system has been changed into intelligent electronic device(IED), that is one kind of embedded system. There are already many parts changed into digital from analog in control and maintenance devices of electric system. These trends make advanced and novel concepts of devices and systems, that we couldn't even imagine in the analog circumstances. Now, the rate's of change is comparatively slower than IT field that is mainly represented by mobile communication, but that is a big change in the history of electric industries. Some people in those field called it Power-IT, and there have been many kinds of researches. Accelerated systems to go digital, users always and continuously demand more convenient, practical, and new functions. So, a lot of electric system manufactures have had tasks realizing many kinds of functions in an electronic device. According to the high-end technologies in semi-conductor and micro-computer field, manufactures can fully satisfy almost all of customer's needs, but there are other kinds of problems, such as large amount of program code, increasing complexity in proportion with program amount, and the hardness of maintenance and revision of the program. So nowadays, the necessity of embedded OS was emerged as a solution, and many researchers and manufactures have concentrated on studies related to embedded OS and its application.