• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.214-216
• /
• 2012

BIT(Built-in Test)란 소프트웨어와 하드웨어의 기능 및 상태를 진단하고 오류에 대응하기 위한 방법론으로 빠른 오류 대처가 있어야 하는 다양한 분야에서 사용되고 있다. 현업에서의 BIT는 도메인의 특성에 따라 고려해야 하는 요소가 많으므로 각 도메인에 맞춰 구조화되지 않은 형태로 개발되고 있다. 따라서 기존 개발 방법론은 반복적인 작업이 수반되며 적용 환경 및 상활에 따라 변화하는 부분을 매번 새로 개발하기 위해 많은 인력과 시간이 필요하다는 문제점을 가진다. 이를 해결하기 위하여 본 논문에서는 개선된 BIT 개발 프로세스를 제안한다. 제안하는 프로세스는 BIT 처리 과정을 일반화하여 명세하고 이를 활용하여 BIT 처리 코트를 자동 생성한다. 그리고 BIT 코드를 검증할 수 있는 시뮬레이션 환경을 제공한다. 이를 통해 BIT 처리 구조 개발 과정의 편의성과 생산성을 향상하고 BIT 처리 구조의 유연성과 확장성 그리고 안정성을 높일 수 있다.

• Annual Conference of KIPS
• /
• 2000.10a
• /
• pp.575-578
• /
• 2000

