• Title/Summary/Keyword: 수행성 검증

Search Result 6,654, Processing Time 0.039 seconds

Design and Implementation of Network Model for Security Simulation (보안 시뮬레이션을 위한 네트워크 모델 설계 및 구현)

  • 신동훈;김형종
    • Proceedings of the Korea Institutes of Information Security and Cryptology Conference
    • /
    • 2002.11a
    • /
    • pp.504-507
    • /
    • 2002
  • 취약성 진단을 위한 시뮬레이션 시스템의 주요 구성 요소인 네트워크 모델의 설계 및 구현을 소개한다. 특히, 네트워크에 존재하는 취약점을 진단, 분석하기 위한 모델링 방법론을 제시하고, 구체적인 모델의 설계와 구현을 수행하였다. 네트워크 모델은 네트워크 구성요소인 허브, 라우터 및 네트워크 호스트들을 추상화한 모델들의 결합(Coupling) 형태로 구성되며, 각 구성 요소들은 각자의 취약성을 가지고 있다. 본 연구에서는 이러한 각 구성요소의 취약성의 집합으로 네트워크를 표현하고, 취약성을 기반으로 한 네트워크 모델의 구조적인 특성과 동적인 특성을 제시한다. 취약성 진단을 위해 제시된 모델링 방법을 통해 구현된 네트워크 모델은 시뮬레이션 실행을 통해 분석되어 그 유효성을 검증하였다.

  • PDF

초음파탐상 PD-RR Test의 통계적 신뢰도 평가(I)

  • 박익근;김현묵;박은수;박윤원;강석철;최영환
    • Proceedings of the Korean Reliability Society Conference
    • /
    • 2001.06a
    • /
    • pp.245-255
    • /
    • 2001
  • 원전 가동전/가동중검사 결과의 신뢰도(reliability)는 원전 배관기기의 건전성에 직결되는 것으로써 결함 발견 시 적용되는 파괴역학해석(FMA)은 비파괴검사 결과에 대한 100%의 신뢰를 전제하고 있다. 그러나 비파괴검사가 어느 정도 신뢰성을 가지고 있는지에 대한 평가가 국내에서는 거의 수행된 바가 없었다. 따라서, 본 연구에서는 원전의 비파괴검사 규제 요건의 기술적 근거를 확보하고, 원전 기기 건전성 평가 및 안전성 향상을 위한 합리적 규제지침을 수립하기 위하여 국내 원전 가동중검사(ISI)에 적용되거나 일반 산업계에 적용되고 있는 초음파탐상검사에 대하여 기량검증 Round Robin Test에 의한 통계적 신뢰도를 평가하고자 한다. 이를 위해 초음파검사 PD-RRT 결과의 통계적 신뢰도 평가 모델을 고찰하고, 결함검출성능 평가, 결함크기 측정 평가, 팀 오차 분석 등 초음파검사 PD-RRT 결과의 통계적 신뢰도를 평가하였다.

  • PDF

The study on the oscillatory frequency and factor(γ) of transient recovery voltage (과도회복전압의 진동주파수와 진폭율에 대한 연구)

  • Kim, Geun-Yong;Sung, Ki-Wook
    • Proceedings of the KIEE Conference
    • /
    • 2009.07a
    • /
    • pp.652_653
    • /
    • 2009
  • 주어진 조건 하에서 의도하는 기간 동안 요구된 기능을 적절하게 수행하기 위해서는 제품의 신뢰성 확보가 무엇보다도 중요하다. 신뢰성 확보를 위해서는 제품의 안전성 및 내구성에 대한 고려가 충분히 이루어져야 한다. 고빈도 개폐를 목적으로 사용되는 전자기 접촉기 또한 제품의 안전성 및 성능의 신뢰성이 중요한 제품이라 할 수 있다. 그래서 이를 검증하기 위한 전자기 접촉기의 부하개폐동작성능에 대한 평가가 중요한 시험항목으로 부각되고 있다. 그리고 개폐특성을 평가하기 위한 부하는 규정된 과도회복전압특성을 얻을 수 있도록 조정되어야 한다. 본 논문에서는 부하측 중성점 접지 방식의 부하 회로 조정방법을 사용하여 전자기 접촉기의 개폐성능을 평가하기 위한 과도회복전압의 진동주파수와 진폭율의 특성을 고찰하였다.

  • PDF

