• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.463-465
• /
• 2005

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

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.25-32
• /
• 2018

This paper presents an efficient software reliability testing method for the model based auto-generated code and reify a dynamic test procedure. The benefits of executing the model-based each static/dynamic reliability test before the code-based static/dynamic reliability test are described. Also, The correlations of code/model based reliability test are demonstrated by using model testing tool, Model Advisor and Verification and Validation, and the code testing tool, PolySpace and LDRA. The result of reliability test is indicated in this paper.

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

교차-개발환경을 기반으로 한 임베디드소프트웨어 개발은 일반적인 데스크톱 컴퓨터에서의 개발방법론 및 도구와의 차이점이 발생한다. 이러한 문제점들로 인해 난이도가 높은 임베디드 소프트웨어 애플리케이션을 쉽게 개발 해주는 기술에 대한 수요가 확산됨에 따라 다양한 기종과 규격의 임베디드소프트웨어 개발환경에 최적화된 시험검증시스템이 절실히 필요하다. 본 논문은 내장형 시스템 개발자가 쉽고 편리하게 원하는 GUI 형태의 결과 분석도구를 생성할 수 있도록 하기 위한 프로파일 로그 분석 방법을 제안한다. 제안하는 로그 분석 방법에 의한 API를 통해 개발자나 사용자는 자신의 취향에 맞는 GUI 형태의 결과 분석 도구를 쉽고 빠르게 생성하여 내장형 소프트웨어 개발의 효율성을 높일 수 있으며, 고가의 해외 개발도구의 수입대체 효과를 가져와 관련 산업 발전에 크게 기여할 것으로 기대 된다. 또한 국내 시장의 활성화를 통하여 개발업체간 상호교류를 통하여 보다 나은 국내 산업 시장을 형성하여 기존 임베디드 산업의 경쟁력을 강화하고 고난도의 응용 S/W의 개발과 시험 검증을 용이하게 할 수 있어 넓은 신 시장 창출 효과를 불러올 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.592-594
• /
• 2004

프로토타입핑은 제품 개발을 위한 필요한 과정이지만 실제로 제품의 모형을 만든 후에 외형 및 기능을 검사하기 때문에 제품 개발 시간과 비용이 많이 들게 된다 컴퓨터 기술을 이용한 가상 프로토타이핑 시스템은 이러한 단점을 보안하기 때문에 않은 연구가 되고 있다 본 논문에서는 내장형 시스템 개발용 가상 프로토타입 플렛폼 제작을 위해 PDA와 휴대형 단말장치에서 가장 많이 사용되는 ARM코어를 기반으로 하는 ARMulator상에 하드웨어 IP를 구현하고 실시간 운영교제인 UC/OS-11를 이식하여 내장형 소프트웨어 개발용 가상 프로토타이핑의 환경을 구축하였다. 세 개의 타스크로 구성된 검사 프로그램를 운영하여 구축된 시스템의 동작을 확인하였다. 구축된 시스템은 내장형 시스템의 소프트웨어 개발을 위한 가상 환경을 제공한다.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.3
• /
• pp.45-55
• /
• 2008

Due to the increasing complexity of embedded system design, automatic code generation of embedded software and hardware-software co-design methodologies are gaining great interest from industries and academia. Such an automatic design methodologies are always demanding a formal system specification languages for defining designer's idea clearly and precisely. In this paper, we propose automatic embedded C code generation from SDL (Specification and Description Language, ITU-T recommended the SDL as a standard system description language) with considering a real-time uC/OS-II operating system. Our automatic embedded C code generator is expected to provide a fast specification, verification and performance evaluation platform for embedded software designs.

• Defense and Technology
• /
• no.10 s.284
• /
• pp.42-53
• /
• 2002

그 동안 군은 1970년대부터 전력증강의 일환으로 각종 무기체계 연구개발 사업을 추진해 오면서 무기체계에 내장되는 소프트웨어의 중요성을 인식하고 있었음에도 불구하고 하드웨어 위주의 무기체계획득관리 업무로 인하여 소프트웨어 개발관리 소홀로 무기체계 배치 후 유지보수에 막대한 시간과 비용이 투입되고 있는 실정이다. 그러나 최근 무기체계에 사용되는 소프트웨어에 대한 품질보증 및 형상관리 활동 강화의 일환으로 무기/비무기체계 내장형 소프트웨어에 대한 관리지침(안)을 제정하려는 움직임을 앞으로 군이 무기체계를 운용함에 있어 성능은 물론 무기체계의 신뢰성, 유지보수성을 확보하기 위한 관점에서 볼 때 매우 시기 적절한 방향이라 하겠다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.586-588
• /
• 2001

