• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2498-2500
• /
• 2000

차세대 신형원전에서는 디지털 기술의 적용을 기본 설계 요건으로 제시하고 있다. 차세대 원전의 노심보호계통 (Core Protection Calculator Systems; CPCS)은 원전의 안전성을 보장하기 위한 부분으로 이 부분이 올바르게 작성되고, 검증되어야 함은 분명하다. 현재 이부분은 소프트웨어로 개발 중에 있으며 개발 단계에 있어서 시작단계인 요구명세 단계에 있다. 요구 명세 단계의 오류는 소프트웨어 개발 단계 중 소프트웨어의 품질에 가장 영향을 많이 미치는 단계로 알려져 있으므로 이 단계를 정확하게 수행하여야 한다. 안전성이 중요한 소프트웨어를 명세하는 데 있어서 우선 정의되어야 하는 것은 어떤 절차를 통해서 어떤 방법으로 할지를 결정하여 그 절차를 정하여야 한다. 기존에 소프트웨어 요구 명세에 대한 표준안이 존재하기는 하지만, 이러한 표준안들은 개념적인 언어들로 쓰여져 있기 때문에 실제 소프트웨어의 개발 과정에 사용하기 위해서는 구체적인 언어들로 다시 작성하여야 한다. 따라서, 소프트웨어 명세를 작성하기 위해서 절차와 방법에 대해서 정의하여야 한다. 본 논문에서는 개략적인 명세 절차와 명세 방법등을 기술하였다.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.37 no.5
• /
• pp.693-705
• /
• 2013

Procedural models have the advantage of being easy to edit simply by changing the values of the parameters of their constructional operations. In previous studies, we have introduced an approach for representing procedural 2D CAD models in ISO 10303 and developed ISO 10303-112 for the exchange of procedural 2D CAD models. In this paper, a method for the development of a procedural 2D CAD data translator supporting ISO 10303-112 is suggested. Furthermore, the core techniques applied to the translator are presented. The feasibility of the proposed method was demonstrated through data exchange experiments using a prototype translator.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.6-6
• /
• 2023

국토교통부는 R&D 사업인 '분산공유형 건설연구인프라구축사업(2004년~2009년, 6종)'과 '국토교통기술실험인프라 2단계 구축사업(2013년~2019년, 6종)'을 통해 첨단 연구시설·장비를 전국에 분산 구축하여 실험시설이 부족한 중소기업·대학 등이 공동활용할 수 있도록 총 12종의 건설분야 대형실험시설을 구축하였다. 국토교통 R&D 성과(기술·제품)의 품질 및 신뢰성 확보를 통해 개발기술의 상용화 촉진을 위해서는 이러한 국토교통 대형실험시설·장비를 활용한 표준화된 성능평가 시험기반(표준실험절차, 단체표준 등)을 구축하여 연구인프라의 공동활용을 촉진하고 기술개발 성공률 제고와 함께 건설분야 시험인증 산업을 육성할 필요가 있다. 국토교통 대형실험시설을 활용하여 건설분야 기술·제품에 대한 성능평가 기반의 실험절차를 표준화함으로써 성능평가 결과의 신뢰성 확보 및 기술시험서비스 역량 제고를 위한 '건설분야 기술·제품의 검증을 위한 성능기반 표준실험절차 개발(연구기간: '17.06~'22.06, 연구비: 총99억원, 주관기관: 국토교통연구인프라운영원)' 과제가 성공적으로 수행 완료되었다. 이 과제를 통해 총 53개의 표준실험절차서와 20개의 단체표준이 제정되었다. 이어서, 2단계 대형실험시설 준공완료에 따라 '건설분야 성능기반 표준시험절차 개발 사업(연구기간: '21.04~'25.12, 연구비: 총143.8억원)이 수행되고 있다. 현재, 국토교통연구인프라운영원은 이 사업 내 국제융합수리(주관기관: 한국농어촌공사 농어촌연구원), 극한성능(주관기관: 서울대학교) 및 기상환경재현(주관기관: 한국건설기술연구원) 표준실험절차 개발 과제에 공동기관으로 참여하여 단체표준 개발업무를 담당하고 있다. 본 논문에서는 단체표준 소개 및 현황에 대해 설명하고, 1단계 표준실험절차 개발과제를 통해 정립되었고 현재 2단계 표준실험절차 개발과제에도 적용되고 있는 시험관련 단체표준(안) 개발 프로세스에 대해 기술하고자 한다. 개발된 단체표준은 건설관련 실험·시험시설을 보유한 기관(대학, 공공기관, 산업체 연구소 등)의 성능검증 시험, 신기술 및 신제품 인증 표준절차에 활용가능하며, 시방서와 설계기준에 KS표준과 같이 시험 및 검사방법에 있어 참조표준으로도 활용 가능하다.

