• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.11
• /
• pp.5252-5259
• /
• 2011

Both Optimization and Reuse Technology are considered as core technologies handling the values of products in embedded software. Framework technology is a typical type of optimization and reuse technology. When we develop software based on framework, The effect of reusability as well as development productivity can be improved. However, currently the form of framework-based development is very poor in embedded software development. Furthermore, because framework development is also beginning stage in embedded software development, there are questions whether developing framework can bring reusability effect. In this paper, we propose metrics measuring reusability of framework which is designed for improving reusability of embedded software. As as result of applying proposed metrics into real design cases, we can obtain more effective results in framework-based design than existing design.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.2 no.4
• /
• pp.214-220
• /
• 2007

Recently, most embedded systems have the multi-functions mixed the hardware with the software. The existing sequence programming methods are not suitable to implement the embedded system with multi-functions. So, it can be overcome the limit of a facility implementation by introducing the operating system in system. Also, due to the requirement about the better convenient and comfortable meeting or lecture environment, the necessity of electronic white-board is getting higher. Specially, the education using multimedia information is much more desirable for various and improved lecture at the high school and the university. But the sequence program which have been managed in existing electronic white-board system has some difficulties to achieve the software-oriented systems which has to accomplish many functions. In this paper, we propose the method to implement a facility of electronic white-board through using the embedded linux with excellent performance. The embedded linux presents the powerful software environment for the implementation of an embedded system and makes the realization of many various functions easy because it follows kernel characteristics of linux. In this paper, we describe the details for the structure of hardware, kernel source and device driver of a developed electronic white-board.

• Journal of Internet Computing and Services
• /
• v.7 no.4
• /
• pp.11-22
• /
• 2006

Software product-lines methodology is the software development paradigm to build the target system by customizing the variable part of software assets according to requirements. To attain this, the commonalities and variabilities of the system family should be modeled explicitly at early stage. Although the researches on general software product-lines are active, the researches on component-based real-time embedded software product-lines are rather inactive. In this paper a code generation system to support the functional variabilities via feature model and generate the code for synchronization via state model is proposed to increase the productivity of the development of the real-time embedded software product-lines.

• Journal of Applied Reliability
• /
• v.7 no.4
• /
• pp.137-148
• /
• 2007

Rapid increase of embedded systems in electronic and mechanical control systems requires reliable and error-free embedded software. State-based testing methods like FSM are usually used to assure the reliability of embedded software. However, because of possibility of explosion of test cases, only partial test cases are considered in practical tests, which cannot guarantee that all the possible errors are investigated. This study proposes a test procedure based on failure mechanisms that may occur in embedded systems, which can not only assure that certain kinds of possible errors are detected but reduce the testing time. The proposed procedure is applied to vehicle air control system.

• Journal of Advanced Marine Engineering and Technology
• /
• v.28 no.5
• /
• pp.811-817
• /
• 2004

Recently embedded systems are widely used in various industrial fields as supervisory controller because they have many merits. One of merits seems to be that operating environment of embedded system is the same as development environment using PC. That makes developing and manufacturing period shorten and also proper time to market Most of all machinery have sequential control system for their maneuvering which is composed of relays. contacts. timers. etc. In this paper. software sequential control system is proposed to be able to replace hardware sequential control system by using embedded system A lot of merits by the software sequential control system can be expected in the respect of economic reproduction, intelligent technologies and utilities, And porting of LINUX operating system to embedded system is carried out and device drivers and interface boards for LINUX 05 are designed for controlling air compressor by software Internet remote control and monitoring system of air compressor is implemented with Java script and CGI for these purposes. The experiment for operating air compressor system is taken through internet networks. The results show that developed system can be used for real plant.

• International Journal of Contents
• /
• v.1 no.1
• /
• pp.16-20
• /
• 2005

This paper proposes a frame work for embedded system management. The management system can automatically monitor and maintain the Internet connected embedded-systems such as sensor devices, set-top box, web-pad, information appliances, PDA, etc. Users can easily diagnose system state, resolve system problems, maintain and update applications, and back up user information using the management system. We implement prototype for the management system on embedded Linux system and High -available Linux system.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.483-494
• /
• 2009

Since the embedded system is more intelligent, the importance of the reliability in the embedded system is a lot more visible. Especially the reliability of the embedded system in the train control system is even better important. As the special quality of the embedded system, the hardware of the system is directly controlled by the software in the embedded system. As the expansion of complexity, the expense amd the time for verification is required more and more. This paper is presented the verification of the reliability as the method with background of failure Embedded system is gradually, the importance of 'A built-in on the system embedded system's reliability is focused. In particular, in the train control system built-in of the embedded system, reliability is even more important. The embedded system of the system controls over hardware, software with built-in directly. The more complex system is, the more increasable of depending on the reliability of the time verification and expensive is. This paper is about he characteristics of the reliability and verification of embedded system under the failure mechanisms, based on the verification methodology suggested by in the train control system.

• The KIPS Transactions:PartD
• /
• v.18D no.1
• /
• pp.45-56
• /
• 2011

The importance of low-power embedded system is being increased. The studies on low-power system have been performed in issues of hardware architecture and operating system. However because the behaviors of software control the working of hardware devices, the power analysis of software is one of critical issues in energy-efficient embedded system development. This paper proposes a technique to extract tasks from software design models with considering power consumption. We first define the criteria for task extraction, and then propose the way to separate out the task from UML 2.0 design models. Our technique can provide the chance to reduce the power consumption as well as to fulfill the performance requirement in the early phase of software development.

• Journal of KIISE:Software and Applications
• /
• v.30 no.11
• /
• pp.1015-1024
• /
• 2003

In [1] we proposed a method to generate a test model (GFSM) from a set of scenarios of embedded software. Each scenario describes the interaction sequences for an external input event. Although these external events are generated and accepted alternatively and concurrently by embedded software, we considered only the alternative relations. In this paper, we describe an improved algorithm to generate GFSM from concurrent scenarios, and propose methods to reduce the number of transitions in the GFSM. The first is the synchronous interpretation of message passing instead of asynchronous one considering the real behavior of tasks in embedded software. The others apply the partial order techniques to the GFSM using independent regions. We apply the method to generate a reduced GFSM of embedded software running on a digital TV.

• Journal of KIISE
• /
• v.42 no.7
• /
• pp.860-867
• /
• 2015

In the defense field, weapon systems are increasing in importance, as well as the weight of the weapon system embedded software development as an advanced technology. As the development of a network-centric warfare has become important to secure the reliability and quality of embedded software in modern weapons systems in battlefield situations. Also, embedded software problems are transferred to the production stage in the development phase and the problem gives rise to an enormous loss at the national level. Furthermore, development companies have not systematically constructed a software reliability test. This study suggests that approaches about a qualityverification- system establishment of embedded software, based on a variety of source code reliability test verification case analysis.