• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.035 seconds

Development of Automatic Test Equipment for Hardware Verification of Aircraft Stores Management Computer (항공기용 무장관리컴퓨터 하드웨어 검증을 위한 자동시험 장비 개발)

  • Oh, Soo-heon;Jeon, Eun-seon;Kim, Kap-dong;Park, Jun-hyun
    • Journal of Advanced Navigation Technology
    • /
    • v.25 no.5
    • /
    • pp.377-383
    • /
    • 2021
  • In this paper, we describe the case of automatic test equipment development for hardware verification of stores management computer mounted on aircraft. Recently, the required functions of aircraft have been diversified and the related technologies of avionics equipment have developed, and the types and quantity of interfaces required for avionics equipment have increased. In addition to the existing old stores, the stores management computer also needs to control the interface in large quantities as the requirements for the new stores are added. For this reason, the time and manpower required for the inspection of avionic equipment are also increasing, and if the test process of avionic equipment can be automated and unmanned, more efficient inspection system operation will be possible. Therefore, this paper introduces the case of designing test software and test scenario to automate the structural design contents and verification process of test equipment required for the verification of hardware function of stores management computer.

Security Verification of Wireless Remote Control System Using CPN (CPN을 이용한 무선원격제어시스템의 안전성 검증)

  • 이문구
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.13 no.5
    • /
    • pp.81-90
    • /
    • 2003
  • Existing web-based system management software solutions show some limitations in time and space. Moreover, they possess such as shortcomings unreliable error message announcements and difficulties with real-time assistance suppers and emergency measures. In order to solve these deficiencies, Wireless Remote Control System was designed and implemented. Wireless Remote Control System is able to manage and monitor remote systems by using mobile communication devices for instantaneous control. The implementation of Wireless Remote Control System leads to these security Problems as well as solutions to aforementioned issues with existing web-based system management software solutions. Therefore, this paper has focused on the security matters related to Wireless Remote Control System. The designed security functions include mobile device user authentication and target system access control. For security verification of these security functions introduced CPN(Coloured Petri Nets) which is capable of expressing every possible state for each stage. And then in this paper was verified its security through PI(Place Invariant) based on CPN(Coloured Petri Nets). The CPN expression and analysis method of the proposed security function can also be a useful method for analyzing other services in the future.

UML 2.0 Statechart based Modeling and Analysis of Finite State Model for Cryptographic Module Validation (암호모듈 검증을 위한 UML 2.0 상태도 기반의 유한상태모델 명세 및 분석)

  • Lee, Gang-soo;Jeong, Jae-Goo;Kou, Kab-seung
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.19 no.4
    • /
    • pp.91-103
    • /
    • 2009
  • A cryptographic module (CM) is an implementation of various cryptographic algorithms and functions by means of hardware or software, When a CM is validated or certified under the CM validation program(CMVP), a finite state model(FSM) of the CM should be developed and provided, However, guides or methods of modeling and analysis of a FSM is not well-known, because the guide is occasionally regarded as a proprietary know-how by developers as well as verifiers of the CM. In this paper, we propose a set of guides on modeling and analysis of a FSM, which is needed for validation of a CM under CMVP, and a transition test path generation algorithm, as well as implement a simple modeling tool (CM-Statecharter). A FSM of a CM is modeled by using the Statechart of UML 2.0, Statechart, overcoming weakness of a FSM, is a formal and easy specification model for finite state modeling of a CM.

Development of the KASS Training and Test Platform (KASS 교육 및 시험 도구 개발)

  • Hwanho Jeong;GeonHwan Park;So-Ra Park;Minhyuk Son
    • Journal of Advanced Navigation Technology
    • /
    • v.28 no.5
    • /
    • pp.588-593
    • /
    • 2024
  • Korea augmentation satellite system (KASS), KASS training and test platform (KTTP) was developed for KASS operator and maintainer training and KASS system verification, and it is an independently operated system. KTTP has one each of KASS reference station (KRS), KASS processing station (KPS), KASS uplink station (KUS), network bench, geostationary earth orbit (GEO) simulator and added the one central monitoring & control simulator (CMS) to switch the master operation mode to backup. Hardware and software of KTTP are identical to the KASS system. Therefore, the area where KTTP is installed must be verified through site infrastructure acceptance review (SIAR) in the same way as the KASS system. KTTP Verification is based on the KASS system integration, verification, qualification (IVQ) procedure, and verification was completed with a focus on the functionality rather than performance.

