• IEMEK Journal of Embedded Systems and Applications
• /
• v.14 no.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.

• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.6
• /
• pp.284-292
• /
• 2008

The density of Memory has been increased by great challenge for memory technology; therefore, elements of memory become more smaller than before and the sensitivity to faults increases. As a result of these changes, memory testing becomes more complex. In addition, as the number of storage elements per chip increases, the test cost becomes more remarkable as the cost per transistor drops. Recent development in system-on-chip(SoC) technology makes it possible to incorporate large embedded memories into a chip. However, it also complicates the test process, since usually the embedded memories cannot be controlled from the external environment. We present a ARM processor-programmable built-in self-test(BIST) scheme suitable for embedded memory testing in the SoC environment. The proposed BIST circuit can be programmed vis an on-chip microprocessor.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.2223-2231
• /
• 2010

Recently, an important physical device of transportation, such as car, railroad, ship and aircraft has changed into electronic control unit. According to accident reports, the most of car accidents are caused by faults of embedded software loaded to computer control unit. The facts implies that the test to find defects in embedded software haven't performed sufficiently. As a result, it is necessary to establish the test procedures of embedded software based on safety assessment criteria. The objective of this proposal is to provide a unit test procedure complied with the safety assessment criteria for the embedded software. In addition, an effective unit testing procedure and defect analysis methods are proposed and a testing procedure using a safety criteria built-in tool is presented.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• 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
• /
• v.12 no.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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• 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.

• Proceedings of the KSRS Conference
• /
• 2008.10a
• /
• 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.

• Proceedings of the IEEK Conference
• /
• 2003.07a
• /
• 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.

• Proceedings of the Korea Concrete Institute Conference
• /
• 1998.10b
• /
• 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.

• Journal of Digital Convergence
• /
• v.13 no.11
• /
• pp.141-148
• /
• 2015

In this paper, for developing and implementing the HLS(Http Live Streaming) transmitter based embedded linux which is operated easily and cheap and lower power, portable in all networks and client environments compared to exist video live streaming transmitters. We design the developed HLS transmitter hardware using the Arm11 core and then porting the Embedded Linux OS(Operating System) and implementing the HLS protocol using the open source FFmpeg and Segmenter. For proving the performance of developed HLS transmitter, we make the testing environment for testing the performance of HLS transmitter including the notebook, iPhone, android Phone, Notebook and then analysis the received video in the client displayer. In this paper, we suggest the developed HLS transmitter performance data values higher than the Apple company's HLS recommended specification values and the picture of developed HLS transmitter operation in the testing environment. The application field of this paper result is that the man who works in the emergency situation take HLS and transmit the live emergency situation to the head quarter using this portable HLS.