• KEPCO Journal on Electric Power and Energy
• /
• v.6 no.3
• /
• pp.259-269
• /
• 2020

With the proposal-agreement procedure, RSTP can reduce the network recovery time to 400 ms or less in the case of 40 bridges. While the legacy RSTP reverts the previous agreement at the bridge with the alternate port role in the ring during the fault recovery, a new position based fast fault recovery procedure is proposed in this paper to guarantee a single proposal-agreement transaction which can provide more faster recovery. By knowing the relative position of the faulty link or bridge in hops, the bridge on the middle of the ring can complete the recovery procedure without revert. The performance of proposed procedure is numerically calculated and verified by simulation and the result shows that the recovery time can be reduced up to 100 ms, which is 1/4 times of the legacy RSTP.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.25 no.3
• /
• pp.127-137
• /
• 2021

The launch complex(LC) is composed of various facilities. The launch control system that operates remotely those of LC spends much time and labor for developing and verifying its control algorithms. The verification of algorithms is performed by the software developer entering simulated state values based on the test procedure and checking the output result according to the algorithm flow. These verification processes should be performed repeatedly, thus the human errors are easily occurred. In this paper, an efficient automated verification method with a script test procedure is proposed to minimize human errors and shorten the verification duration. We also present the results of the algorithm verification tests for the cases of the compressed gases supply system and the electro pneumatic panel system of LC.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.23 no.2
• /
• pp.287-298
• /
• 2013

Industrial Control systems which are operated in the industrial infrastructure adopts the various functions and face various threats in these days. To assure the security of the industrial control systems, the security evaluation methodology should be necessarily developed. This study suggests the processes and methodology for evaluating control systems, verifies the effectiveness of processes and methodologies through development of security checklists. The results of the study will be utilized for operators, evaluators and obtainers of industrial controls and be basis for developing and assuring the industrial controls systems.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.418-420
• /
• 2000

절차지향 프로그램으로부터 객체지향 프로그램으로 제공학 과정은 여러 단계를 거친다. 재공학은 객체 추충, 클래스 추출, 상속성 추출, 지속성 추출, 코드생성, 테스트등의 과정을 거친다. 변환 과정을 정당화하기 위해 테스트 단계에서 두 프로그램의 의미적 동일성이 검증되어야 한다. 이러한 검증과정이 없이는 변환이 무의미하다. 본 논문에서는 두 프로그램의 의미적 동일성의 의미와 검증에 대한 방법론을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.289-291
• /
• 2004

인터넷을 통한 통신의 안전성을 확보하기 위해서는 전송될 정보를 암호화해야 한다 따라서 통신의 주체간에는 공통적인 키의 공유와 상대방의 신원 확인을 위한 절차가 필요하다 정형검증기법은 이러한 네트워크상에서 통신의 안전성을 확보하기 위한 수단으로 사용되며, 본 논문에서는 무선환경기반 보안 프로토콜인 Carlsen BCY프로토콜을 모델 체커인 FDR을 사용하여 검증하였다.

• Nuclear Engineering and Technology
• /
• v.27 no.4
• /
• pp.571-581
• /
• 1995

The generation, verification and validation of Emergency Procedures for Nuclear Power Plant is a difficult and complex process. Atomic Energy Control Board(AECB) requires that emergency procedure and plan be produced before obtaining the Operating License, that is, detailed plans and procedures to handle emergency situations for both on-site actions and off-site actions be developed. In this report Emergency Operating Procedures Standard for Canadian Nuclear Utilities which makes reference to U. S. practices and the current direction of emergency procedures for CAN-DU reactors are reviewed and compared based on scope(events covered), methodology (event-oriented or symptom-oriented or hybrid) and format(method of presentation) preponderantly, and an attempt is made to integrate these procedures and as a result the recommended strategy for Wolsong unit 2, 3, & 4 is presented as event-specific procedures, generic procedures(when event is not diagnosed) and whose format is combination of logic diagram and text.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.516-518
• /
• 2000

기존의 객체 분석 메소드에서는 사용자 이해 수준에서 요구사항이 명세되지 않으며 또한 요구사항이 만족되는가를 검증하기도 어렵다. 요구사항이 잘 반영된 좋은 품질의 분석 모델을 개발하기 위해서는 사용자 수준에서 이해될 수 있는 요구사항을 명세해야 하며, 이를 기반으로 클래스를 식별하는 작업이 필요하다. 이를 개선하기 위해 정보 구조 모델링 기반 분석 클래스 식별 절차를 제안하였다. 비교 연구결과, 본 논문에서 제안한 절차는 정적 모델 명세에 치중된 경향은 있으나, 제품의 반복성이 우수하며, 품질 부-부특성들을 평가하는 것이 가능하여, 좋은 품질의 분석 모델을 개발할 수 있다.