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

Search Result 2,336, Processing Time 0.041 seconds

A Study on Dynamic Test of Safety System Software on Nuclear Power Plant (원자력발전소 안전계통 소프트웨어의 동적시험에 관한 연구)

  • Moon, Chae-Joo;Chang, Young-Hak;Lee, Sun-Sung;Suh, Young
    • Journal of Energy Engineering
    • /
    • v.8 no.2
    • /
    • pp.213-223
    • /
    • 1999
  • In recently, the safety system software of the nuclear power plant has been verified and validated according to ANSI/IEEE-ANS-7-4.3.2-1982 to improve the reliability. This standard requires that safety-related software should be tested in the static and dynamic environments. In case of Inadequate Core Cooling Monitoring System (ICCMS), the static test procedure and related techniques are developed but the dynamic test procedure and related techniques are not developed. Therefore, this paper discusses the undeveloped techniques, and suggests the dynamic test procedure and the program for generation of test input data. The performance of the program was identified using accident analysis report of Ulchin 3&4 Final Safety Analysis Report (FSAR).

  • PDF

A Code Banking-based High-speed Concurrent Software Update Method for Single Hop Wireless Sensor Networks (단일 홉 무선 센서 네트워크를 위한 코드 뱅킹 기반의 고속 병렬 소프트웨어 업데이트 기법)

  • Park, Young-Kyun;Nam, Young-Jin
    • Journal of Korea Multimedia Society
    • /
    • v.14 no.7
    • /
    • pp.949-963
    • /
    • 2011
  • Generally, It is indispensible to use an ISP(In System Programming) tool for upgrading, patching, or changing the system software of the each sensor nodes in wireless sensor networks. While under a small number of nodes, the upgrading task is not a serious burden, however if there are a large number of nodes to be updated, the task is almost impossible to do for the given constrains such as limited budgets and resources. Based on this observation, in this paper we have proposed a novel upgrading scheme based on a single hop in IEEE 802.15.4 PAN(Personal Area Network)s. Simulation results have shown the scheme outcomes the conventional methods in the performance measures.

A Framework for Improving Reusability at the Development Process of Multi-Agent based System using MDA (MDA를 이용한 다중 에이전트 기반 시스템 개발단계에서 재사용성 향상을 위한 프레임워크)

  • Lee, Poong-Seok;Jang, Soo-Hyun;Lee, Eun-Seok
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2007.10b
    • /
    • pp.78-83
    • /
    • 2007
  • 최근 유비쿼터스 환경에서 동작하는 지능형 시스템에 관한 관심이 높아지면서, 이러한 지능형 시스템의 개발을 효율적으로 하기 위해 에이전트 기반의 소프트웨어 시스템 개발 방법론 및 지원 도구에 관심이 높아지고 있다. 이러한 시스템들은 에이전트들의 동작환경을 제공하는 에이전트 플랫폼의 사용이 필수적이다. 그러나 실제로 에이전트 기반 시스템을 개발하는 경우 초기 단계에서 가장 적절한 에이전트 플랫폼을 결정하는 것은 어렵다. 또한 개발 중에 다양한 에이전트 플랫폼에 적용 가능한 소프트웨어를 개발해야 하는 경우가 발생할 수 있다. 따라서 본 논문에서는 이러한 문제점을 해결하기 위해 MBA를 기반으로 에이전트 기반 시스템 개발 방법론 및 개발 지원 도구를 제공하고자 한다. 본 논문에서 제안하는 방법을 통해 개발자는 개발 초기 단계에서 결정된 소프트웨어의 아키텍처를 기반으로 다양한 플랫폼에 적용 가능한 에이전트 모델과 소스코드를 생성시킬 수 있다. 본 논문에서는 플랫폼 독립적인 에이전트 모델을 통하여 FIPA-OS와 MTI 에이전트 플랫폼 기반의 소스코드를 생성시키는 실험을 하여 제안 방법론 및 도구의 유효성을 검증한다.

  • PDF

The Optimal Evaluation Model Tool of NHPP Type Software Reliability (NHPP형의 소프트웨어 신뢰도 최적 평가모델 도구)

  • Mun, Oe-Sik;Han, Pan-Am
    • The Transactions of the Korea Information Processing Society
    • /
    • v.4 no.5
    • /
    • pp.1267-1276
    • /
    • 1997
  • In this paper, the optimal model for specific test data was selected autimatically among sofware reliability growh models bassed on NAPP(Non Homogeneous Posission Preocess), and in result the tool for the reliability estimating scales was implemented.Whith the implemented tool, software optimal rekiability estimating scales(total expected number errors, error detection rate, expected number of errors remaining in the sortware, reliability, ete) could be predicted. By the reliability estimating scales gained form this, sofware development and projecr management could be applied. In order to test the optimal of the implemented tool, the comparicon with other paper and analization was done by using actual error data.

  • PDF

