• 대한임베디드공학회논문지
• /
• 제14권6호
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.

• 한국정보과학회논문지:시스템및이론
• /
• 제35권6호
• /
• pp.284-292
• /
• 2008

메모리 기술이 발달함에 따라 메모리의 집적도가 증가하게 되었고, 그에 따라 구성요소들의 크기가 작아지게 되고, 고장의 감응성이 증가하게 되어, 테스트는 더욱 복잡하게 된다. 또한, 칩 하나에 포함되어 있는 저장요소가 늘어남에 따라 테스트 시간도 증가하게 된다. SoC 기술의 발달로 대용량의 내장 메모리를 통합할 수 있게 되었지만, 테스트 과정은 복잡하게 되어 외부 테스트 환경에서는 내장 메모리를 테스트하기 어렵게 되었다. 본 논문은 ARM 프로세서 기반의 SoC 환경에서의 임베디드 메모리를 테스트할 수 있는 프로그램 가능한 메모리 내장 자체 테스트를 제안한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2010년도 춘계학술대회 논문집
• /
• pp.2223-2231
• /
• 2010

최근 자동차, 철도, 선박, 항공기 등 교통수단의 핵심 장치가 CPU가 들어 있는 컴퓨터 제어장치로 전환되어 가고 있는 상황이다. 자동차 사고사례 중 상당 부분의 원인으로 컴퓨터 제어장치에 탑재된 내장형 소프트웨어의 결함이라고 분석한 보고서가 발표되고 있다. 내장형 탑재 소프트웨어에 대하여 결함 제거를 위한 시험이 충분하지 못한데서 문제가 있을 수 있다. 결국 이러한 내장형 소프트웨어의 시험 기준으로 안전성 평가 기준을 철저히 적용하고 이에 적합한 단위테스트 절차를 구축하는 것이 필요하다. 본 논문은 안전성평가 기준에 적합한 내장형 탑재 소프트웨어에 대한 단위테스트 절차에 대한 방안을 제시하는데 그 목적이 있다. 내장형 탑재 소프트웨어에 대한 테스트에는 단위 테스트, 통합테스트, 시스템테스트 등이 있으며, 이중 가장 많은 결함을 발견하는 것은 단위 테스트이다. 본 논문에서는 테스트계획, 테스트절차, 테스트케이스, 테스트시나리오, 테스트 도구, 재테스트 기준 등에 대한 효과적인 단위테스트 준비 과정과 단위테스트를 수행하면서 발생하는 업무, 즉 결함식별, 결함분류, 결함분석, 결함원인, 결함조치 및 확인, 재테스트 실시, 테스트보고 등의 활동을 체계적으로 구축하는 방안을 제시한다. 또한 개발된 내장형 탑재 소프트웨어의 프로그램 소스를 일일이 눈으로 검사하여 결함을 발견하기란 쉽지 않다. 안전성평가 기준이 내장된 테스트 도구를 활용함으로써 내장형 탑재 소프트웨어 단위테스트의 작업시간을 줄이고 결함발견 및 원인분석에 대한 자동화된 보고서를 얻음으로써 테스트 생산성 및 소스코드의 품질 향상을 달성할 수 있는 방안도 아울러 제시한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.272-279
• /
• 2007

Recently, train control system is adopting computer system replacing mechanical system and its software is taking more responsibility than ever. Train control system software is a safety-critical embedded software with realtime and high reliability requirements. In this paper, we propose a safety assessment method for the train control system software. We review characteristics of train control system software and analyze related international software safety standards to derive requirements for safety assessment. Testing tools used for embedded software are surveyed to find a feasible safety assessment architecture. The proposed safety assessment method is to use safety activity results generated during development processes and feed them to the runtime embedded software testing tool.

• KCI Concrete Journal
• /
• 제12권1호
• /
• pp.139-144
• /
• 2000

