일반적인 다각형 모양의 질의 윈도우를 이용한 공간 선택 질의의 정제 전략

유준범(Junbeom Yoo),정진완(Chin-Wan Chung) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.1B

공간 선택 질의에 사용되는 질의 윈도우로는 직사각형이 주로 사용된다. 하지만, 최근에는 GIS 등과 같은 응용 프로그램들이 성능 향상으로 인해 보다 다양한 종류의 응용이 등장하고 있으므로, 직사각형뿐만 아니라 임의의 다각형 형태의 질의 윈도우에도 적합한 정제 단계 수행 전략에 대해 고려해 볼 필요가 있다. 이러한 전략으로는 기존의 공간 조인에서와 같이 plane-sweep 알고리즘을 이용하는 방법이 일반적이다. 하지만, 공간 데이터와 질의 윈도우의 특성을 관찰해보면, 일반적으로 질의 윈도우가 공간 데이터보다 훨씬 간단한 모양으로 구성되어 있음을 알 수 있으므로, 본 논문에서는 이러한 상황에 보다 적합한 정제 단계 수행 방법을 제시하고 있으며, 실험을 통하여 제시한 방법의 우수성을 입증하고 있다.

정형 소프트웨어 요구사항으로부터 PLC 디자인의 체계적 생성

유준범(Junbeom Yoo),차성덕(Sungdeok Cha),김창회(Chang Hui Kim),송덕용(Deokyong Song) 한국정보과학회 2005 정보과학회논문지 : 소프트웨어 및 응용 Vol.32 No.2

원자력 발전소의 디지털 제어 시스템은 안전성이 중요시되는 safety-critical 소프트웨어로서 충분한 수준의 안전성을 보장하기 위해서 여러 기법들이 적용되고 있다. 특히, 정형명세 기법은 개발의 초기 단계에서 소프트웨어 요구 사항들을 명확하고 완전하게 명세하도록 유도함으로써 안전성을 크게 향상시킬 수 있는 기법으로 인정받고 있다. 본 논문에서는 정형명세 기법인 NuSCR을 이용해서 작성된 요구사항 명세로부터, 설계 단계의 내용으로 사용될 수 있는 PLC 기반의FBD 프로그램을 체계적으로 생성하는 기법을 제안하고 있다. 제안된 기법은 기존의 수동 명세 작업에서 발생할 수 있는 오류들을 크게 줄일수 있으며, 소프트웨어의 개발 비용과 기간을 줄일 수 있다. 또한, 제안된 기법의 유용성을 증명하기 위해서, 현재 KNICS에서 개발 중인 DPPS RPS의 BP를 구성하는 트립 논리 중의 하나인 고정 설정치 상승트립을 예제로 설명하고 있다. The software of the nuclear power plant digital control system is a safety-critical system where many techniques must be applied to it in order to preserve safety in the whole system. Formal specifications especially allow the system to be clearly and completely specified in the early requirements specification phase, therefore making it a trusted method for increasing safety. In this paper, we discuss a systematic method, which generates PLC-based FBD programs from the requirements specification using NuSCR, a formal requirements specification method. This FBD programs takes an important position in design specification. The proposed method can reduce the possible errors occur in the manual design specification, and the software development cost and time. To investigate the usefulness of our proposed method, we introduce the fixed set-point rising trip example, a trip logic of BP in DPPS RPS, which is presently being developed at KNICS.

디지털 원자로 보호 시스템을 위한 정형 소프트웨어 요구사항 명세

유준범(Junbeom Yoo),차성덕(Sungdeok Cha),김창회(Chang Hwoi Kim),오윤주(Younju Oh) 한국정보과학회 2004 정보과학회논문지 : 소프트웨어 및 응용 Vol.31 No.6

