• The KIPS Transactions:PartD
• /
• v.13D no.2 s.105
• /
• pp.259-270
• /
• 2006

Because a medical embedded software is the software that control the medical devices that are relevant to a human life, it requires high qualify level. It is requires to develop and apply the quality test module that suitable for the requirements to meet the high quality requirements of the medical embedded software. Also, it needs to develop the process that complement the quality defects of software by feedback of the test result. In this study, we developed test module and quality inspection table which can test medical embedded software and produce result based on ISO/IEC 12119.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.9 no.6
• /
• pp.307-314
• /
• 2014

Recently, software reliability and safety issues are seriously considered since failures of embedded systems may cause the damages of human lifes. For verifying and testing embedded software, execution environment including sensors and actuators should be prepared in the actual plants or virtual forms on PC. In this paper, we provide the virtual prototype based code simulation techniques and testing framework on PC. Virtual prototypes are generated by combining the Adobe's Flash SWF images corresponding to the state machine of HW or environment components. Code simulation on PC is possible by replacing the device drivers into virtual drivers which connect to virtual prototypes. Also, testing is performed by controlling the states of virtual prototype and simulators. By using these tools, embedded software can be executed in the earlier development phase and the efficiency and SW quality can be enhanced.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05a
• /
• pp.47-50
• /
• 2003

최근 IT분야에서 주목받고 있는 부분은 정보가전분야이다. 특히, 홈오토메이션(HA Home Automation)에서 중심이 되는 시스템은 홈서버라 할 수 있다. 즉, 가정내에 홈서버가 설치되어 이를 중심으로 내부적으로는 정보가전기기들이 네트워킹되어 있고, 밖으로는 인터넷을 기본 통신 환경으로 구성되는 것이 현실이다. 이러한 환경에서 홈시큐리티 방면의 영상감시기능은 핵심분야 중 하나이다. 영상감시기능을 수행하고자 가정의 홈서버상에 영상감시 모듈이 탑재되어진다. 이때, 홈서버는 임베디드 시스템으로 Qplus라고 하는 임베디드 리눅스 계열의 운영체제를 기본으로 하며, 영상감시 모듈은 SIP(Session Initiation Protocol)기반으로 수행된다. SIP은 VoIP(Voice over IP) 분야의 핵심기술로 최근 많이 부각되어 널리 활용되고 있는 응용 계층의 시그널링 프로토콜이다. 한편, 영상코덱은 ITU-T의 H.261표준을 따르고 있으며, 이러한 영상감시기능은 홈서버 뿐만 아니라, PDA와 같은 핸드헬드 장치를 통해서도 제공된다. 본 논문에서는 임베디드 영상가미 시스템의 설계 및 구현에 대해 기술하고 있다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.4
• /
• pp.388-401
• /
• 2006

A tool for analyzing and testing software in real-time is required for the efficient development of highly reliable real-time mobile embedded software This too] requires various technologies, such as source code based white-box test and real-time system monitoring and control. The tool also should be designed to improve reusability and portability by considering the interaction with other kinds of real-time system. This paper identifies and analyzes the functional requirements for the test tool on real-time mobile embedded software and suggests an adequate tool architecture based on the collected requirements. It also suggests the specific implementation technology and architecture design pattern to support the tool's expandability and portability.

• Journal of Advanced Navigation Technology
• /
• v.11 no.3
• /
• pp.259-265
• /
• 2007

Systematic components for implementing ubiquitous computing, for example, electronic devices, electric home appliances, and controllers, etc, are consist of not only circuits but also softwares expected to do some special system-controlling functions, and these softwares used to be called like as embedded software. Because embedded software is a core component controlling systems, the codes or control flows should be protected from being opened to the public or modified. Embedded software security can be divided into 2 parts: first is the unauthorized access to development site and embedded software, second is the unauthorized disclosure or modification. And this research is related to the first aspect of them.This paper proposes some security check requirements related to embedded software development site by analyzing the ALC_DVS.1 of the ISO/IEC 15408 and Base Practices (BPs) of the ISO/IEC 21827. By applying this research, we expect to protect unauthorized modification of embedded software indirectly.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.11
• /
• pp.123-134
• /
• 2009

As the embedded software for weapon system is embossed, the information management system is required to service and manage the technical information of embedded software systematically. But the technical information documents are managed by its own organization separately, it's hard to service the information and share it with anyone who need. In this paper, to manage the embedded software information systematically, we analyze the information management system built in 2004 and the defence law/rule. Also we distinguish the software information from defence laws to manage systematically and analyze the requirements of the information system. Based on these, we suggest implementing the management system to increase efficiency of managing the weapon embedded software information. Through this, we can improve the utilization and reusability of the weapon embedded software.

• Proceedings of the KIEE Conference
• /
• 2006.07b
• /
• pp.1149-1150
• /
• 2006

This paper describes the development of software platform of embedded controller for Fuel Cell System. The fuel cell system is complex which needs an embedded controller to execute multiple tasks. The software organized by modualarization and layered architecture can perform complicated control algorithms. By development of the software platform with architectural software, the fuel cell system's embedded controller has a reusability and a scalability. And the developed software platform guarantees a execution of multiple tasks.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.8 no.2
• /
• pp.297-308
• /
• 2007

The types of industrial software are classified into package, embedded and system type. The Package type software means industrial ERP, the embedded software is built in industrial devices and the system type software controls the manufacturing and production system, In this paper, we described about the development of evaluation modules which can implement quality test and evaluation fur industrial embedded software. If you are planning to enhance the objectivity and the validity of evaluation modules, it is necessary to construct the system based on international standard. There are two international standard, ISO/IEC 12119 and ISO/IEC 9126 related to quality evaluation of software. Also ISO/IEC 14598-6 is the standard that defines the construction form of the evaluation modules. Based on these standards, We extracted the quality requirements of industrial embedded software and constructed the evaluation modules that can evaluate the content level of the quality requirements.

• The KIPS Transactions:PartA
• /
• v.12A no.7 s.97
• /
• pp.589-596
• /
• 2005

Source code quality is very Important that software embedded into product is difficult to change. In order to improve source code quality, it should be considered the quality of analysis and design models as well as the quality of source code. In this paper, we suggest 'Practice Pattern' as one of practical techniques to improve embedded software source code quality. Practice pattern is a procedural pattern to guide modeling and coding activities in software development phases. We believe that applying our pattern provides the improvement of optimum performance, modularization, and portability for embedded software source code.

• The KIPS Transactions:PartD
• /
• v.15D no.1
• /
• pp.87-98
• /
• 2008

In company with the demand of powerful processing units for embedded systems, the method to develop embedded software is also required to support the demand in new approach. In order to improve the resource utilization and system performance, software modeling techniques have to consider the features of hardware architecture. This paper proposes a partitioning technique of UML-based software models, which focus the generation of the allocatable software components into multiprocessor architecture. Our partitioning technique, at first, transforms UML models to CBCFGs(Constraint-Based Control Flow Graphs), and then slices the CBCFGs with consideration of parallelism and data dependency. We believe that our proposition gives practical applicability in the areas of platform specific modeling and performance estimation in model-driven embedded software development.