• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.1093-1095
• /
• 2003

MSC(Multi-Spectral Camera) system is a remote sensing instrument to obtain high resolution ground image. MSC system includes main control unit, called SBC(Single Board Computer). SBC controls all the sub-units of MSC system and communicates with spacecraft bus. The software developed for SBC should be reliable and autonomous to support various kinds of imaging missions. It is being developed using VxWorks real-time operating system to manage all tasks for all units efficiently. In this paper, the characteristics of the embedded software on the MSC system will be presented. It covers the hardware related characteristics like the BSP(Board Support Package), device driver and code patch mechanism.

• Journal of KIISE:Computer Systems and Theory
• /
• v.37 no.1
• /
• pp.35-42
• /
• 2010

Guest operating systems running over the virtual machines share a variety of resources. Since CPU is allocated in a time division manner it consequently leads them to having the unknown physical time. It is not regarded as a serious problem in the server virtualization fields. However, it becomes critical in embedded systems because it prevents guest OS from executing real time tasks when it does not occupy CPU. In this paper we propose a hypercall to register a timer service to notify the timer request related real time. It enables hypervisor to schedule a virtual machine which has real time tasks to execute, and allows guest OS to take CPU on time to support real time. The following experiment shows its implementation on Xen-Arm and para-virtualized Linux. We also analyze the real time performance with response time of test application and frames per second of Mplayer.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.215-220
• /
• 2005

Nowadays, various speech processing systems are being introduced in the fields of robotics. However, real-time processing and high performances are required to properly implement speech processing system for the autonomous robots. Achieving these goals requires advanced hardware techniques including intelligent software algorithms. For example, we need nonlinear amplifier boards which are able to adjust the compression radio (CR) via computer programming. And the necessity for noise reduction, double-buffering on EPLD (Erasable programmable logic device), simultaneous multi-channel AD conversion, distant sound localization will be explained in this paper. These ideas can be used to improve distant and omni-directional speech recognition. This speech processing system, based on embedded Linux system, is supposed to be mounted on the new home service robot, which is being developed at KIST (Korea Institute of Science and Technology)

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.7
• /
• pp.1208-1213
• /
• 2006

A micro embedded did the task to be simply the sequent at the past. The necessity of an embedded operating system did not exist in the reason. We satisfy the complication of the system and operating system have been desired for the officer of the process. The necessity of the process of real-time processing increased also with fast response time to users, The porting follows and have been composed of an real-time embedded operating system. We can control the control unit with the sensor to be established in the building, An embedded web sever to use the resource of the at least is appering a networking facility of interaction. In this paper, The web sever to be implemented in a purity software. We draw data for the thing to implement overall demo to the remote through Internet and We put the point even though we organized the frame to control this. we have successfully ported linux on an embedded system, which is based on intel StrongARM SA-1110 processor, then written several network modules of ethernet-based network device.

• ETRI Journal
• /
• v.31 no.6
• /
• pp.732-740
• /
• 2009

This paper describes the implementation of a digital audio effect system-on-a-chip (SoC), which integrates an embedded digital signal processor (DSP) core, audio codec intellectual property, a number of peripheral blocks, and various audio effect algorithms. The audio effect SoC is developed using a software and hardware co-design method. In the design of the SoC, the embedded DSP and some dedicated hardware blocks are developed as a hardware design, while the audio effect algorithms are realized using a software centric method. Most of the audio effect algorithms are implemented using a C code with primitive functions that run on the embedded DSP, while the equalization effect, which requires a large amount of computation, is implemented using a dedicated hardware block with high flexibility. For the optimized implementation of audio effects, we exploit the primitive functions of the embedded DSP compiler, which is a very efficient way to reduce the code size and computation. The audio effect SoC was fabricated using a 0.18 ${\mu}m$ CMOS process and evaluated successfully on a real-time test board.

• Proceedings of the KSR Conference
• /
• 2007.11a
• /
• pp.1616-1625
• /
• 2007