원자력 발전소의 디지털 제어 시스템에 적용되는 소프트웨어는 안전성이 중요시되는 safety-critical 소프트웨어로, 충분한 수준의 안전성을 보장하기 위해서 여러 기법들이 적용되고 있다. 특히, 정형명세 기법은 개발의 초기 단계에서 소프트웨어 요구 사항들을 명확하고 완전하게 명세하도록 유도함으로써 안전성을 크게 향상시킬 수 있는 기법으로 인정 받고 있다. 본 논문에서는 원자력 발전소 디지털 제어 시스템 소프트웨어의 요구 사항 명세에 적합하도록 개발된 정형명세 기법인 NuSCR을 논의한다. 또한, 개발된 NuSCR의 적용성을 검토하기 위해, 현재 KNICS 사업단에서 개발중인 발전소보호계통 소프트웨어의 요구사항을 정형 명세한 경험을 소개하고 있다. 또한, 원자력 도매인에 특화된 정형명세 기법인 NuSCR의 우수성도 실례를 들어 설명하고 있다. The software of the nuclear power plant digital control system is a safety-critical system where many techniques must be applied to it in order to preserve safety in the whole system. Formal specifications especially allow the system to be clearly and completely specified in the early requirements specification phase therefore making it a trusted method for increasing safety. In this paper, we discuss the NuSCR, which is a qualified formal specification method for specifying nuclear power plant digital control system software requirements. To investigate the application of NuSCR, we introduce the experience of using NuSCR in formally specifying the plant protection system’s software requirements, which is presently being developed at KNICS. Case study that shows that the formal specification approach NuSCR is very much qualified and specialized for the nuclear domain is also shown.

임의의 다각형 질의 윈도우를 이용한 공간 선택 질의의 정제 전략

유준범(Junbeom Yoo),최용진(Yong-Jin Choi),정진완(Chin-Wan Chung) 한국정보과학회 2003 정보과학회논문지 : 데이타베이스 Vol.30 No.3

공간 선택 질의에 사용되는 질의 윈도우로는 직사각형이 주로 사용된다. 하지만, 공간 선택 질의의 윈도우로는 직사각형이 아닌 일반적인 다각형 모양도 가능하며, 최근에는 GIS 등과 같은 응용 프로그램들이 성능 향상으로 인해 보다 많은 공간 데이터를 다룰 수 있게 됨에 따라, 여러 다양한 종류의 응용도 많이 등장하고 있다. 따라서, 직사각형뿐만 아니라 임의의 다각형 형태의 질의 윈도우에도 적합한 정제 단계 수행 전략에 대해 고려해 볼 필요가 있다. 이러한 전략으로는 기존의 공간 조인에서와 같이 plane-sweep 알고리즘을 이용하는 방법이 일반적이다. 하지만, 공간 데이터와 질의 윈도우의 특성을 관찰해보면, 일반적으로 질의 윈도우가 공간 데이터보다 훨씬 간단한 모양으로 구성되어 있음을 알 수 있으므로, 본 논문에서는 이러한 상황에 보다 적합한 정제 단계 수행 방법을 제시하고 있다. 실험을 통해 알 수 있듯이, 질의 윈도우를 구성하는 점의 개수가 약 20개 이하인 일반적인 경우에는, 본 논문에서 제시하는 새로운 방법이 기존의 방법보다 20% 정도 향상된 성능을 보이고 있다. The shape of query windows for spatial selection queries is a rectangle in many cases. However, it can be issued for spatial selection queries with not only rectangular query widow, but also polygonal query window. Moreover, as the applications like GIS can manage much more spatial data, they can support the more various applications. Therefore it is valuable for considering about the query processing method suitable for not only rectangle query window, but also general polygonal one. It is the general state-of-the-art approach to use the plane-sweep technique as the computation algorithm in the refinement step as the spatial join queries do. However, from the observation on the characteristics of spatial data and query windows, we can find in many cases that the shape of query window is much simpler than that of spatial data. From these observations, we suggest a new refinement process approach which is suitable for this situation. Our experiments show that, if the number of vertices composing the query window is less than about 20, the new approach we suggest is superior to the state-of-the-art approach by about 20% in general cases.

국내 전자 상거래 기업의 외주 개발 프로젝트에 적용한 스크럼 방법론 사례 연구

홍나영(Nayoung Hong),유준범(Junbeom Yoo),차성덕(Sungdeok Cha) 한국정보과학회 2010 한국정보과학회 학술발표논문집 Vol.37 No.1A

템플릿에 기반한 NuSCR 정형 명세의 소프트웨어 고장 수목 생성 방법

