• 제목/요약/키워드: Verification Software

Search Result 952, Processing Time 0.023 seconds

Design and Implegmentation of an Enterprise Server for Component-based Geographic Information Systems (컴포넌트 기반 지리 정보 시스템을 위한 엔터프라이즈 서버의 설계 및 구현)

  • Lee, Kang-Jun;Hong, Dong-Suk;Park, Ji-Woong;Han, Ki-Joon
    • Journal of Korea Spatial Information System Society
    • /
    • v.1 no.2 s.2
    • /
    • pp.5-20
    • /
    • 1999
  • Recently, the new software paradigm in information technology (IT) is the component-based development (CBD) technology that has brought as a result of the distributed computing environment (DCE). The CBD has reduced a program developing time and has been designed to make a distributed computing environment easier in the Internet and Intranet environments. These changes of software technology have influence on the geographic information system (GIS) and the CBD technology is highly needed as a point of view of the technique and policy of the geographic information system. In this paper, we designed and implemented an Enterprise Server for the efficient development and management of GIS components. Especially, the Enterprise Server was developed with the Enterprise JavaBeans Specification 1.1 that had been proposed as an industry standard by the Sun Microsystems. The Enterprise Server can allows users to manage the Unified Modeling Language (UML) and Design Patterns for the development of GIS components, develop a GIS component container which obeyed the Open Geodata Interoperability Specification (OpenGlS), manage spatial metadata through a spatial XML (eXtensible Markup Language) engine, and implement a TESTBED server for testing and verification of developed GIS components.

  • PDF

Development of the Internet-Based Educational Software Package for the Design and Virtual Experiment of the Digital Logic Circuits (디지탈 논리회로 설계 및 모의 실험 실습을 위한 인터넷 기반 교육용 소프트웨어 패키지 개발)

  • Ki Jang-Geun;Ho Won
    • Journal of Engineering Education Research
    • /
    • v.2 no.1
    • /
    • pp.10-16
    • /
    • 1999
  • In this paper, we developed the internet-based educational software package (DVLab) for design and virtual experiment of the digital logic circuits. The DVLab consists of the LogicSim module for design and simulation of digital combinational/sequantial logic circuits, micro-controller application circuits and the BreadBoard module for virtual experiment and the Theory module for lecture and the Report/ReportChecker module and some other utility modules. All developed modules can be run as application programs as well as applets in the Internet. The LogicSim and the BreadBoard support real time clock function, output verification function on the designed circuits, trace function of logic values, copy-protection function of designed circuits and provide various devices including logic gates, TTLs, LED, buzzer, and micro-controller. The educational model of digital logic circuit design and experiment using the DVLab is also presented in this paper.

  • PDF

Fundamental Aspects of Hybrid-Online Simulation for One Dimensional Consolidation Analysis (Hybrid-Online 방법을 통한 압밀해석)

  • Kwon, Young-Cheul
    • Journal of the Korean GEO-environmental Society
    • /
    • v.7 no.1
    • /
    • pp.67-80
    • /
    • 2006
  • This paper presented an application of the geotechnical hybrid-online simulation to the consolidation settlement problem of soft clay. Conventional numerical analyses have used idealized soil constitutive models obtained from the laboratory soil tests. On the other hand, in the hybrid-online simulation, soil response was directly introduced to numerical analyses from the soil element test, and, therefore, the complicated parameter estimation was not required in this method. Fundamentals of the hybrid-online simulation method and the development of the algorithm and corresponding hardware and software for the system were presented in this study. Furthermore, an incremental loading consolidation and the hydraulic conductivity test and a comparative study using the Terzagh's conventional consolidation theory were carried out for the system verification including the performance of the experimental device and source coding of software components, and the data reliability obtained from the system. In conclusion, we found that the hybrid-online consolidation simulation system could reproduce the consolidation behavior of the remolded Kaolinite specimen withoutany discrepancies.

  • PDF

Development of Avionics Hot Bench for Avionics System Integration Test (항공전자 시스템 통합시험장비 개발)

  • Kim, Jin-Hyuk;Lee, Sang-Chul;Ryu, Kwang-Su
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.36 no.5
    • /
    • pp.507-513
    • /
    • 2008
  • In this paper, we present a development of an Avionics Hot Bench(AHB) used for the verification of operational flight programs and fault analysis using various simulation and stimulation software. We propose an application of the open system architecture to develop the AHB which can be used for the development of a real aircraft avionics system. In the design of the AHB, to reduce the development period and cost we use as many as commercial off-the-shelf hardware and software items. The developed AHB is compared with the existing proven AHB which was used for T-50 avionics system development. Thorough comparison between the test results using the developed AHB and those using the existing AHB is performed and the overall comparison results are very satisfactory.

The Design and Performance Verification of Real-Time Inspection Equipment Software based on Windows Operating System (윈도우 운영체제 기반의 실시간 점검장비 소프트웨어 설계 및 성능검증)

  • Kim, Hyo-Joung;Heo, Yong-Kwan;Kwon, Byung-Gi
    • The Journal of the Korea Contents Association
    • /
    • v.17 no.10
    • /
    • pp.1-8
    • /
    • 2017
  • As the recent advancement of military equipment has been accelerated, it is becoming more important to act as an inspection device that verifies the performance of equipment in real time. Most of the inspection equipments were developed on the Windows OS based system. considering development convenience and development period. However, sice the data communication between these models occurs asynchronously, there is a problem that it is difficult to guarantee real-time performance of the window-based inspection equiment. To solve these problems, we use real-time commercial solutions to guarantee the real-time performance of Windows-based inspection equipment. In this paper, we propose a method of designing and implementing the inspection equipment software based on Real-Time implanted Kernel-Multi Processor (RTiK-MP) operating in Windows environment. In addition, real-time performance data accuracy was measured through a high-speed communication tool and interlocking test to verify the performance of the inspection device based on the real-time porting kernel.

