Earticle

Recently, the need for accessing information from anywhere at any time has been a driving force for a variety of mobile applications. As the number of embedded systems increases rapidly, there has been a growing demand for the use of Service Oriented Architecture (SOA) for various applications. Embedded system service offers a systematic way to classify and assess technical realizations of business processes. But embedded system has restricted range of utilizing services in computing environment and more, a mobile computer is envisioned to be equipped with more powerful capabilities, including the storage of a small database, the capacity of data processing, a narrow user input and small size of display. This paper present embedded system software testing based on SOA to overcome mobile restriction. To improve embedded system efficient we analyzing mobile application requirement, writing service specification, optimizing design, providing extended use case specification which test use case testing and testing service test case which derived from service specification.

With high performance of hardware and development of diverse devices such as sensors, the embedded system is required to satisfy instant and diversified demands. Embedded middle ware should perform a mediating role of continuous management for productivity of complex embedded system, recombination of device, and provision of convenience in management by analyzing functions of existing system and more effectively handling new functions. To do so in this paper, composition and handling procedure of remote embedded system are schematized and a middle ware framework and dynamic module reuse method appropriate for small embedded system are designed, proposing a method for embodiment of software for reuse of resources and remote management.

본 논문에서는 무기체계 내장형 소프트웨어 시큐어 코딩 교육을 위한 교육 과정을 설계하여 제안 한다. 무기체계 내장형 소프트웨어에 대한 개발보안 적용과 시큐어 코딩은 무기체계 내장형 소프트웨 어에 대해 증가하는 사이버 위협에 대한 대응방안으로 중요하다. 그러나 현재 시큐어 코딩 제도와 교 육은 전자정부 웹서비스에만 한정되어 있어, 무기체계 소프트웨어에 대한 위협에 대응이 어렵다. 그 러므로 무기체계 내장형 소프트웨어의 특성을 고려한 교육 과정에 대한 요구사항의 분석과 이를 활 용한 교육과정의 설계가 필요하다. 본 논문에서는 무기체계 내장형 소프트웨어 특성을 고려한 시큐어 코딩 교육의 요구조건을 도출하여 계층분석기법으로 분석하여 요구조건 우선순위를 중심으로 하는 시큐어 코딩 교육 교과 과정을 설계하여 제안한다.

In this paper, we propose an secure coding education program for warfare system embedded software. warfare system embedded software. It is very important that applying secure coding for warfare system embedded software to prevent cyber threatens on warfare system embedded software. but nowadays every secure coding policy and education programs are only for the e-gov framework web-services. And there is need for secure coding education program design considering warfare system embedded software characteristic and requirement. In this paper, we analysis requirement. considering warfare system embedded software characteristic. And we propose an new secure coding education program especially considering warfare system embedded software characteristic and requirement which are analyzed by AHP..

요즈음 전 세계적으로 경제위기가 심각해지고 우리나라 서민들의 생활이 어려워지면서 많은 신용불량자가 발생하고 있다. 이러한 상황에서 우리는 개인이 실시간으로 구매내역 및 금액을 확인할 수 있는 e-receipt 시스템을 개발하였다. 개발과정에서는 임베디드 소프트웨어 공학 프로세스를 적용하였다. 우리가 개발한 e-receipt 시스템은 개인의 신용카드의 무분별한 사용으로 인한 과소비를 예방하고 계획적인 지출을 유도할 수 있을 것이다.

In these days, world economic crisis is getting worse and most of us are having difficulties in handling financial balance. By noticing that credit card is the most important payment method of individuals, we developed e-receipt system, which helps a person easily keep track of credit card spendings by showing purchase and transaction details in real-time. We've used embedded software engineering techniques in developing the e-receipt system. The system we developed here will benefit most of us by preventing over-spending of credit cards and will lead to healthy spending habits.

Microprocessor의 성능은 향상되는 반면 관련 hardware의 가격은 계속 하락하고 있다. 따라서 자동화 기기와 같은 특수기기내에서 microprocessor관련 hareware의 비용이 전체기기의 가격에서 차지하는 비중이 점차로 줄어들고 있고 이와 같은 기기류에 32bit microporcessor와 같은 고성능의 hardware를 장착하는 경우가 늘고 있다. 그러나 이에 걸맞는 software의 제작은 결코 쉬운 일이 아니다. 이와같은 고성능의 기기에 필요한 적절한 software의 제작 및 유지보수를 위해서는 반드시 적절한 개발환경이 필수적이라고 할 수 있다.