원전보호계통(RPS: Reactor Protection System)은 사고 시 치명적 피해를 입을 수 있다는 점에서 안전에 대한 중요도가 가장 높은 Safety 1E class로 분류되며, 이러한 보호계통을 디지털 라이즈 하는데 있어서 높은 신뢰도에 대한 보장이 필요하다. 따라서 본 논문에서는 DPPS(Digital Plant Protection System) 내에서 작동하는 내장형 소프트웨어의 높은 신뢰성을 보장하기 위한 테스팅 방법론을 제시하고자 한다. DPPS에서 작동하는 내장형 소프트웨어를 테스트하기 위한 방법은 크게 두 가지로 나누어진다. 첫 번째 단계는 절차중심의 프로그램에서 객체를 추출하고 이를 이용하여 클래스를 추출하는 제공학의 단계이다. 두 번째 단계는 이러한 클래스들을 이용하여 레벨별 테스팅을 수행하기 위한 테스트 아이템을 추출하고, 추출된 테스트 아이템을 이용하여 테스트 케이스를 선정하는 단계이다. 이렇게 각 레벨별로 선정된 테스트 케이스를 이용하여 단위 테스팅, 통합 테스팅, 시스템 테스팅 이렇게 3단계의 레벨별 테스팅을 수행한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.454-456
• /
• 2004

다양한 환경과 급변하는 시장의 적시성 요구사항(time-to-market)을 반영하기 위해서는 재구성 가능한 컴포넌트 기법을 통한 개발이 소프트웨어 공학 측면에서 많이 연구되어 왔다. 하지만 이러한 컴포넌트 기법은 여러 장정에도 불구하고. 성능 저하라는 측면 하나만으로 시스템 잊 플랫폼 구축분야에서 소외당해 온 것이 사실이다 그러나 최근 유비쿼터스 및 내장형 시스템이 대두됨에 따라 이러한 판도에 많은 변화가 예상되고 있다. 이는 현재 활발히 연구.개발되고 있는 유비쿼터스 밀 내장형 시스템 기반의 어플리케이션은 획일화되지 않은 환경 하에 있는 물리적 환경의 특성상 일정한 플랫폼의 형태에서 벗어나 매우 다양한 환경에 융통성 있게 적용되어야 하고. 이에 상위 프로그램에 투명성을 제공할 수 있는 플랫폼이 필요로 하게 되었다 따라서 본 논문에서는 내장형 시스템 밀 유비쿼터스 환경에 적합한 미들웨어 플랫폼을 구성하기 위해. 재구성과 융통성을 제공하기 위한 컴포넌트기반 소프트웨어 개발 방법을 적용한 새로운 자바 가상머신 설계기법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.33-36
• /
• 2010

소프트웨어가 대형화되고 복잡해짐에 따라 발생하는 오류가 증가되고 있다. 안전성이 특히 중요시되는 안전필수(safety-critical) 내장형 시스템에서 오류가 발생하면 인명상의 피해 또는 재산상의 피해를 야기한다. 개발 후, 테스팅을 통해 이런 오류를 찾는 비용은 매우 크고, 모든 오류를 찾는 것은 불가능하다고 인식되고 있다. 따라서 소프트웨어 개발단계에서 이런 오류를 탐지하고 제거하려는 노력이 증대되고 있다. 본 논문에서는 SPARK Ada를 사용하여 안전필수 내장형 시스템을 개발할 때, 오류를 제거할 수 있는 흐름분석(flow analysis) 기법을 사용하여 특정한 타입의 오류를 제거할 수 있음을 보인다. 또한 이를 적용하여 안전필수 시스템을 개발한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.337-341
• /
• 2008

갈수록 복잡해지는 내장형 시스템을 개발함에 있어서 소프트웨어 개발의 중요성은 날로 커지고 있다. 기존 연구에서 소프트웨어 개발 효율을 높이기 위해 소프트웨어의 재사용 가능성을 높이고 병렬성 명세를 용이하게 하고자 중간단계코드(CIC)를 정의하였다. 이 중간단계 코드는 각 태스크의 순수 알고리즘을 기술하는 C형태의 태스크 코드와 그 외의 정보를 포함하는 XML형태의 아키텍쳐 정보 파일로 구성된다. 이 CIC는 사용자가 직접 기술할 수 있고 각종 모델로부터 자동 생성할 수도 있다. 이 논문에서는 후자에 초점을 두고 데이터 플로우 모델에 사용된 블록들을 클러스터링하여 태스크 코드를 생성하는 기법을 제안하였다. 이것을 위해 블록 클러스터링 알고리즘은 주어진 클러스터의 크기로 블록이 묶일 때까지 블록의 수행시간 정보를 고려하여 함수 병렬성을 최대한 보존하며 블록들을 묶어나간다. H.263 코덱 예제를 이용한 실험을 통해 제안하는 방법이 다양한 클러스터의 크기 조건에 대해서 다양한 클러스터링 결과를 제공함을 보였다.