A Case Study of Software Architecture Design by Applying the Quality Attribute-Driven Design Method (품질속성 기반 설계방법을 적용한 소프트웨어 아키텍처 설계 사례연구)

  • Suh, Yong-Suk;Hong, Seok-Boong;Kim, Hyeon-Soo
    • The KIPS Transactions:PartD
    • /
    • v.14D no.1 s.111
    • /
    • pp.121-130
    • /
    • 2007
  • in a software development, the design or architecture prior to implementing the software is essential for the success. This paper presents a case that we successfully designed a software architecture of radiation monitoring system (RMS) for HANARO research reactor currently operating in KAERI by applying the quality attribute-driven design method which is modified from the attribute-driven design (ADD) introduced by Bass[1]. The quality attribute-driven design method consists of following procedures: eliciting functionality and quality requirements of system as architecture drivers, selecting tactics to satisfy the drivers, determining architectures based on the tactics, and implementing and validating the architectures. The availability, maintainability, and interchangeability were elicited as duality requirements, hot-standby dual servers and weak-coupled modulization were selected as tactics, and client-server structure and object-oriented data processing structure were determined at architectures for the RMS. The architecture was implemented using Adroit which is a commercial off-the-shelf software tool and was validated based on performing the function-oriented testing. We found that the design method in this paper is an efficient method for a project which has constraints such as low budget and short period of development time. The architecture will be reused for the development of other RMS in KAERI. Further works are necessary to quantitatively evaluate the architecture.

AN ORBIT PROPAGATION SOFTWARE FOR MARS ORBITING SPACECRAFT (화성 근접 탐사를 위한 우주선의 궤도전파 소프트웨어)

  • Song, Young-Joo;Park, Eun-Seo;Yoo, Sung-Moon;Park, Sang-Young;Choi, Kyu-Hong;Yoon, Jae-Cheol;Yim, Jo-Ryeong;Kim, Han-Dol;Choi, Jun-Min;Kim, Hak-Jung;Kim, Byung-Kyo
    • Journal of Astronomy and Space Sciences
    • /
    • v.21 no.4
    • /
    • pp.351-360
    • /
    • 2004
  • An orbit propagation software for the Mars orbiting spacecraft has been developed and verified in preparations for the future Korean Mars missions. Dynamic model for Mars orbiting spacecraft has been studied, and Mars centered coordinate systems are utilized to express spacecraft state vectors. Coordinate corrections to the Mars centered coordinate system have been made to adjust the effects caused by Mars precession and nutation. After spacecraft enters Sphere of Influence (SOI) of the Mars, the spacecraft experiences various perturbation effects as it approaches to Mars. Every possible perturbation effect is considered during integrations of spacecraft state vectors. The Mars50c gravity field model and the Mars-GRAM 2001 model are used to compute perturbation effects due to Mars gravity field and Mars atmospheric drag, respectively. To compute exact locations of other planets, JPL's DE405 ephemerides are used. Phobos and Deimos's ephemeris are computed using analytical method because their informations are not released with DE405. Mars Global Surveyor's mapping orbital data are used to verify the developed propagator performances. After one Martian day propagation (12 orbital periods), the results show about maximum ${\pm}5$ meter errors, in every position state components(radial, cross-track and along-track), when compared to these from the Astrogator propagation in the Satellite Tool Kit. This result shows high reliability of the developed software which can be used to design near Mars missions for Korea, in future.