A Concurrency Control Mechanism Ensuring Latest-Bound Currency in Mobile Broadcasting Environments (이동 방송환경에서 최신 현행성을 보장하는 병행선 제어기법)

  • Han, Boo-Hyung;Chung, Sung-Kwon;Cho, Yoo-Kun
    • Journal of KIISE:Information Networking
    • /
    • v.28 no.2
    • /
    • pp.207-216
    • /
    • 2001
  • 이동 방송 환경은 정보를 가지고 있는 서버가 다수의 이동 클라이언트에게 모든 데이터를 주기적으로 방송하면 클라이언트가 자신이 원하는 데이터가 방송 채널에 나타날 때 이를 검색하는 환경을 말한다. 이때 클라이언트가 수행하는 읽기 전용 트랜잭션은 일관적이면서도 가장 최근에 갱신된 데이터를 필요로한다. 이동 방송환경에 적합하도록 연구된 기존의 병행성 제어 기법들을 클라이언트가 일관적인 데이터를 읽는 것은 보장하지만 가장 최근에 갱신된 데이터를 읽을수 있게 하는 최신 현행성은 보장하지 못한다. 본 논문에서는 기존 기법들과 동일한 수준의 일관성뿐만 아니라 최신 현행성을 보장하는 효율적인 병행성 제어 기법을 제안하고 이를 검증한다. 아울러 제안된 기법의 성능을 평가하기 위하여 최신이 아닌 데이터를 읽은 경우(stale read)의 수와 트랜잭션 중단의 수를 각각 측정하였다. 시뮬레이션을 통한 실험결과 본 논문에서 제안하는 기법은 기존의 방법과 비교할 때 항상 최신의 데이터를 읽으면서 트랜잭션중단의 수를 감소시킨다는 것을 알수 있었다.

  • PDF

특집_2009년도 원자력계 맥점 - 중.저준위 방사성폐기물 처분장 건설 완공 연기

  • Choe, Gwang-Sik
    • Nuclear industry
    • /
    • v.29 no.7
    • /
    • pp.21-24
    • /
    • 2009
  • 2009년 경주 윌성 지역에 건설 중이던 중 저준위 방사성폐기물 처분장(이하 방폐장) 건설의 완공이 지하 동굴 굴진 공사중 연약 암반이 발견된 것과 관련하여 애초 계획보다 30개월 지연된다고 지식경제부와 방사성폐기물공단이 발표하였다. 경주 주민들은 이에 대해 방폐장 건설의 안전성에 의혹을 제기하면서 진상조사를 할 것을 요구하였고 지경부는 한국지질학회에 의뢰하여 진상조사단을 구성하여 지연 사유를 조사하도록 하였으며 조사 결과 발표회가 개최되었다. 그러나 이에 만족하지 않고 추가 조사 등을 요구하는 지역 주민들의 요구에 의해 '방폐장 현안사항 해결을 위한 지역 공동협의회'가 구성되었으며 이들이 구성한 '방폐장 안전성 검증조사단'이 방폐장 안전성 확인을 위해 현재 조사 활동을 수행하고 있다.

  • PDF

The Study of the Integrated Cost Audit Model for the Efficiency of IT project risk management (통합비용감리모델을 통한 IT사업위험관리 효율성에 관한 연구)

  • Yoon, Seong-Jeong;Han, Gi-Jun;Kim, Dong-Su
    • 한국IT서비스학회:학술대회논문집
    • /
    • 2009.05a
    • /
    • pp.266-269
    • /
    • 2009
  • 현재 대한민국 사업(IT Project)수행 시 다양한 관리 방법론이 연구 활용 되고 있다. 그러나 다양한 사업(IT Project)관리 방법론을 적용한다 하더라도 효과 효율성 측면에 대한 실증분석이 필요하다. 왜냐하면 그러한 방법론으로 비용적 측면에서 효과 효율 성을 발휘할 것인지 측정이 없었기 때문이다. 본 논문에서 시뮬레이션 하는 비용측정은 사업초기에 책정한 비용과, 분석/설계가 끝나는 시점의 비용, 사업 종료 후 비용을 측정할 것이다. 이때, 사업관리의 위험관리요소와 통합비용감리모델을 제시하여 감리점검항목을 도출할 것이다. 이를 통하여 효과 효율 성을 도출할 것인지 검증할 것이다. 효과 성 및 효율 성이 본 논문에서 제시한 통합비용감리모델을 통하여 비용에 대한 누수 및 과다산출이 도래를 막을 수 있는지 논하고자 한다.

  • PDF

