• IEMEK Journal of Embedded Systems and Applications
• /
• v.12 no.3
• /
• pp.159-167
• /
• 2017

Software safety is a key issue in embedded system of automotive and aviation industries. Various software testing approaches have been proposed to achieve software safety like ISO26262 Part 6 in automotive environment. In spite of one of the classic and basic approaches, stack memory is hard to estimating exactly because of uncertainty of target code generated by compiler and complex nested interrupt. In this paper, we propose an approach of analyzing the maximum stack usage statically from target binary code rather than the source code that also allows nested interrupts for determining the exact stack memory size. In our approach, determining maximum stack usage is divided into three steps: data extraction from ELF file, construction of call graph, and consideration of nested interrupt configurations for determining required stack size from the ISR (Interrupt Service Routine). Experimental results of the estimation of the maximum stack usage shows proposed approach is helpful for optimizing stack memory size and checking the stability of the program in the embedded system that especially supports nested interrupts.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2007.06a
• /
• pp.481-484
• /
• 2007

This paper presents a method of constructing the system-on-chip(SoC) based on embedded systems. The proposed method is more compact and effectiveness than former methods. The requirements generation start high level performance simulation and then passes to an executable specification suitable for implementation using a hardware/software co-design tool. The reuse of pre-exiting components is supported, as well as synthesis of the system interface, but only after much work is done to program the hardware/software co-design tool. The actual design flow described allows feedback among all design levels, e.g. from implementation up to requirements, throughout the process. In the future, it is necessary to development the advanced method of constructing system-on-chip based on embedded systems.

• Proceedings of the KIEE Conference
• /
• 2007.10c
• /
• pp.204-206
• /
• 2007

The portion of embedded software in railway signaling system is increased by the advance of computer and communication technology. And the safely requirements for railway system are standardized by int'l std., such as IEC 62278 and IEC 62279. According to these circumstances for software safety problems, we are deduced the testing items for software safety test and assessment for railway signaling. Testing tools used for embedded software are surveyed to find a feasible safety assessment architecture. And the architecture of automatic test tool is proposed to test the deduced safely testing items in this paper.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.4 no.3
• /
• pp.103-111
• /
• 2009

Software update has been regarded as one of fundamental functions in wireless sensor networks. It can disseminate a delta-image between a current software image operating on a sensor node and its new image in order to reduce an update image(transmission data) size, resultantly saving energy. In addition, code-banking capability of micro-controllers can decrease the update image size. In order to maximize the efficiency of the software update, the proposed scheme exploits both the delta-image and the code-banking at the same time. Besides, it additionally delivers a recovery delta-image to properly handle abnormal conditions, such as message corruptions and unexpected power-off during the update.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.07a
• /
• pp.39-40
• /
• 2023

본 논문은 딥러닝 기반의 소리 인식 모델을 기반으로 실내에서 발생하는 다양한 소리를 시각적인 정보로 제공하는 시스템을 위해 경량화된 CNN ResNet 구조의 인공지능 모델을 제시한다. 적용하는 경량화 기법은 모델의 크기와 연산량을 최적화하여 자원이 제한된 장치에서도 효율적으로 동작할 수 있도록 한다. 이를 위해 마이크로 컴퓨터나 휴대용 기기와 같은 임베디드 장치에서도 원활한 인공지능 추론을 가능하게 하는 모델을 양자화 기법을 적용한 경량화 방법들을 실험적으로 비교한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.11 no.6
• /
• pp.477-487
• /
• 2005

As embedded system grows in size and complexity, the importance of the technique for dynamic memory allocation has increased. The objective of this paper is to measure the performance of dynamic memory allocation by varying both hardware and software design parameters for embedded systems. Unlike torrent performance evaluation studies that have presumed the single threaded system with single address spate without OS support, our study adopts realistic environment where the embedded system runs on Linux OS. This paper contains the experimental performance analyses of dynamic memory allocation method by investigating the effects of each software layer and some hardware design parameters. Our quantitative results tan be used to help system designers design high performance, low power embedded systems.

• Journal of Korea Multimedia Society
• /
• v.10 no.11
• /
• pp.1446-1459
• /
• 2007

This paper presents and analyzes a novel technique that makes it possible to improve the performance of low-end embedded systems through SoC(System-on-a-Chip) platform supporting dynamic cooperation between hardware and software modules. Traditional embedded systems with limited hardware resources have the poor capability of carrying out multi-tasking jobs including complex calculations. The proposed SoC platform, which provides dynamic cooperation between hardware and software modules, decomposes a single specific system into tasks for given system requirements. Additionally, we also propose a technique for efficient communication and synchronization between hardware and software tasks in cooperation with each other. Several experiments are conducted to illustrate the application and efficiency of the proposed SoC platform. They show that the proposed SoC platform outperforms the traditional embedded system, where only software tasks run, as the number of memory access is increased and the system become more complex.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.5
• /
• pp.355-359
• /
• 2009

When an unexpected software exception arises, we programmers are to analyze what causes it. Precisely speaking, we need to analyze the cause and property of the unexpected exception. But if exceptions arise irregularly from unknown causes, it is even more difficult for us to handle them, especially in embedded system like mobile phone software development. In this paper, we propose a debugger-friendly analyzing method for exceptions using aspect oriented programming technique. What we need to know upon arising exceptions is the function call history in order to identify the reason for the exceptions. Since programmers used to spend their debugging time on unidentified exceptions, which arise irregularly our method would greatly improve the embedded software development productivity.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.19 no.1
• /
• pp.43-49
• /
• 2016

This paper addresses the problem of the software update or upgrade of embedded equipments on a missile assembly with booster. Because the embedded equipments are assembled delicately and closely one another with various communication and power cables, they should be very carefully disassembled to directly upgrade the software of a certain embedded equipment. This may cause not only the costs for disassembly and reassembly but also additional tests to verify the completeness of the reassembled missile as a missile assembly with booster. This paper presents an indirect data transfer technique based on MIL-STD-1553B through Guidance Control Unit to easily upgrade the software of other equipments without any additional costs caused by disassembly and reassembly. The presented technique was successfully applied to the software upgrade of various equipments on real missile assembly with booster.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.10
• /
• pp.271-281
• /
• 2009

In this paper, we propose the enhanced Assessment Model of the Embedded Software Process(MND-ESPAM) which is suitable for the development work of weapons in Korea. In 2008. We developed the MND-ESPAM which is the assessment criteria of software process, but this model is inefficient to apply to Korean military area. Therefore, we elicit and analyze the problems of MND-ESPAM through tow methods. One is to research on the actual condition of the domestic defense industry about software process management. And the other is to apply MND-ESPAM to the defense companies acquiring CMMI level. In order to overcome these problems elicited above, we provide solutions to make MND-ESPAM linked with Software Development Process Guide of Defense Acquisition Program Administration(DAPA) and to systematically strengthen testing activities and to reduce the number of process areas. The proposed model was proved by two objective methods such as checking the coverage with CMMI and whether it is satisfied or not by modified requirements ISO/IEC 14598-3. At last, experts in the field of software process confirmed the effect of MND-ESPAM through applying MND-ESPAM to the defense industry company.