Development of RTEMS SMP Platform Based on XtratuM Virtualization Environment for Satellite Flight Software (위성비행소프트웨어를 위한 XtratuM 가상화 기반의 RTEMS SMP 플랫폼)

  • Kim, Sun-wook;Choi, Jong-Wook;Jeong, Jae-Yeop;Yoo, Bum-Soo
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.48 no.6
    • /
    • pp.467-478
    • /
    • 2020
  • Hypervisor virtualize hardware resources to utilize them more effectively. At the same time, hypervisor's characteristics of time and space partitioning improves reliability of flight software by reducing a complexity of the flight software. Korea Aerospace Research Institute chooses one of hypervisors for space, XtratuM, and examine its applicability to the flight software. XtratuM has strong points in performance improvement with high reliability. However, it does not support SMP. Therefore, it has limitation in using it with high performance applications including satellite altitude orbit control systems. This paper proposes RTEMS XM-SMP to support SMP with RTEMS, one of real time operating systems for space. Several components are added as hypercalls, and initialization processes are modified to use several processors with inter processors communication routines. In addition, all components related to processors are updated including context switch and interrupts. The effectiveness of the developed RTEMS XM-SMP is demonstrated with a GR740 board by executing SMP benchmark functions. Performance improvements are reviewed to check the effectiveness of SMP operations.

Development and Applyment Selection Standards of Physical Computing Teaching Aids for Elementary SW Education According to the 2015 Revised Curriculum (2015 개정 교육과정의 초등학교 소프트웨어 교육을 위한 피지컬 컴퓨팅 교구 선택 기준 개발 및 적용)

  • Lee, Young-jae;Jeon, Hyung-gi;Kim, Yungsik
    • Journal of The Korean Association of Information Education
    • /
    • v.21 no.4
    • /
    • pp.437-450
    • /
    • 2017
  • This study derived optimized teaching aids that use the physical computing method as the solution for effective software education at the elementary level. We set standard for selecting physical computing teaching aids in elementary-level by gathering the opinions from previous studies and think tanks and then applied the standard to some aids and choose one. We also made lesson plan and tried it to the experimental group. Subsequently, students' logical thinking skills showed a statistically significant improvement in terms of the t-test. Also, in the analysis of the effect size, it was shown to have a positive influence on the improvement of the students' logical thinking skills. Additionally, survey of satisfaction evaluation from the students showed that the teaching aid selection standard was effective in selecting suitable teaching aids for elementary students and that the classroom activities utilizing physical computing teaching aids were at a suitable level for elementary students.