Recently, embedded systems role as control systems instead of mechanical control systems in many parts of vehicles. In cases that embedded systems are used controling the electric signal, it is important to secure the reliability of a software within embedded systems. In this paper, the test platform for securing the reliability and real-time characteristic of the embedded system that controls electric signal of All Wheel Steering Control System in a Bi-modal tram is proposed. The platform is built on a HIL (Hardware In the Loop) architecture. Through the HIL platform, various vehicle conditions, driver activities and environment conditions can be successfully tested without actual driving, hence improving the reliability of the embedded system for the All Wheel Steering Control System.

• The KIPS Transactions:PartD
• /
• v.17D no.6
• /
• pp.431-442
• /
• 2010

Because embedded system is combined system of hardware and software, we should design by considering elements such as real-time, reactive, small size, low weight, safe, reliable, harsh environment, low cost, and so on. However, those are poorly reflected on current embedded system development. Especially, there is few existed framework-based embedded system development. As a result, there are many internal codes which is not related with system operation in currently developed embedded system, and reusability or variability is not considered into embedded system development. Therefore we propose a formal specification technique using Z language to guarantee completeness or consistency of design of reusability framework proposed for improving reusability of embedded system. Also we assure correctness of framework design by checking Z model through Z-Eves Tool.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.3
• /
• pp.45-55
• /
• 2008

Due to the increasing complexity of embedded system design, automatic code generation of embedded software and hardware-software co-design methodologies are gaining great interest from industries and academia. Such an automatic design methodologies are always demanding a formal system specification languages for defining designer's idea clearly and precisely. In this paper, we propose automatic embedded C code generation from SDL (Specification and Description Language, ITU-T recommended the SDL as a standard system description language) with considering a real-time uC/OS-II operating system. Our automatic embedded C code generator is expected to provide a fast specification, verification and performance evaluation platform for embedded software designs.

• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.6
• /
• pp.559-565
• /
• 2010

In this paper, we present a transformation method of source code from a POSIX (Portable Operating System Interface) based source code into an OSEK/VDX (Offene Systeme und deren Schnittstellen fur die Elektronik in Kraftfahrzeugen/Vehicle Distributed eXecutive) source code. As the electronic parts of automobile systems increase, the use of embedded software in automobile systems is also growing. Accordingly, many electronic systems are designed in automobile system with OSEK/VDX. Otherwise, one of the major problems of embedded software would be portability to other OS's. To enhance the portability and interoperability of embedded software, we propose a source code transformation method from POSIX to OSEK/VDX based on API (Application Programming Interface) translation method. Considering the characteristics of the OSEK/VDX which uses OIL (OSEK/VDX Implementation Language) standard, transformation process is performed with source code transformation and OIL code generation. For the validity of the proposed method, the transformation experiment is given using Micro-C OS II and OSEK/VDX with XC167CI micro-controller.

• The KIPS Transactions:PartA
• /
• v.18A no.6
• /
• pp.271-280
• /
• 2011

Time-Triggered Architecture (TTA), one of real-time software design paradigms which executes tasks in timely manner, has long been advocated as being better suited in fore-sighting system behavior than event-triggered architecture (ETA). To gain this valuable feature of TTA, however, precise task designing process is mandatory. Alternatively, ETA tries to execute tasks whenever paired events are occurred. It provides intuitive and flexible basement to add/remove tasks and, moreover, better response time performance. However ETA is difficult to analyze because system behavior might be different depending on the order of interrupts detected by the system. Many previous researches recommended TTA when developing safety-critical real-time systems, but cost problem of task designing process and insufficient consensus for applying rigorous software engineering practice are still challenging in practice. This paper describes software refactoring process which applying TTA approach into ETA based embedded software in artificial heart system. We implemented dedicated interrupt monitoring program to capture existing tasks' real-time characteristics. Based on the captured information, proper task designing process is done. Real-time analysis using RMA (Rate-Monotonic Analysis) verified that new design guarantees timeliness of the system. Empirical experiments revealed that revised design is as efficient, when measured in terms of system's external output, as the old design and enhances predictability of the system behavior as well.