Design of Software Architecture based on Componentized Services for Multi-party Collaboration (다자간 협업을 위한 컴포넌트 서비스 기반 소프트웨어 구조 설계)

  • Han, Sang-Woo;Kim, Nam-Gon;Choi, Ki-Ho;Ko, Su-Jin;Lee, Hyun-Yong;Kim, Jong-Won
    • 한국HCI학회:학술대회논문집
    • /
    • 2007.02a
    • /
    • pp.189-196
    • /
    • 2007
  • 고성능 연구개발망이 보급되면서, 각 지역에 분산되어 있는 전문가들 간의 원격 공동작업을 지원해주는 원격 협업환경에 대한 연구가 활발히 진행되고 있다. 특히 고해상도 디스플레이를 이용한 원격 협업환경은 참여자들에게 현장감있는 공동작업을 지원하며, 실제로 다자간 HD급 영상회의 혹은 대용량 가시화 데이터 표현 등에 활발히 사용되고 있다. 또한 협업환경에 대한 편리한 상호작용 지원기술도 사용자의 편의성 향상을 위한 주요 요소로써 비중있게 다루어지고 있다. 본 논문에서는 고품질 미디어 서비스와 사용자 편의성을 고려한 인터랙션 기법을 결합한 네트워크 기반의 원격 협업환경을 실현하기 위한 통합 소프트웨어 구조를 제안한다. 구체적으로 설명하면, 고품질 영상을 송수신할 수 있는 미디어 기술, 고해상도 격자형 디스플레이에 영상을 표현하기 위한 디스플레이 기능, 포인팅/트래킹 장비를 이용하여 디스플레이 상호작용을 지원하는 컴포넌트화된 협업 서비스들을 사용자의 의도에 따라 유연하게 통합할 수 있는 원격 협업환경을 위한 소프트웨어 구조를 설계한다. 추가적으로 상기 협업 서비스들을 일부 구현하여 실현가능성을 검증하기 위한 시연 과정을 소개한다.

  • PDF

Service Quality Measurement and Comparison of Mobile Internet Telephony Services over WiBro and HSDPA (와이브로와 HSDPA를 통한 모바일 인터넷 전화 서비스 품질 측정 및 비교)

  • Kim, Beom-Joon
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.6 no.2
    • /
    • pp.219-224
    • /
    • 2011
  • The quality management for mobile internet voice services currently being used widely cannot be achieved by the conventional quality management depending on a specific measurement equipment. For more systematic quality management, a real-time or preventive quality management scheme is proposed. The proposed scheme required a quality management software installed in a service user's terminal. In order to implement and realize the proposed scheme, it is a very important issue to ensure the reliability of the measurement results from the developed quality management software. Therefore, we have performed a large number of tests to verify the reliability of the software and discuss on the results in this paper.

Software Development Methodology for SaaS Cloud Service (SaaS 클라우드 서비스를 위한 소프트웨어 개발 방법론)

  • Hwang, Mansoo;Lee, Kwanwoo;Yoon, Seonghye
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.14 no.1
    • /
    • pp.61-67
    • /
    • 2014
  • A SaaS cloud service represents a model deployed and running on a cloud platform to enable users to use software as an online service. This work proposes a development methodology adequate for the effective development of SaaS cloud services. For doing this, we first analyzed the current state of companies developing SaaS cloud services and identified key factors for the development of SaaS cloud services. Then, we selected and tailored the methodology that is best suited for the development of SaaS cloud services among existing software development methodologies. To validate the applicability of the proposed methodology, we performed a case study tailoring the development methodology adequate for the company developing SaaS cloud services.

The Development of Software for Analyzing Intensity Distribution of Luminaire (조명기구의 배광해석용 소프트웨어 개발)

  • Hur, Nam-Don;Han, Uk-Pyo;Koo, Ja-Ham;Kim, Hoon
    • Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
    • /
    • v.17 no.5
    • /
    • pp.1-7
    • /
    • 2003
  • By measuring intensity distribution, it is possible to calculate all of optical characteristics of luminaire, and through it we are able to realize lighting design. On developing goniometer, development of software for analyzing and measuring of optical characteristics is needed. Software developed now by our lab. contains very useful functions to analyze optical characteristics of luminaire. Also in lighting design it can provide scientific verification of solution for fundamental issues, furthermore in lighting calculation it would be able to contribute toward providing one of the standards.

Component Selection Decision Method Using ANP Technique in Change Management (변경관리에서 ANP기법을 이용한 컴포넌트 선택 결정 방법)

  • Kim, Kyoung-Hun;Song, Young-Jae
    • The Journal of the Korea Contents Association
    • /
    • v.12 no.1
    • /
    • pp.59-67
    • /
    • 2012
  • Software change management is focused on the change of a entity like the change of contents of a system or a document. In change management, interactive relationship among requirements and complex decision making is needed to obtain optimized status. In this paper we design a management model of software change management in distributed environment which mange the change among components by time and situation. In addition, each components are defined and use ANP technique for best decision-making by using the subordinate relationship and feedback considering the mutual dependency referring the change of components in distributed environment. Thus, we analyze the dependency among each components and show 3 types of change relationship. Also through analysis of dependency, we verified the effectiveness of such approach.

Development of Galileo E1B-BOC(1,1) Signal Software Receiving Program (Galileo E1B신호 소프트웨어 수신프로그램 개발)

  • Jeon, Sang-Hoon;So, Hyoung-Min;Kim, Chang-Ho;Kee, Chang-Don;Cho, Young-Soo;Choi, Wan-Sik
    • Journal of Advanced Navigation Technology
    • /
    • v.12 no.6
    • /
    • pp.574-582
    • /
    • 2008
  • This paper shows the research about the development of software receiver processing Galileo E1B signal. it is introduced the structure of Galileo receiving software using sampled IF data as a program input. And the performance of SDR(Software Defined Radio) embodied using MATLAB tool is analyzed. Embodied SDR is modulated according to their roll and function.

  • PDF