김태호(Taeho Kim),유준범(Junbeom Yoo),차성덕(Sungdeok Cha) 한국정보과학회 2005 정보과학회논문지 : 소프트웨어 및 응용 Vol.32 No.12

본 논문은 NuSCR 정형 명세 언어로 작성된 소프트웨어 요구 명세로부터 소프트웨어 고장 수목을 생성하는 방법에 대하여 제안하였다. 본 연구에서 제안하는 소프트웨어 고장 수목은 소프트웨어의 구조와 동작에 대한 요구 사항을 반영하는 통합된 형태의 고장 수목으로, 안전성에 대한 복합적인 분석이 가능하다. 이러한 소프트웨어 고장 수목을 생성하기 위하여 NuSCR 정형 명세언어의 구성 요소 각각에 대한 템플릿을 정의하고, 이들 템플릿을 사용하여 소프트웨어 고장 수목을 생성하는 방법을 제안하였다. 그리고, 제안된 방법의 유용성을 평가하기 위해 현재 국내 원전계측제어시스템 개발사업단에서 개발 중인차세대 원자력 시스템 APR1400에 사용될 원자로 보호 시스템의 핵심 트립 논리에 대하여 고장 수목을 생성하고 분석 하였다. In this paper, we propose a synthesis method of software fault tree from software requirements specification written in NuSCR formal specification language. The software fault tree, proposed in this paper, reflects requirements on both structure and behavior and it is an integrated form. The software fault tree can be used for analyzing safety in the view of structure and behavior. We propose templates for each components in NuSCR specification language and a synthesis method of software fault tree using the templates. The research was applied into the main trip logic of the reactor protection system of ARP1400, the Korean next generation nuclear reactor system, developed by KNICS. And we evaluate feasibility of our approach through this case study.

Relationships of Traceability Analysis for Integration of Hazard Analysis Elements on Hierarchical Systems

Sejin Jung(정세진),Junbeom Yoo(유준범) 한국정보과학회 2020 한국정보과학회 학술발표논문집 Vol.2020 No.7

NuSCR 정형 요구사항명세로부터 FBD 프로그램 자동생성을 위한 도구(NuSCRtoFBD) 개발

백형부(Hyoungbu Back),유준범(Junbeom yoo),차성덕(Sungdeok Cha) 한국정보과학회 2008 한국정보과학회 학술발표논문집 Vol.35 No.2

하이브리드 시스템 정형 검증 분야 소개 및 동향

윤상현(Sanghyun Yoon),유준범(Junbeom Yoo) 한국정보과학회 2019 정보과학회지 Vol.37 No.4

VIS 정형 검증 자동화를 위한 소프트웨어 VIS Analyzer 개발

정세훈(Sehun Jeong),유준범(Junbeom Yoo),차성덕(Sungdeok Cha) 한국정보과학회 2008 한국정보과학회 학술발표논문집 Vol.35 No.2

Safety-Critical System을 구성하는 소프트웨어는 높은 안전성과 품질 보장을 위하여, 정형 기법의 적용이 요구되고 있다. VIS(Verification Interacting with Synthesis)는 모델 체킹, 일치성 검증, 시뮬레이션 등 다양한 정형검증을 지원하는 널리 사용되는 도구이다. 하지만, VIS는 콘솔 기반의 UI만 제공하며, 부분적인 정보만으로 구성된 검증 결과를 제공하므로, VIS의 시뮬레이션 기능을 사용하여 보다 정확하고 자세한 검증 내용을 확인해야 하는 문제점이 있다. 본 논문에서는 이러한 VIS의 검증 기능 사용에서 발생하는 문제점들을 해결할 수 있는 지원 도구인 VIS Analyzer를 소개한다. VIS Analyzer는 Windows 기반의 GUI를 통해 VIS 검증 과정을 자동화했으며, 시뮬레이션을 자동으로 수행함으로써 VIS 일치성 검증 결과를 정확하게 분석할 수 있도록 지원하고 있다. 제안하는 도구의 효율성을 검증하기 위해서 현재 KNICS 사업단에서 개발중인 APR-1400 원자로 보호 시스템의 원자로 보호 시스템(RPS: Reactor Protection System)을 예로 사용하였다.