A large portion of the embedded system development process involves the integration of hardware and software. Unfortunately, communication across the hardware/software boundary is tedious and error-prone to create. This paper presents an automatic hardware/software interface generation system. As the front-end of hardware/software co-design frameworks, a system designer defines XML specifications for hardware functions. Our system generates hardware/software interfaces including Device Driver, Driver API, and Device Controller from these specifications. Embedded software designers can easily use hardware just like system libraries. Our system reduces the mistakes and errors that can be occurred when a software programmer directly connects software to hardware, and supports balancing labors between hardware developers and software programmers. Moreover, this system can be used as the back-end for a hardware/software co-design framework.

Vehicle detector system based on image processing technology is a significant domain of ITS (Intelligent Transportation System) applications due to its advantages such as low installation cost and it does not obstruct traffic during the installation of vehicle detection systems on the road[1]. In this paper, we propose architecture for vehicle detection by using image processing. The architecture consists of two main parts such as an image processing part, using high speed FPGA, decision and calculation part using CPU. The CPU part takes care of total system control and synthetic decision of vehicle detection. The FPGA part assumes charge of input and output image using video encoder and decoder, image classification and image memory control.

내장형 시스템의 요구사항이 복잡해짐에 따라 신뢰성이 높은 소프트웨어 생산이 어려워지고 있다. 본 논문은 신뢰성 높은 내장형 시스템의 소프트웨어를 생산을 위해 교차 컴파일 환경에서 사용 가능한 소프트웨어 테스팅 도구를 제안한다. 일반적으로 테스팅 도구는 독자적인 테스트 스크립트를 사용한다. 그러므로 테스팅을 하고자하는 개발자는 테스팅 도구에서 사용하는 테스트 스크립트를 학습하여야한다. 즉, 개발자가 기존의 테스트 도구를 사용하기 위해서는 새로운 스크립트 언어를 학습해야 하는 부담을 가지고 있다. 본 논문에서 제안하는 시스템은 이러한 단점을 극복하기 위해서 개발자에게 친숙한 XML을 이용하여 테스트 스크립트를 설계한다. XML은 마크 업 언어의 표준으로 다양한 응용을 가지고 있고 다른 형태의 포맷으로 쉽게 변환 가능하다는 장점을 가지고 있다. 또한, GUI 기반의 테스트 스크립트 생성기를 제공하여 개발자에게 직관적인 테스트 스크립트 작성을 할 수 있도록 제안한다. 그리고 기존의 테스트 스크립트와 달리 테스트 스크립트 언어 레벨에서의 테스트 분기를 제공하고 있어 테스트 결과에 따른 다양한 테스트를 실시할 수 있다. 본 테스팅 도구는 개발자에게 테스트 드라이버 작성을 위한 노력을 줄여 더욱 질 좋은 프로그램을 생성하는데 기여할 것으로 기대된다.

임베디드 시스템 소프트웨어 개발과정에서, 자연어로 작성된 요구명세와 소프트웨어 엔지니어와 하드웨어 엔지니어 사이의 서로 다른 언어와 개발도구의 차이로 인해 많은 문제들이 있어왔다. 즉, 개발자의 실수로 설계가 잘못 명세 되었거나 요구명세와 실제 구현된 시스템 소프트웨어의 인터페이스 코드나 요구된 수행이 일치하지 않았다. 이를 해결하기 위해 본 논문에서는 정형기법을 이용하여 요구사항을 명세하고 설계를 검증함으로써 개발자의 실수로 인한 오류를 줄이고 개발된 시스템 소프트웨어의 인터페이스 코드 및 수행이 요구명세를 만족함을 보이도록 정형기법을 이용한 개발 프레임워크를 제안하고자 한다.

UML(Unified Modeling Language) is the most frequently used modeling language in the process of analysis, design, implementation and etc. The main reason of using UML is not only to help users to work visually but also to draw better communication among developers. In addition, UML is one of the global standards and supports MDA. In this paper embedded software development method for USN using UML is discussed To show how the development method is used, IEEE 802.15.4 radio module are programmed using UML software tool.

