• Proceedings of the KSRS Conference
• /
• 2007.10a
• /
• pp.460-463
• /
• 2007

COMS (Communication Ocean Meteorological Satellite) is the geostationary satellite being developed by Korea Aerospace Research Institute for multi-mission: experimental communication, ocean monitoring and meteorological observations. The COMS operation is controlled by the on-board software running on the spacecraft central computer. The software is written in ADA language and developed under the software life cycle: Requirement analysis, Design, Implementation, Component test and Integration test. Most functional requirements are tested at component level on a software component testing tool, ATTOL. ATTOL provides a simple way to define the test cases and automates the test program generation, test execution and test analysis. When two or more verified components are put together, the integration test starts to check the non-functional requirements: real-time aspect, performance, the HW/SW compatibility and etc. This paper introduces the COMS on-board software and explains what to test and how to test the on-board software at component level using ATTOL.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.9
• /
• pp.1442-1447
• /
• 1990

In this paper we propose the search algorithm of the boundary nodes that defined as the circuit segmentation when CUT is tested by pseudo-exhaustive testing. The algorithm treats the testability values of the nodes in CUT as the population composed of teh raw data, and after examines the level of significance a and then estimate the confidence interval of teh testability values. Thus One can easily searched the c9oundary nodes and PO of sub circuits. The proposed algorithm has been implemented under UNIX OS with C-language, applied to the combinational logic CUT. As a result, it is shown that the pseudo-exhaustive test patterns are least generated when \ulcornerhas 0.786. We confirmed that the rate of test pattern is 1.22%, compared with exhaustive test.

• Annual Conference of KIPS
• /
• 2017.11a
• /
• pp.645-647
• /
• 2017

스마트팩토리 테스트베드 구축을 위해서는 생산 공정 및 제품 테스팅을 포함한 지속적 자료 수집 환경이 요구된다. 이 논문에서는 테스팅 환경의 장치 및 센서를 정의하기 위한 CDM(Common Device Model)을 기반으로 작성된 마크업언어인 SML(Sensor Markup Language)을 기술하고 이를 기반으로 구성된 소프트웨어 센서의 활용을 기술한다. 통지 모델을 기반으로 센서로부터 수집된 센싱자료와 상태 정보를 수집하기 위한 소프트웨어 아키텍처을 설계하였으며, 이는 테스트베드 시스템 개발의 참조모델로서 사용한다.

• ETRI Journal
• /
• v.19 no.4
• /
• pp.363-388
• /
• 1997

This paper describes a research result on automatic generation of abstract test cases from formal specifications by applying many related algorithms and techniques such as the testing framework, rural Chinese postman tour and unique input output sequence concepts. In addition, an efficient algorithm for verifying the strong connectivity of the reference finite state machine and the concept of unique event sequence are explained. We made use of several techniques to from an integrated framework for abstract test case generation from LOTOS and SDL specifications. A prototype of the proposed framework has been built with special attention to real protocol in order to generate the executable test cases in an automatic way. The abstract test cases in tree and tabular combined notation (TTCN) language will be applied to the TTCN compiler in order to obtain the executable test cases which re relevant to the industrial application.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.57 no.2
• /
• pp.65-71
• /
• 2008

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased. assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we propose an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM' which is formal method tools using Statechart for applying to the railway signaling systems.

• Journal of Information Processing Systems
• /
• v.8 no.2
• /
• pp.301-314
• /
• 2012

In this paper, two new approaches to align English-Arabic sentences in bilingual parallel corpora based on the Multi-Class Support Vector Machine (MSVM) and the Hidden Markov Model (HMM) classifiers are presented. A feature vector is extracted from the text pair that is under consideration. This vector contains text features such as length, punctuation score, and cognate score values. A set of manually prepared training data was assigned to train the Multi-Class Support Vector Machine and Hidden Markov Model. Another set of data was used for testing. The results of the MSVM and HMM outperform the results of the length based approach. Moreover these new approaches are valid for any language pairs and are quite flexible since the feature vector may contain less, more, or different features, such as a lexical matching feature and Hanzi characters in Japanese-Chinese texts, than the ones used in the current research.

• Journal of Electrical Engineering and Technology
• /
• v.4 no.1
• /
• pp.13-18
• /
• 2009

Because the existing Human-Machine Interface (HMI) for the conventional substation cannot dynamically indicate the configuration information of the Substation Automation System (SAS). In this paper, an intelligent station HMI is proposed for IEC 61850 based substation. The program of the proposed HMI not only can automatically generate the layout of single line diagram, but can also indicate the communication network and functions of IEDs by reading SCL files. It greatly helps monitor the operation status, communication network and each IED dynamically, such as failure detection in SAS. Furthermore, this paper presents the possibility of developing new software for SAS with the full use of IEC 61850-6. Once the software is complete, there is no need to change it when the substation is upgraded or when it is migrated to other IEC 61850 based substations, which is a cost-effective solution.

• Journal of Electrical Engineering and Technology
• /
• v.4 no.1
• /
• pp.87-92
• /
• 2009

Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier errors of overlooked requirement specification can be detected using the formal specification method. Also, the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM', formal method tools using Statechart. Also we applied the proposed method to train control systems for the formal requirement specification and analyzed the specification results.

• Journal of Information Processing Systems
• /
• v.15 no.5
• /
• pp.1119-1130
• /
• 2019

With the wide spread of Social Network Services (SNS), fake news-which is a way of disguising false information as legitimate media-has become a big social issue. This paper proposes a deep learning architecture for detecting fake news that is written in Korean. Previous works proposed appropriate fake news detection models for English, but Korean has two issues that cannot apply existing models: Korean can be expressed in shorter sentences than English even with the same meaning; therefore, it is difficult to operate a deep neural network because of the feature scarcity for deep learning. Difficulty in semantic analysis due to morpheme ambiguity. We worked to resolve these issues by implementing a system using various convolutional neural network-based deep learning architectures and "Fasttext" which is a word-embedding model learned by syllable unit. After training and testing its implementation, we could achieve meaningful accuracy for classification of the body and context discrepancies, but the accuracy was low for classification of the headline and body discrepancies.

• Phonetics and Speech Sciences
• /
• v.13 no.2
• /
• pp.37-44
• /
• 2021

Preliminary findings are reported from five experiments testing the perceived naturalness of word tokens whose vowel durations are altered. The stimuli were minimal pairs of English words ending in a voiced/voiceless plosive. Results show an asymmetric effect of shortening and lengthening of the vowel on the perceived naturalness of the word. Incremental shortening of vowel duration initially shows a stable degree of perceived naturalness but rapidly deteriorates beyond a certain point. On the contrary, only a small degree of lengthening of the vowel made the perceived naturalness of the word quickly decay, but there was a floor effect such that the perceived degree of naturalness does not lower beyond a certain level. Further, the tokens with the original vowel duration were not always scored higher than the stimuli with a small degree of shortening. Future studies should address the issue of speaking rate and the ratio between the vowel and the stop closure duration to better understand the phenomenon. The issue investigated here has implications on the role of prototypical exemplars in the perception of phonotactic naturalness.