An Empirical Study on the Economical Competition Factors of Internet Retailers (인터넷 소매상의 경제적 경쟁요인에 관한 실증연구)

  • 이수정;남순해;고석하
    • Proceedings of the Korea Society of Information Technology Applications Conference
    • /
    • 2002.11a
    • /
    • pp.3-13
    • /
    • 2002
  • 고석하 등(2002)은 인터넷 소매상이 상품 품목의 명목 가격과 배송료를 이용해서 고객의 일회 총 구매 비용을 조절한다는 것을 밝혔다. 고석하 등(2002)은 같은 내용의 상품 조합을 인터넷 시장에서 구매하기 위한 비용과 전통 시장에서 구매하기 위한 비용을 비교하였다. 분석 결과, 그 교호작용과 함께, 상품 종류와 일회 구매액/가격의 크기의 두 요소가 인터넷 시장의 전통 시장에 대한 총 구매비용 할인율의 변동의 약 60%내지 80%를 설명할 수 있다는 것을 보여주었다. 한편, 구매액/가격은 인터넷 시장에서의 해당 산포도(전통 시장의 그것에 대비한)에는 거의 영향을 미31지 못하며, 상품의 종류도 산포도에는 할인율에서와 같이 큰 영향을 미치지 않았다. 인터넷 시장의 가격이나 구매비용 산포도는 상품 특성이나 구매액 크기 이외의 다른 요인에 의해서 주로 영향을 받는 것으로 나타났다. 따라서, 본 논문에서는 가격 요인 이외의 경제적 경쟁요인에 관한 실증연구로서, 2002년 6월 17일부터 20일까지, 소프트웨어, PC와 주변기기, 휴대폰, 가전제품, CD, 화장품, 그리고 책의 7가지 산업 전문 쇼핑몰과 종합 쇼핑몰을 대상으로, 인터넷 시장에서 수행되고 있는 경제적인 비가격 경쟁요인에 관한 실증 조사를 실시하였다. 조사 결과, 인터넷 시장에서 수행되고 있는 경제적인 비가격 경쟁요인은 매우 다양하며, 상품별로도 다른 특성을 보이고 있는 것으로 밝혀졌다. 인터넷 소매상의 경제적인 비가격 경쟁요인은 크게 배송료 면제와 배송료 외 인센티브 제도로 구분된다. 본 논문에서는 경제적인 비가격 경쟁요인의 모든 경우의 수를 고려할 수 있도록, 코드표를 작성하여 정리하고 분석하였다.기호로 인식하였다. 실험결과, 표준패턴을 음표와 비음표의 두개의 그룹으로 나누어 인식함으로써 DP 매칭의 처리 속도를 개선시켰고, 국소적인 변형이 있는 패턴과 특징의 수가 다른 패턴의 경우에도 좋은 인식률을 얻었다.리되고 이원화된 코드체계와 데이터 형태의 이질화를 통일하는 방법으로 데이터웨어하우스 시스템을 제시하였다. 결국 병원에서 데이터웨어하우스 시스템의 구축은 임상, 연구, 교육의 유기적 순환관계를 정립하여 지식의 순환적 고리인 수집, 공유, 확산, 재창출을 지속적 유지할 수 있는 인프라를 구축해 준다. 반면 상이한 정보들간의 충돌과 이에 따른 해석의 오류로 잘못된 의사결정을 위한 정보를 제공할 수 있고 기초정보의 접근 및 추출의 유용성에 의해서 정보유출에 대한 문제가 한계점으로 나타났다.로세스 개선을 위해서 무엇을 정말로 필요로 하는지를 밝힘으로써, 한국 소프트웨어 산업의 현실적인 특수성을 고려한 소프트웨어 프로세스 평가와 개선 모델의 개발을 위한 기초적인 자료를 제공할 것으로 예상된다. 또한, 본 연구 결과는, 우리나라 소프트웨어 조직들이 실제로 무엇을 필요로 하는지를 밝힘으로써, 우리나라의 소프트웨어 산업을 육성하기 위한 실효성 있는 정책 입안을 위한 기초 자료를 제공할 것으로 예상된다.를 검증하려고 한다. 협력체계 확립, ${\circled}3$ 전문인력 확보 및 인력구성 조정, 그리고 ${\circled}4$ 방문보건사업의 강화 등이다., 대사(代謝)와 관계(關係)있음을 시사(示唆)해 주고 있다.ble nutrient (TDN) was highest in booting stage (59.7%); however no sig

  • PDF

Development of MATLAB GUI Based Software for Generating GPS RINEX Observation File (MATLAB GUI 기반 GPS RINEX 관측 파일 생성 소프트웨어의 개발)

  • Kim, Dong-uk;Yun, Ho;Han, Deok-hwa;Jang, Joo-young;Kee, Chang-don;So, Hyoung-min;Lee, Ki-hoon;Jang, Jae-gyu
    • Journal of Advanced Navigation Technology
    • /
    • v.19 no.4
    • /
    • pp.299-304
    • /
    • 2015
  • This paper introduces development of the MATLAB GUI based software for generating GPS RINEX observation file. The purpose of this software is to generate GPS measurements of reference station or dynamic user, which are similar to the real GPS receiver data, accurately and efficiently. This software includes two data generation modes. One is Precision mode which generates GPS measurements as accurate as possible using post-processing data. The other is Real-time mode which generates GPS measurements using GPS error modeling technique. GPS error sources are calculated on the basis of each data generation mode, and L1/L2 pseudorange, L1/L2 carrier phase, and Doppler measurements are produced. These generated GPS measurements are recorded in the RINEX observation version 3.0 file. Using received GPS data at real reference station, we analyzed three items to verify software reliability; measurement bias, rate of change, and noise level. Consequently, RMS error of measurement bias is about 0.7 m, and this verification results demonstrate that our software can generate relatively exact GPS measurements.