소프트웨어 개발 초기 단계에서의 부정확에 기인한 에러들을 줄이기 위한 노력이나 기술이 절실하다. [1][2] 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z 나 VDM 과 같은 정형 표기법(formal notation)에 의해 쓰여지며, 정형성(formality)과 추상화(abstraction)의 제공 등 두 가지 사항에 대한 요구사항을 충족시켜 준다. [3][4] 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP (Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 논문은 이를 보완하기 위해 범용 목적의 명세 언어인 기존의 Z 를 확장하여 병행성을 명세 가능하도록 하고자 한다. 이를 위해서 병행 프로세스(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다. 아울러, 확장된 Z 로 작성된 명세서를 목적 언어로 자동 변환(translate)하기 위한 변환기(translator)를 Lex 와 Yacc을 이용하여 구현하고, 변환된 목적 언어 파일을 실행하여 확장된 Z 가 모호성을 포함하지 않는지 시뮬레이션을 통해 검증한다.

• Journal of the Korea Computer Industry Society
• /
• v.9 no.5
• /
• pp.183-190
• /
• 2008

Recently, according to development of information-oriented society, internet application technology on electricity electron controled technology fields are diversified and the necessity of remote measurement by internet is gradually increased. In this paper, to meet in these necessity we design and implementation of remote measurement system using internet embedded module, which was developed for on-line measurement of various kinds of analogue data. This system is consisted of two parts greatly, hardware module for measurement and software module to control it. The advantage of this system is that users can acquisition the remote data of temperature and illumination etc. without extra serve pc easily. In order to test the validity of the proposed system, we examine the response and operating characteristic about several states. As a result of the test, we proved the effectiveness of it.

• Proceedings of the Korea Contents Association Conference
• /
• 2013.05a
• /
• pp.263-264
• /
• 2013

기존의 도서관 정보서비스는 도서관 업무담당자에 의한 1:n 방식의 온라인 지식서비스만을 강조하였다면 스마트 도서관시스템에서는 빅데이터를 통해 지식을 생성, 검증, 분류하여 지능형지식, 실감형지식, 맞춤형지식, 체험형지식 등을 제공할 수 있다. 또한 빅데이터를 활용한 다자간 콘텐츠 공유, 상호 의견 교환이 가능하며, 집단지성에 의해 구축되는 학습 콘텐츠 및 지식 베이스는 국가의 지식자원 경쟁력을 향상시킬 수 있으며, 차세대 이러닝 환경에서의 지능형 튜터링을 통해 창의적 인재육성, 공교육의 질적 향상, 사교육비 절감, 교육 기회 균등 배분, 지역 및 계층 간 위화감 해소 등 국가정책 목표 실현할 수 있다. 제안된 빅데이터 기반의 스마트도서관 정보서비스시스템에서는 멀티테넌트 환경에서 구현이 가능한 핵심요소들을 개발하였다. 그러므로 초기 투자비용이 거의 없고, 쉽고, 간편하며, 저비용 IT 서비스가 가능한 SaaS 기반의 소프트웨어 온-디멘드 방식의 서비스 모델로 시스템을 구현하였다. 또한 연결방식으로는 N고객:1인스턴스, 제공 프로그램은 동일한 코드 사용, 커스터마이징은 고객이 테넌트별 환경 설정을 통해서 직접 수정가능, 데이터는 테넌트별 자료를 공유해서 사용할 수 있으며 기존의 디지털도서관 시스템 서비스의 단점을 해결할 수 있도록 성능을 개선하였다.

• Proceedings of the Korean Society for Quality Management Conference
• /
• 2004.04a
• /
• pp.114-119
• /
• 2004

Software verification and validation(V&V) is a means to develop high-quality software and assure safety and reliability for software. Also, we can achieve the desired software quality through systematic V&V activities. The software to be applied safety critical system like nuclear power plants is required to setup the V&V methodology that comply with licensing requirements for nuclear power plants and should be performed V&V activities according to it. In this paper, we classified safety-critical, safety-related and non-safety for software according to safety function to be peformed and define V&V activities to be applied software grade. Also, we defined V&V activities, procedures and documentation for each phase of software development life cycle and showed techniques and management to perform V&V. Finally, we propose the V&V framework to be applied software development of SMART(System-integrated Modular Advanced ReacTor) MMIS (Man-Machine Interface System) and to comply with domestic licensing requirements.

• Journal of Korea Society of Industrial Information Systems
• /
• v.11 no.1
• /
• pp.21-28
• /
• 2006

This paper describes the design and implementation of video conference system using hybrid type P2P(Peer to Peer). The proposed video conference system has hybrid type P2P architecture based on a client-server and P2P(Peer to Peer), where client-server is used for exchange of account management, client list and status information and P2P is used for the real time video conference. The proposed video conference system decreases the traffic of server, and cuts down the load of a network. Because the multimedia data is decentralized to client by P2P. Also, this system is tested by the multi-party video conference system using communication protocol and application software through high speed networks.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.27 no.4
• /
• pp.461-467
• /
• 2009

Relative positioning technique by GPS that can obtain the high positioning accuracy has been used for generation of high precision positioning with elimination or the reduction of the common errors. This paper gives some algorithms for RTK and considers the filter to estimate the positioning information and integer ambiguities at each epoch in the whole algorithms. The extended kalman filter has been employed to estimate the state parameters and the modified LAMBDA to resolve the integer ambiguities. The data processing was performed by GPS single frequency and dual frequency in short baseline. The verification procedure of these positioning compared with results from Bernese 5.0 software. We presented some statistic values on positioning errors and the rates of integer ambiguity resolution.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.41 no.6
• /
• pp.533-541
• /
• 2017

Recently, with the adoption of modern computing and communication technologies, manufacturing systems have become more autonomous and intelligent. Thus, as the number of field devices with smart sensors also increase, the need for an integrated management of such devices becomes essential. This paper proposes a smart encoder architecture that integrates the position sensing function with CANopen connectivity. In addition, an integrated system is proposed to simultaneously control and monitor multiple encoders over the Controller Area Network (CAN) fieldbus network. We evaluated the performance and functionalities of the proposed system by comparative experiments with commercial CANopen smart encoders using a CANopen conformance test.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.6
• /
• pp.582-592
• /
• 2001

Video indexing plays an important role in the applications such as digital video libraries or web VOD which archive large volume of digital videos. Video indexing is usually based on video segmentation. In this paper, we propose a software tool called V2Web Studio which can generate video clips utilizing shot boundary detection algorithm. With the V2Web Studio, the process of clip generation consists of the following four steps: 1) Automatic detection of shot boundaries by parsing the video, 2) Elimination of errors by manually verifying the results of the detection, 3) Building a modeling structure of logical hierarchy using the verified shots, and 4) Generating multiple video clips corresponding to each logically modeled segment. The aforementioned steps are performed by shot detector, shot verifier, video modeler and clip generator in the V2Web Studio respectively.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.5
• /
• pp.1558-1563
• /
• 2010

This paper describes a study on algorithm for the development of machine vision system as well as the inspection of automobile's plastic part locking lever to replace a human worker's eye inspection. Before developing the machine vision system based on the PC, the purpose of this research is to develop the algorithm to decide whether a product is a good/bad one in real time inspection. NI-LabVIEW software is used in the inspection method and an inspection program is developed using LabVIEW Vision image functions. The inspection program was built and validated to help the system operator set up the inspection area and change the criteria number in the program.