본 논문은 컴포넌트 기반의 무기체계 임베디드 소프트웨어 개발방법론을 제안한다. 이를 위해 먼저 국방 소프트웨어 개발 관련 규정, 무기체계 임베디드 소프트웨어, 컴포넌트 기반의 개발 방법 그리고 임베디드 소프트웨어 개발방법의 특징을 바탕으로 기존 CBD 방법론을 분석한다. 그런 다음 개발방법론 설계 고려요소를 도출하고, 고려요소를 바탕으로 컴포넌트 기반의 소프트웨어개발(CBSD)과 컴포넌트 개발(CD)에 대해 어떻게 설계를 할 것인가, 산출물간에 어떤 상호작용을 하는지를 설명하는 컴포넌트 기반의 무기체계 임베디드 소프트웨어 표준 개발방법론을 제시한다.

내장형 시스템의 기능이 복잡해지면서, 내장형 소프트웨어에 대한 테스팅이 중요하게 인식되고 있다. 특히 원자력 발전소 계통 기기와 같이 안전에 대한 치명도가 높은 Safety-Critical Embedded System일수록 탑재되는 내장형 소프트웨어에 대한 철저한 테스팅이 요구되기 때문에 본 논문에서는 대상 시스템에 탑재되는 소프트웨어 테스트를 중심으로 하여 Safety-Critical Embedded System을 위한 테스트 프로세스 및 이에 필요한 테스팅 기법을 제안한다.

기술발전에 따라, 보다 다양한 분야와 영역에 다양한 형태의 임베디드 시스템이 사용됨에 따라, 그에 대한 신뢰성과 안전성에 대한 요구가 증가하면서, 하드웨어 뿐만 아니라 소프트웨어까지도 포함한 부분에 대한 철저한 명세와 그에 따른 검증이 요구되고 있어, 임베디드 시스템 및 소프트웨어의 요구사항 검증을 위해 요구사항 시뮬레이션이라는 기법을 적용하고, 그 효용성을 확인하고자 한다.

기술발전에 따라, 보다 다양한 분야와 영역에 다양한 형태의 임베디드 시스템이 사용됨에 따라, 그에 대한 신뢰성과 안전성에 대한 요구가 증가하면서, 하드웨어 뿐만 아니라 소프트웨어까지도 포함한 부분에 대한 철저한 명세와 그에 따른 검증이 요구되고 있어, 임베디드 시스템 및 소프트웨어의 요구사항 검증을 위해 요구사항 시뮬레이션이라는 기법을 적용하고, 그 효용성을 확인하고자 한다.

In this paper, we introduce that MAAB style guideline has effects on the codes generated from Simulink models for static and dynamic software testing, when weapon system embedded software design and implementation are performed using the model based method. As showing the effects, MAAB guideline is helpful for defect prevention related with coding rules and run time errors associated with the DAPA weapon system embedded software guide. Thus, we check related items between MAAB and DAPA software reliability testing including static and dynamic analysis. And then we propose the criterion to select proper items from MAAB for DAPA guideline and show how to verify the relationship and the effects on reliability of models in Simulink. In addition, we show the needs for clear logics in conditional block models or statements and simple complexity models for Simulink model based design.

정보 가전 분야에 있어서 급속한 기술 발전으로 인해 하루가 다르게 새로운 기능이 추가됨에 따라 임베디드 시스템 소프트웨어의 크기 및 복잡도 또한 함께 증가하고 있고 이를 개발하고 유지보수 하는데 있어서도 막대한 비용과 노력이 요구된다. 이를 해결하기 위한 방안으로 소프트웨어의 재사용성을 높이기 위한 노력이 이어지고 있다. 본 논문에서는 프로세스 방식 기반의 OS를 적용한 소프트웨어를 스레드 방식의 OS 기반의 소프트웨어로 전환하여 임베디드 시스템을 구현하였으며 소프트웨어 방법론으로는 스레드 방식의 OS 기반 소프트웨어에 수정된 DARTS(Design Approach to Real- Time Systems) 방법론을 적용하여 시스템을 구현하였다. 이 구현된 시스템에서 재사용성을 측정하여 표로 제시하며 그 측정 결과를 분석하였다. 그리고 스레드 방식의 OS 기반 소프트웨어에 수정된 DARTS 방법론을 적응하여 코드만 재사용이 아니라 설계방법도 재사용이 가능함을 CE 제품에 보이고자 한다.

