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

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

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2011년도 제40회 동계학술대회 초록집
• /
• pp.27-27
• /
• 2011

For the design of real applicable molecular devices, current-voltage properties through molecular nanostructures such as metal-molecule-metal junctions (molecular junctions) have been studied extensively. In thiolate monolayers on the gold electrode, the chemical bonding of sulfur to gold and the van der Waals interactions between the alkyl chains of neighboring molecules are important factors in the formation of well-defined monolayers and in the control of the electron transport rate. Charge transport through the molecular junctions depends significantly on the energy levels of molecules relative to the Fermi levels of the contacts and the electronic structure of the molecule. It is important to understand the interfacial electron transport in accordance with the increased film thickness of alkyl chains that are known as an insulating layer, but are required for molecular device fabrication. Thiol-tethered RuII terpyridine complexes were synthesized for a voltage-driven molecular switch and used to understand the switch-on mechanism of the molecular switches of single metal complexes in the solid-state molecular junction in a vacuum. Electrochemical voltammetry and current-voltage (I-V) characteristics are measured to elucidate electron transport processes in the bistable conducting states of single molecular junctions of a molecular switch, Ru(II) terpyridine complexes. (1) On the basis of the Ru-centered electrochemical reaction data, the electron transport rate increases in the mixed self-assembled monolayer (SAM) of Ru(II) terpyridine complexes, indicating strong electronic coupling between the redox center and the substrate, along the molecules. (2) In a low-conducting state before switch-on, I-V characteristics are fitted to a direct tunneling model, and the estimated tunneling decay constant across the Ru(II) terpyridine complex is found to be smaller than that of alkanethiol. (3) The threshold voltages for the switch-on from low- to high-conducting states are identical, corresponding to the electron affinity of the molecules. (4) A high-conducting state after switch-on remains in the reverse voltage sweep, and a linear relationship of the current to the voltage is obtained. These results reveal electron transport paths via the redox centers of the Ru(II) terpyridine complexes, a molecular switch.