• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제10권4호
• /
• pp.115-124
• /
• 2021

기능 블록 다이어그램(Function Block Diagram, FBD) 프로그램이 안전 필수 시스템 구현에 널리 사용되면서 FBD 프로그램에 대한 효과적인 테스트가 중요해졌다. 뮤테이션 테스팅은 오류 기반 테스팅 기술로, 오류 탐지에 매우 효과적이지만 비용이 많이 든다. 본 연구에서는 FBD 프로그램 테스터를 지원하기 위한, FBD 프로그램 대상 자동 뮤턴트 생성기를 제안한다. MuGenFBD 도구는 뮤턴트 생성 비용과 동등 뮤턴트 문제를 고려하여 설계되었다. MuGenFBD 도구의 성능을 평가하기 위해 실제 산업 사례에 대한 실험을 수행한 결과, MuGenFBD를 활용하여 뮤턴트 생성 시 동등 뮤턴트를 생성할 비율이 낮으며 적은 비용으로 FBD 프로그램 대상 뮤턴트를 효과적으로 자동 생성할 수 있음을 확인하였다. 제안하는 도구는 FBD 프로그램에 대한 뮤테이션 분석 및 뮤테이션 충분성 기준을 만족시키는 테스트 생성을 효과적으로 지원할 수 있다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 22-24 Oct. 1991
• /
• pp.226-231
• /
• 1991

A graphic control language using function block diagram approach is designed and implemented, applicable to real-time control for continuous process automation system. The procedure implementing the control language is composed of three parts, editor, compiler, and executer. The editor generates the control algorithm file, which contains function block information in the text form, by menu-driven method on the color graphic screen. The compiler translates the contents of the control algorithm file to machine codes and their related data. Then, the executer generates a task that makes the machine codes executed at every sampling period in the target processor. The validity of the concept in its design and implementaion is assured by on-line simulation in the multi-function controller designed for continuous process automation.

• 한국자동차공학회논문집
• /
• 제6권4호
• /
• pp.66-75
• /
• 1998

In many case of optimal design and sensitivity analysis, obtaining of transfer function between input and output variables is a difficult and time-consuming problem. The bond graph modeling is a method that is used for making it easy to analyze complex systems composed of mechanical and electrical parts. It gives us a simple and systematic tool to get state-space equations easily. And we can obtain the transfer function graphically using bond graph and Mason's rule. This paper shows how bond graphs are converted to block diagram and how Mason's rule is applied. And the simple direct method to obtain transfer function from bond graph is introduced. As a example, induction of transfer function of electric power steering composed of mechanical and electrical parts will be done.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권4호
• /
• pp.265-269
• /
• 2009

정형명세기법은 안전최우선시스템 소프트웨어의 안전성을 일정 수준 이상 보장할 수 있는 기법으로서, 원자력 발전소의 디지털 제어시스템의 개발에 사용되고 있다. 정형명세기법 NUSCR로부터 Programmable Logic Controller(PLC) 시스템을 구현하기 위한 소프트웨어인 Function Block Diagram(FBD) 프로그램을 자동으로 생성하는 기법[1]이 개발되었으나, 이를 지원하는 자동화 도구가 없어 이 기법이 널리 사용되지 못하였다. 본 논문에서는 이어 자동생성 기법을 지원하기 위하여 개발된 자동화 도구 NuSCRtoFBD를 소개한다. 본 연구에서 제안하는 NuSCRtoFBD 도구를 사용하여 NuSCR로부터 FBD를 자동생성 함으로써, 기존의 수동 프로그래밍 작업에서 발생했던 다수의 오류들을 줄일 수 있다.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제15권1호
• /
• pp.44-51
• /
• 2015

In this study, we propose reliability prediction of a satellite by function analysis. To do so, the intended functions of the satellite are derived from using function structure block diagram, and defined as main, sub, and detailed functions. Furthermore, in order to generate function and reliability structure table, reliability model rule, duty cycle, and types of switch are assigned to the classified functions. This study also establishes reliability block diagram and mathematical reliability models to schematize the relationship among the functions. The reliability of the classified function is estimated by calculating the failure rate of parts comprising them. Finally, we apply the proposed method to a small satellite as a case study. The result shows that the reliability for the detailed function and the sub function as well as the main function could be predicted quantitatively and accurately by the proposed approach.

• 한국신뢰성학회:학술대회논문집
• /
• 한국신뢰성학회 2000년도 춘계학술대회 발표논문집
• /
• pp.223-230
• /
• 2000