본 논문에서는 현재의 IT 분야의 핵심 기술 중에 하나인 임베디드시스템을 하드웨어/소프트웨어 통합설계 방법론에 기초를 두고 구성하는 방법의 한 가지를 제안하였다. 제안한 방법에 기초하여 각 종 진보된 멀티미디어시스템을 구현할 수 있으리라 사료되며, 또한 이를 기반으로 좀 더 진보된 각종 디지털컨텐츠를 구현할 수 있으리라 전망되며, 특히 최근 대두되고 있는 모바일 컨텐츠 구현에 적용이 기대된다.

This paper presents a method of constructing the embedded systems based on hardware/software co-design approach that was key methodology. The proposed method was important technology enable to implement advanced multimedia systems and digital contents creating that are rapidly growing of the new information technology.

SDR(Software Defined Radio)은 여러 세대의 이동 통신 시스템 무선방송 및 다양한 통신 시스템이 존재하는 환경에서 소프트웨어 업그레이드로 무선장치 및 서비스를 제공할 수 있는 효율적인 해결 방안으로 대두되고 있다. SDR 이라는 기술은 하드웨어 수정 없이 모듈화 된 소프트웨어의 변경만으로 단일의 송수신 시스템을 통해 다수의 무선 통신 규격을 통합 수용하는 무선 인터페이스 기술이다[1]. 이러한 기술을 실현하기 위해서는 소프트웨어 다운로드 기술이 매우 중요하게 된다. 왜냐하면 시스템에 프로그램을 다운로딩해서 하드웨어가 Reconfiguration 되어 사용자가 원하는 대로 시스템이 셋팅이 될 수 있어야 하기 때문이다. 소프트웨어 다운로드 방법에는 크게 공중파를 이용하는 방법, 컴팩트한 이동식 디바이스로부터 다운로딩 받는 방법, 전화나 케이블 서비스 등을 통해 근거리/원거리 호스트 서버로부터 소프트웨어를 다운로딩 받는 방법, 네트워크를 통해서 소프트웨어를 다운로드 하는 방법 등이 있다[2]. 이 중에서 본 논문에서는 SDR을 위한 임베디드 시스템을 구현 하였고, 리눅스 포팅을 하였으며 스마트 카드를 이용한 소프트웨어 다운로드 방범을 제시함으로써 SDR 의미 구현을 시도해 보았다.

임베디드 시스템은 특별한 목적을 수행하기 위해 컴퓨터 하드웨어와 소프트웨어를 결합시킨 것이다. 임베디드 시스템은 일반 데스크탑보다 작은 규모의 하드웨어에서 운영된다. 임베디드 시스템은 파워, 공간, 메모리 등의 여러 가지 환경적 요소에 제약을 받는다. 그리고 임베디드 시스템은 실시간으로 동작하기 때문에 임베디드 시스템에서 소프트웨어의 실패는 일반 데스크탑에서보다 훨씬 심각한 문제를 발생시킨다. 따라서 임베디드 시스템은 주어진 자원을 효율적으로 사용하여야 하고 임베디드 시스템의 실패율을 낮춰야만 한다. 치명적인 문제를 발생시킬 수 있는 임베디드 시스템의 실패의 원인 중 하나가 메모리에 관련한 문제이다. 임베디드 시스템 특정상 메모리 문제는 크게 하드웨어 기반의 메모리 문제와 소프트웨어 기반의 메모리 문제로 분류된다. 소프트웨어 기반의 메모리에 관련한 문제는 Memory Leak, Freeing Free Memory, Freeing Unallocated Memory, Memory Allocation Failed, Late Detect Array Bounds Write, Late Detect Freed Memory Write 등과 같은 것들이 있다. 본 논문에서는 임베디드 시스템의 메모리 관련에 대한 문제점을 파악하고 관련 툴을 연구하여 그 문제점들을 효율적으로 해결할 수 있는 기법을 점증적으로 연구하고자 한다.