IP-PBX System of RasPBX-Based (RasPBX 기반의 IP-PBX 시스템)

  • Jeong, Dae-Jin;Song, Hyun-Ok;Jung, Hoe-kyung
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.19 no.5
    • /
    • pp.1131-1136
    • /
    • 2015
  • VoIP and IP Telephony telephony technology development is a growing by easy to using IP-PBX by using phone from using existing lines rather than the internet. IP-PBX do not use the phone line from phone work for many companies and institutions of management costs reduce as provides similar to regular phone line quality. But IP-PBX to introduce for need to be the initial cost on is should buy for expensive hardware equipment or commercial software. In this paper, suggest way to introduce IP-PBX do not buy expensive hardware equipment or commercial software. Suggest IP-PBX on designed and implement for IP-PBX server using Raspberry Pi and Asterisk. And verification treatise on the suitability of conducted by voice calls based on IP-PBX between PC and a Smartphone

Design and Implementation of A Weakness Analyzer for Mobile Applications (모바일 애플리케이션을 위한 취약점 분석기의 설계 및 구현)

  • Mun, Il-Yong;Oh, Se-Man
    • Journal of Korea Multimedia Society
    • /
    • v.14 no.10
    • /
    • pp.1335-1347
    • /
    • 2011
  • The dissemination and use of mobile applications have been rapidly expanding these days. And in such a situation, the security of mobile applications has emerged as a new issue. Although the safety of general software such as desktop and enterprise software is systematically achieved from the development phase to the verification phase through secure coding, there have been not sufficient studies on the safety of mobile applications yet. This paper deals with deriving weakness enumeration specialized in mobile applications and implementing a tool that can automatically analyze the derived weakness. Deriving the weakness enumeration can be achieved based on CWE(Common Weakness Enumeration) and CERT(Computer Emergency Response Team) relating to the event-driven method that is generally used in developing mobile applications. The analysis tool uses the dynamic tests to check whether there are specified vulnerabilities in the source code of mobile applications. Moreover, the derived vulnerability could be used as a guidebook for programmers to develop mobile applications.

The Study on Improvement of ATE Reliability in Production Phase (무기체계 양산단계 자동화 시험장비(ATE) SW 신뢰성 향상 방안 연구)

  • Yoon, Young-Ho;Ku, Ki-Young;Keum, Jong-Joo;Hwang, Un-Hee;Woo, Soon
    • Journal of the Institute of Electronics Engineers of Korea SC
    • /
    • v.47 no.6
    • /
    • pp.19-26
    • /
    • 2010
  • Nowadays, the high technology weapons system has been developed and the importance of ATE which measures the test specification is growing bigger and bigger. So the ATE software reliability becomes critical but the regulation of ATE development/management is less inadequate than that of DoD. In this paper, the improvement way of the ATE software reliability verification and ATE development/management processes were proposed.

Measurement and verification of pipe cutting power using Labview software (Labview 소프트웨어를 활용한 파이프 절단 파워 측정 및 검증)

  • Jang, Tae-ho;Kim, Youngshik;Jang, Tae-soo;Ryu, Bong-Jo
    • Journal of Digital Contents Society
    • /
    • v.18 no.7
    • /
    • pp.1387-1391
    • /
    • 2017
  • Cutting power estimation can be used to select appropriate actuators in the design process of machine tools. Therefore, accurate estimation of cutting power is an important part of the design process. In this study, pipe cutting power is first calculated theoretically using the slotting cutting power equation and then verified experimentally. In this case, a pipe cutting machine is used to cut two pipes made of different materials. Power consumptions in the motor during pipe cutting are measured by using the embedded software, Labview, and NI hardware. The slotting cutting power equation can thus be confirmed easily comparing theoretically calculated cutting powers with experimentally measured cutting powers. The pipe materials used in this study are SUS304 and AL6N01. The specific cutting power of AL6N01 material is proposed through our cutting experiment. As a result, this cutting power can be used to design machining tools for AL6N01 material.

Design and Implementation of Dual-Mode SDR Modem Platform (듀얼모드 SDR 모뎀 플랫폼의 설계 및 구현)

  • Yun, Yu-Suk;Choi, Seung-Won
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.33 no.4A
    • /
    • pp.387-393
    • /
    • 2008
  • In this paper, we present an SDR (Software Defined Radio) handset modem platform which supports communication systems such as HSDPA (High Speed Downlink Packet Access), and WiBro (Wireless Broadband Portable Internet). The proposed SDR platform employs DSPs (Digital Signal Processors), FPGAs (Field Programmable Gate Arrays), and microprocessors in such a way that the various communication functions like HSDPA and WiBro can be programmed and downloaded to the hardware platform. The proposed SDR platform can be used for functional verification of the physical layers of the mobile handset system in the mobile communication network. We first demonstrate the receiving structure of the physical layer of the HSDPA and WiBro system. Then, the hardware implementation of the proposed SDR platform is shown with functions and optimized signal flows required at each mode. Finally, the link performance of each mode operating on the proposed SDR platform is presented through the internal loopback tests with the test vectors. The experimental performance has been compared with the computer simulation results.