크레인 작업의 불확실성을 고려한 AGV 배차

  • Choe, Lee;Park, Tae-Jin;Ryu, Gwang-Ryeol
    • Proceedings of the Korea Inteligent Information System Society Conference
    • /
    • 2007.11a
    • /
    • pp.564-569
    • /
    • 2007
  • 자동화 컨테이너 터미널에서 안벽크레인, AGV(Automated Guided Vehicle)와 같은 하역장비의 작업은 수 많은 요인에 영향을 받으며, 이로 인해 각 장비의 작업시간을 정확하게 추정하는 것은 거의 불가능하다. 작업시간의 불확실성은 AGV 배차를 어렵게 만들고 작업효율을 떨어뜨리는 주요 원인이다. 본 논문에서는 이러한 불확실성에 대처하기 위하여 확률적 시뮬레이션 기반 AGV 배차 알고리즘을 제안한다. 제안 방안은 AGV를 배차할 때, 이후 일정 기간 동안의 AGV작업에 대해 확률적 시뮬레이션을 여러번 반복하여 수행하고 평가 값을 평균함으로써 불확실성의 영향을 줄인다. 확률적 시뮬레이션을 위해 크레인 작업시간의 불확실성을 간단한 확률함수로 모델링하고 그에 따라 크레인 작업시간을 결정한다. 또한 AGV 작업시간을 가감속, 간섭을 고려하여 추정한다. 시뮬레이션 실험을 통해 제안방안을 검증한 결과 안벽크레인의 지연이 감소함을 확인하였다.

  • PDF

A Method Call Based Technique for On-the-fly Repairing of Concurrency Errors in Airborne Software (항공기 소프트웨어에서 동시성 오류를 자율적으로 수리하기 위한 함수 호출 기반 기법)

  • Kim, Tae-Hyung;Choi, Eu-Teum;Jun, Yong-Kee
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2019.01a
    • /
    • pp.9-10
    • /
    • 2019
  • 항공기 소프트웨어는 기능적 실패 시 인명피해나 재산피해와 같은 큰 사고로 이어질 수 있다. 따라서 항공기 소프트웨어 개발과정에서 엄격한 검증 프로세스를 수행하지만 오류를 완벽히 제거하는 것은 어렵다. 병행 프로그램에서 발생하는 동시성 오류는 잘못된 동기화에 의하여 공유자원을 사용할 때 발생할 수 있다. 하지만 복잡한 인터리빙을 모두 고려하여 디버깅하기 어렵기 때문에 자율적으로 수리되어야 한다. 본 논문은 항공기 소프트웨어에서 함수 호출을 기반으로 동시성 오류를 자율적으로 수리하는 기법을 제시한다. 제시하는 기법은 모니터 및 컨트롤 엔진, 순차정보 제공 엔진, 건전성 관리시스템으로 구성된다.

  • PDF

Case analysis and research on security review when building and improving new services (신규 서비스 구축 및 개선 시 보안성 검토에 관한 사례분석 및 연구)

  • Cheon, In-Hyoek;Choi, Hyuk
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2022.07a
    • /
    • pp.241-244
    • /
    • 2022
  • 금융회사는 신규서비스 구축과 서비스의 시행 전에 보안성 심의를 받아 기준을 충족한 경우 실 운영이 가능 했으나, 기업 자체적으로 검토를 진행하고 보안수준을 스스로 유지 하도록 변경 되었다. 금융회사를 포함한 서비스 제공자는 실제 서비스를 오픈하기 전 보안성 검토를 자체적으로 이행하고 있으나 클라우드 등 회사 자산의 다양한 환경변화와 조직 내 각 부서의 세부적인 요구사항을 충족하기에는 현실적인 한계가 따른다. 기존 연구는 전문가 및 실무자를 통해 보안성 검토 체크리스트의 항목을 개선하고 효과를 검증하는데 노력 하였다. 하지만 실질적인 결과를 바탕으로 한 연구는 부족한 실정이다. 따라서 본 논문은 실 운영 중인 시스템 및 서비스의 기획에서 운영까지의 전체 프로세스를 대상으로 보안성 검토를 수행한 결과를 분석하여 보안 실무자 입장에서의 적절한 검토 방안을 제안한다.

  • PDF

A Analysis on the Result of CE/CS Test on the KOMPSAT-I ETB (아리랑1호 위성 ETB의 전도성 전자파 환경 시험결과 분석)

  • 임성빈;천용식
    • The Journal of Korean Institute of Electromagnetic Engineering and Science
    • /
    • v.12 no.2
    • /
    • pp.184-192
    • /
    • 2001
  • In this paper, we analyze the result of the conduced emission and susceptibility tests performed on the KOMPSAT-I ETB Platform. The ETB platform consists of the EM (Engineering Model) boxes developed to perform the electrical functional test. During the conducted emission test, we measured the instant waveform in time domain when each switch was turn on, and spectrum of the noise in the frequency range of 10 Hz up to100 MHz fur the steady state of the ETB. During the conducted susceptibility test, no malfunction and no serious damage of the electronic box were observed when a simulated noise waveform was applied to the DC power bus. The simulated waveform was obtained by adding the 6 dB-system margin to the worst case waveform measured from the conducted emission. This test was performed as co-development of the KOMPSAT-I with TRW in USA.

  • PDF