This work aims to develop modeling methodology of machine part reliability. The reliability model is to be used for predicting and improving reliability in planning and design processes of products. In order to develop the reliability model of machine parts, the functions and interactions of sub-units of machine parts are analyzed first and function network is constructed. Using the function network, function block diagram is developed, which can be the basis for deriving reliability block diagram. Modeling of machine part reliability has not been widely studied since the reliability modeling of machine parts requires understanding of the functions and failures of their components in several viewpoints. This work tries to find general methodology of reliability modeling and proposes a framework for reliability improvement during machine part development.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권3호
• /
• pp.149-161
• /
• 2008

프로그래머블 로직 컨트롤러(PLC: Programmable Logic Controller)가 안전성이 중요한 실시간 시스템 구현에 많이 사용되면서, PLC 프로그램에 대한 테스팅의 중요성이 날로 높아지고 있다. 본 논문에서는 PLC 프로그래밍 언어 중 하나인 함수 블록 다이어그램(FBD: Function Block Diagram)에 대한 구조적 테스팅 방안을 제안한다. FBD를 테스트하기 위해 먼저 타이머 함수 블록을 비롯한 각 함수 및 함수 블록에 대한 흐름그래프 템플릿을 정의하고, 템플릿을 기반으로 한 변환 알고리즘을 제안하며, 알고리즘을 따라 FBD로부터 변환된 흐름그래프에 기존의 제어 흐름 테스팅 커버리지와 데이타 흐름 테스팅 커버리지를 적용한다. 기존 FBD 테스팅은 테스트 케이스 생성시 FBD 내부 구조를 고려하지 않으며, FBD 프로그램으로부터 특정 중간단계 모델을 생성해 낼 수 있는 경우에만 적용될 수 있는 단점을 가진 반면, 본 논문에 제안된 방법은 FBD 내부 구조를 고려한 체계적 테스트 케이스 생성이 가능하며, 중간단계 모델의 형식에 관계없이 어떤 FBD에도 적용될 수 있다는 장점을 가진다. 특히 제안된 기법은 여러 실행주기에 걸쳐 테스트 되어야 하는 타이머 함수 블록을 포함한 FBD에 대한 철저한 테스팅을 가능하게 한다. 제안된 기법을 현재 원전계측제어시스템 개발사업단에서 개발 중인 디지털 원자로 보호계통 비교논리 프로세서 트립 논리에 적용하여 그 효과를 확인하였다.

• Nuclear Engineering and Technology
• /
• 제41권1호
• /
• pp.79-90
• /
• 2009

Verification of programmable logic controller (PLC) programs written in IEC 61131-3 function block diagram (FBD) is essential in the transition from the use of traditional relay-based analog systems to PLC-based digital systems. This paper describes effective use of the well-known verification tool VIS for automatic verification of behavioral equivalences between successive FBD revisions. We formally defined FBD semantics as a state-transition system, developed semantic-preserving translation rules from FBD to Verilog programs, implemented a software tool to support the process, and conducted a case study on a subset of FBDs for APR-1400 reactor protection system design.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제22권3호
• /
• pp.145-150
• /
• 2016

프로그램 내에서 오류의 정확한 위치를 찾아내는 것은 많은 시간과 노력을 필요로 하는 작업이다. 이러한 문제를 해결하기 위하여 프로그램의 제어 흐름을 이용한 자동화된 오류 위치 추정 기법이 오랫동안 연구되어 왔으나, 데이터 흐름 기반 언어로 작성된 프로그램에 대해서는 적용될 수 없다는 한계가 있다. 최근 개발된 뮤테이션(mutation) 기반 오류 위치 추정 기법의 경우 프로그램의 제어 흐름 대신 뮤턴트(mutant)라 불리는 인공 오류를 활용하기 때문에 데이터 흐름 기반 언어로 구현된 프로그램에 대해서도 활용될 수 있을 것으로 기대되나, 오류 위치 추정 효과성에 대한 연구는 이루어지지 않았다. 본 연구는 데이터 흐름 기반 언어인 Function Block Diagram (FBD)로 구현된 프로그램을 대상으로 뮤테이션 기반 오류 위치 추정 기법이 실제 오류의 위치를 얼마나 정확하게 추정할 수 있는지에 대한 사례 연구를 수행한다. 실제 원자로 보호 시스템 대상 초기 버전에 사용되었던 FBD 프로그램에서 발견된 오류들을 수집하고, 각 오류별 위치 추정의 효과성을 분석한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년 학술대회 논문집 정보 및 제어부문
• /
• pp.273-275
• /
• 2006

Ladder Diagram(LD) is the most widely utilized among many sorts of existing programs using for the design of process control system. But it is very difficult to grasp sequential flow of control logic. In this paper, we proposed the method that we can control a lot of blocks. We used PLC in process control system. And, in order to design we used Sequential Function Chart(SFC). In this paper, we proposed the method of block contro. and confirmed feasibility through a simulation.