Ground Penetrating Radar (GPR) with 1 GHz antenna has been used to locate a steel bar embedded inside laboratory-prepared mortar specimens. Four mortar specimens are made with the dimensions of 100 cm (length) x 100 cm (width) x 14 cm (depth). One specimen had no bars and the other three specimens had a Dl9 steel bar at 4, 6. and 8 cm depth. As a part of the experimental work, the dielectric constants of mortar specimens are measured during curing. As the curing time increased. the dielectric constant decreased with decreasing moisture content inside the specimen. The steel bar embedded inside mortar specimens has been successfully identified in all three cases. The results using signal processing scheme developed in this study significantly improved the output of a commercially available radar system.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 추계학술발표대회
• /
• pp.67-68
• /
• 2009

Increasing use of embedded systems has made many improvements on hardware development for specific purpose. Hardware changes are more expensive and harder to implement rather than software changes. Developers need tools to do design and testing of new hardware. Many simulation tools have been made to mimic the hardware and allow developer to test programs on top of new hardware. Virtual Development Environment for Embedded Software (VDEES) is one of the alternatives available. It provides an open source based platform and an Integrated Development Environment (IDE) that can be used to build and testing newly made component, faster and at low-cost.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2008년도 International Symposium on Remote Sensing
• /
• pp.84-87
• /
• 2008

ATTOL is a software unit testing tool produced by the ATTOL Testware SA in France. It automates the entire software unit testing process: test plan template and test program generation, test program execution, test result analysis and test report generation. ATTOL is suited for the development of embedded software as it allows programmers to operate in native and cross development environments. Particularly, it is used for the development of the flight software which is embedded in the Communication Ocean Meteorological Satellite (COMS). As the flight software is mission-critical, it requires the strict software quality and high testing constraints. The flight software of COMS is verified by ATTOL in native and cross platforms. In 2002, ATTOL was taken over by the IDM Rational Software and has been supplied with the name of Test RealTime (TestRT). The test process of TestRT becomes different from that of ATTOL as TestRT provides the new functionalities that were absent from ATTOL. TestRT provides the new features in the test script language, as well. In this paper, we compare the test process of ATTOL to TestRT With an example of COMS and explain what has been changed in the test script language.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 I
• /
• pp.430-433
• /
• 2003

In this paper, we propose the method of voice packet transformation for the improvement of voice quality in embedded VoIP system terminals. For this purpose, it was analyzed about the RTP header in the voice packet receiving side and designed about the handling method of voice packets by using jitter buffer. Through this analyzed and designed results, by implementing the voice packet transformation method and testing on the self-product VoIP system, we reached that a conclusion is satisfied with performance of VoIP services.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 1998년도 가을 학술발표대회 논문집(III)
• /
• pp.785-790
• /
• 1998

Ground Penetrating Radar (GPR) is a powerful tool with a wide range of applications in the nondestructive testing of concrete. It's useful for the detection of steel bars and delaminations embedded inside concrete, nondestructively. The purpose of this study is to detect a reinforced bar embedded inside concrete and to determine the range of application using GPR. A concrete specimen used for this study has a 25mm diameter steel bar and it's dimensions are 1,000 mm (L)× 1,000 mm(W)×280 mm(D). The advantages and limitations of GPR in these applications for concrete are also discussed.

• 디지털융복합연구
• /
• 제13권11호
• /
• pp.141-148
• /
• 2015

기존 비디오 라이브 스트리머에 비해서 매우 저렴하고 저전력으로 휴대용으로 쉽게 동작하는 HLS(Http Live Streaming) 전송기를 임베디드 리눅스 기반으로 개발 및 구현하였다. HLS 전송기를 저렴하게 구현하기 위해 Arm11 프로세서 위에 임베디드 리눅스를 운영체제로 포팅 하였고 오픈 소스인 FFmpeg와 Segmenter을 이용하여 HLS 프로토콜을 구현하였다. 노트북, iPhone, android phone, 노트북을 수신단말기로 이용하여 개발한 임베디드 리눅스 기반의 휴대용 HLS 전송기의 성능을 평가하였다. 본 논문에서 개발한 HLS 전송기는 애플사가 제안한 HLS 권고 규격 이상의 성능을 구현하였음을 성능평가 실험을 통해 확인하였다. 본 논문에서 개발한 제품의 활용분야는 실시간으로 현장의 위급상황을 현지 지휘소나 원거리 사령부에 전달해야하는 경우 HLS를 개인이 착용하여 이동하면서 실시간으로 상황영상을 전달하는 분야에 활용될 수 있을 것으로 생각된다.