• Journal of Korea Society of Industrial Information Systems
• /
• v.13 no.2
• /
• pp.18-27
• /
• 2008

In recent years, the functions added ta an embedded system have grown various and complex in most parts of the applications. Embedded software comes to include more functions and is getting bigger. Therefore it is getting difficult for software developers to keep the development time to market on time. This leads to a need for adequate design and test technique for embedded software. In this paper, we propose a software architecture style for embedded software. It facilitates the composition of reusable functions and helps developers reduce development time. We also propose a test method and tools for embedded software running on target systems.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.1999-2002
• /
• 2002

임베디드 소프트웨어의 품질시험을 통해 임베디드 시스템 구매자들의 요구에 부합되는 고품질의 시스템을 구현할 수 있도록 지원할 수 있다. 지금까지 일반적인 SI 소프트웨어에 대한 품질평가 방법론이나 평가 기법, 평가 도구 등이 개발된 사례가 있으나 임베디드 소프트웨어의 경우에는 아직까지 국내에서 활용할 수 있는 구체적인 체계가 구축되어 있지 않은 실정이다. 최근 다양한 임베디드 시스템들이 출시되어 소비자의 선택을 기다리고 있으나 품질면에서 많은 문제점들이 노출되고 있다. 본 연구에서는 임베디드 소프트웨어 평가를 위해 ISO/IEC 12119를 근간으로 하여 평가를 수행한 수 있는 평가모델과 품질검사표를 개발하여 임베디드 소프트웨어 평가에 적용할 수 있도록 하였다.

• 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.

• Review of KIISC
• /
• v.24 no.2
• /
• pp.50-55
• /
• 2014

자동차 전장제품 활용의 급속한 증가에 대응하기 위하여 자동차 분야에서는 ISO 26262 안전설계절차를 도입하여 차량용 임베디드 시스템의 안전성을 확보하려고 노력하고 있다. ISO 26262는 자동차에서 발생 가능한 비정상상태(abnormal state)를 식별하고 그의 영향을 분석하며 전체 시스템의 안전을 검증하는 것을 목표로 하고 있다. 다양한 종류의 부품이 연동되는 복잡한 시스템의 안전 검증은 결함수목법과 고장모드영향분석법을 활용하는 위험분석법이 보편적으로 사용된다. 결함주입시험은 이러한 위험분석의 기반도구로서 안전성을 향상시키기 위하여 사용된 고장감내 기능의 동작여부 및 그에 따른 시스템의 안전성을 검증하는 목적으로 사용된다. 본 논문에서는 차량용 고신뢰성 임베디드 시스템에서 사용되는 고장감내 메카니즘들의 기능과 안전을 검증하는 방법과 사례를 소개한다. 최근의 복잡한 차량용 임베디드 시스템의 개발은 상위수준의 모델을 개발하여 지정된 위험 및 고장을 초래하는 결함을 시스템에 주입하고 그의 결과를 분석하여 안전을 검증하는 것이 일반적인 방법이다. 개발 목표 차량의 임베디드 시스템 모델을 개발하고, 식별된 결함의 결함모델을 준비한 뒤, 시스템 모델 기반 결함주입 도구를 이용하여 결함주입을 수행하는 시험방법과 그 결과에 대하여 논의한다. 하드웨어는 SystemC 하드웨어 설계언어를 이용하여 개발하고, 소프트웨어를 컴파일하여 실행화일을 확보하여 시험대상인 결함모델을 개발하고 이를 대상으로 결함주입시험에 대해 설명한다.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.31 no.5
• /
• pp.63-72
• /
• 2013

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.1251-1254
• /
• 2012

본 논문은 Gary E. Mogyorodi[1]가 제시한 기법을 기반으로 Use-Case Approach 접목을 통해 테스트케이스 추출을 제안하고자 한다. 최근 이슈가 되고 있는 임베디드 시스템은 기존의 결정적 소프트웨어와 달리 비결정적, 실시간 또는 병렬적 시스템이다. 그래서 이러한 복잡한 시스템을 모델링 하기 위해서, 메시지 순차적 다이어그램을 확장을 통해 해결하고자 한다. 또한 Gary E. Mogyorodi[1]가 제시한 기법과 확장된 메시지 순차적 다이어그램을 접목을 통해 Test Case 를 생성하기 및 추출하고자 한다. 이 테스트케이스로 선 시험함으로써 실제 개발과 구현단계에서 오류를 참조하여 시간과 비용을 줄이고자 한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.605-615
• /
• 2018

Due to the rapid growth of the Internet of Things market, the use of the C/C++ language, which is the most widely used language in embedded systems, is also increasing. To improve the quality of code in the C/C++ language and reduce development costs, it is better to use static analysis, a software verification technique that can be performed in the first half of the software development life cycle. Many programs use static analysis to verify software safety and many static analysis tools are being used and studied. In this paper, we use Clang static analysis tool to check security weakness detection performance of verified test code. In addition, we compared the static analysis results of the test codes applied with the source obfuscation techniques, layout obfuscation, data obfuscation, and control flow obfuscation techniques, and the static analysis results of the original test codes, Analyze the detection ability impact of the Clang static analysis tool.

• Journal of the Institute of Convergence Signal Processing
• /
• v.13 no.2
• /
• pp.83-90
• /
• 2012

In this paper, an intelligent visual surveillance system based on a NIOS II embedded platform is implemented. By this time, embedded based visual surveillance systems were restricted for a special purpose because of high dependence upon hardware. In order to improve the restriction, we implement a flexible embedded platform, which is available for various purpose of applications. For high speed processing of software based programming, we improved performance of the system which is integrated the SOPC type of NIOS II embedded processor and image processing algorithms by using software programming and C2H(The Altera NIOS II C-To-Hardware(C2H) Acceleration Compiler) compiler in the core of the hardware platform. Then, we constructed a server system which globally manage some devices by the NIOS II embedded processor platform, and included the control function on networks to increase efficiency for user. We tested and evaluated our system at the designated region for visual surveillance.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.1015-1018
• /
• 2013

최근 임베디드 펌웨어를 객체 지향 어플리케이션과 함께 개발하는 경우가 증가하고 있다. 하지만 기존의 펌웨어는 절차적 설계를 기반으로 하기 때문에 어플리케이션과 다른 설계 기법이 필요하여 개발 비용과 테스트 비용이 증가한다. 그렇지만 아두이노를 사용하면 펌웨어를 객체 지향 설계가 가능하다. 본 논문은 객체지향 적용 펌웨어를 설계에 초점을 두고, Gary E.Mogyorodi의 Test Case 생성 방법을 적용하여, 실제 펌웨어를 시험을 하고자 한다. 이 방법이 가능하면 일반적인 펌웨어와 어플리케이션을 같은 방법으로 설계 및 테스트가 가능하다. 적용사례로써, 한백전자 HBE-SmartCAR의 펌웨어를 아두이노 기반으로 설계 및 추출된 Test Case 실행을 통해, 설계와 구현이 동일함을 검증이 가능하다.