• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.289-292
• /
• 2004

원자력발전소 MMIS(Man-Machine Interface System)는 발전소 공정과 관련 장비들을 감시 및 제어하고, 필요시에 보호기능을 수행함으로써 발전소를 안전하고 신뢰성 있게 운전할 수 있도록 지원하고 있다. 그러한 MMIS의 설계에 소프트웨어기반의 컴퓨터 기술이 사용된 경우, 그 설계를 구현하기 위해 사용된 소프트웨어가 설계 및 프로그래밍 오류에 취약하여, 공통유형의 소프트웨어 오류로 인해 하드웨어로써 구축된 다중성 설계를 파기시킬 수 있기 때문에 원자력 발전소의 안전 및 안정 운전과 직결되게 된다. 또한 소프트웨어는 설계공정 결함이 일반적으로 최종 결과물에서 확인될 수 있다는 점 때문에 확인 및 검증기술을 정립하고 체계적인 적용이 필수적이다. 이에 따라 본 논문에서는 현재 설계를 진행중인 SMART(System-integrated Modular Advanced ReacTor) MMIS 소프트웨어를 개발하기 위해 적용되는 확인 및 검증 규제요건을 분석하고, 소프트웨어 개발생명주기에 따른 확인 및 검증을 체계적으로 수행하기 위한 프레임웍을 제시한다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1995년도 춘계학술발표회논문집(2)
• /
• pp.821-826
• /
• 1995

방사성 폐기물 드럼 내에 함유된 핵종의 종류 및 농도를 비파괴적으로 평가하기 위하여 드럼 이 상하 또는 회전 운동을 하게 한 후 감마선을 검출하는 감마 스케닝 자동화 장치 및 관련평가 기술을 개발하였다. 자동화 장치를 컴퓨터로 제어하기 위한 컴퓨터 프로그램은 사용자가 사용하기에 편리하도록 컴퓨터 화면에 나타난 여러가지 기능 키들을 마우스를 사용하여 간단하게 조작할 수 있게 하였다. 또한 본 연구에서 개발한 몬테칼로 전산 코드의 검증 작업도 수행하였다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 1999년도 종합학술대회발표논문집
• /
• pp.95-100
• /
• 1999

인터넷의 급속한 보급과 공용망을 통한 전자상거래 등의 활용이 늘어나면서 무결성 보장과 보안장치의 필요성이 부각되고 있다. 무결성 보장을 위하여 여러 가지 방법들이 사용되고 있으며 특히 해쉬함수를 이용한 메시지 인증 방법이 다양한 형태로 응용되어 사용되고 있다. 최근 공용망의 보안취약성을 개선하여 사설망과 같은 환경을 구성하기 위해 가상사설망(VPN)의 개념이 제안되었다. 특히 IP계층에서 VPN을 구성하는 표준으로 IETF에서 제안된 IPsec은 암호화와 무결성기능을 포함한 VPN구성 방법으로 최근 활발히 연구되고 있다. 본 논문에서는 IPsec에 따라 실제로 호스트간의 통신 암호화와 해쉬함수를 이용한 무결성 검증 기능을 제공하는 VPN을 구현하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.472-474
• /
• 1998

병렬 객체를 이용한 소프트웨어의 개발시, 병렬성에서 기인한 경쟁 조건의 만족 여부나 교착 상태, 기아 상태 등의 오류를 모델의 검증을 통하여 개발의 초기 단계에 발겨하고 수정하는 것은 개발의 효율성을 높일 수 있다. 이러한 병력 객체모델의 검증을 위해서는 객체간의 상호 메시지 교환과 동적 행위를 기술할 수 있는 모델링 언어가 필요하며, 검증하고자 하는 속성을 기술하기 위한 방법이 요구된다. 본 연구에서는 시스템의 모델링을 위해 SPIN에서 사용되는 PROMELA를 쓰레드 기반의 객체 모델링 언어인 SPIN++로 확장하고, 속성의 기술을 위해 확장된 선형 시제 논리를 제안하였으며, 유한 상태에서는 모델 검사(model checking) 도구인 SPIN을 이용하여 검증하는 방법을 제시하고자 한다. 이러한 연구를 통하여 병렬 객체 모델의 정형적인 검증을 수행할 수 있으며, 시스템 개발의 효율성을 높이는 데 도움을 줄 수 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• pp.1786-1787
• /
• 2011

화력발전소에 사용되는 제어시스템을 개발함에 있어 하드웨어 분야는 시스템의 안정성과 신뢰성 확보를 위해 반드시 기기검증시험을 통과한 후 적용하여야 한다. 이러한 시험은 제어모듈의 모든 종류의 개별 시험과 실제 사용하고자 하는 구성으로 캐비닛에 모두 장착한 상태에서 시험하여야 한다. 이번 시험은 제어시스템을 설계하고 제작한 후 설계 제원대로 성능을 가지고 있는지에 대한 검증을 목적으로 하였으며, 유럽규격의 CE 마크 획득에 필요한 기준으로 시험을 수행한 기준을 설명한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.37-39
• /
• 2003

내장형 시스템의 개발에 있어서 자원의 효율적인 활용과 정확한 설계를 위해 SystemC를 이용한 통합설계 방식이 많이 사용되고 있다. 하지만 시스템이 점점 복잡해지면서 단순한 언어차원에서의 개발 뿐 아니라 개발 이전에 시스템의 정확성을 검증해야 할 필요성이 대두되었다. 이를 위해 정형기법 및 테스팅과 같은 방법을 사용하게 되었다. 본 논문에서는 SystemC로부터 정형기법 도구인 VIS의 입력 언어인 BLIF-MV로 자동 변환하는 알고리즘을 제시하고, SystemC 코드의 자동 검증 방법을 제시하고 실제 시스템에 적용해 보았다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2013년도 추계학술대회 논문집
• /
• pp.196-197
• /
• 2013

친환경 차량의 필수장치로 사용되는 OBC(On Board Charger) 및 LDC(Low DC-DC Converter)는 시스템 성능은 물론 하드웨어적인 신뢰성과 더불어 차량에서 발생할 수 있는 다양한 Fault로부터 차량과 운전자를 보호할 수 있는 안정성과 신뢰성을 확보하는 것이 요구된다. OBC/LDC 개발에 있어 시제품을 제작하여 성능 검증과 하드웨어 신뢰성을 확보하는 것은 현재의 개발 프로세서로 충분하지만 차량에서 발생하는 다양한 Fault 상황에 대한 강건성 확보는 실차에 탑재하여 검증하지 않고서는 뚜렷한 검증 방법이 없는 실정이다. 이에 따라 본 논문에서는 차량에서 발생될 수 있는 다양한 Fault 상황을 시뮬레이터로 모사하여, 이러한 Fault를 전력변환장치에 인위적으로 주입시킨 뒤 전력변환장치가 정상적으로 동작하는지 분석한다. 이를 통해 실차에 탑재하지 않고 전력변환시스템의 신뢰성을 검증하기 위한 방안을 제시한다.

• 컴퓨터교육학회논문지
• /
• 제11권1호
• /
• pp.97-107
• /
• 2008

PC 그리드 환경에서 각 PC 자원(인터넷에 연결된 PC)이 수행한 작업 결과에 대한 정확성 검증은 중요한 문제이다. 이제까지 PC 그리드 환경에서는 작업 결과에 대한 정확성을 보장하기 위한 결과검증 기법으로 투표기반 기법이나 신용기반 기법이 사용되어 왔다. 그러나 이들 기법들은 동적인 연산 환경에 효과적으로 대처하지 못하여 자원 활용의 낭비와 높은 연산 지연을 초래할 수 있는 단점을 갖고 있다. 이러한 단점을 해결하고자 본 논문에서는 신용도(credibility)와 가용성(availability)을 기반으로 하는 PC 자원의 분포 정보를 결과검증 과정에 도입한다. 이러한 정보를 사용하여, 각 PC 자원의 신용도를 평가하여 작업 결과의 정확성을 판단하고 동시에 PC 자원의 가용성 정보를 이용하여 동적 환경에 대처하는 새로운 결과검증 기법을 제안한다. 제안하는 결과검증 기법의 효율성을 증명하기 위해서 국내의 대표적 PC 그리드 시스템인 Korea@Home 시스템의 자원 분포 정보를 활용하여 제안 기법의 성능을 전체작업의 반환시간과 자원사용량의 관점에서 평가하고 다른 결과검증 기법들과 비교하여 우수성을 보인다.

• 마이크로전자및패키징학회지
• /
• 제5권2호
• /
• pp.21-26
• /
• 1998

대용량, 고속데이터 처리가 요구되는 System 개발은 이들의 복잡하고 고기능의 회 로 구현이 가능하냐에 달려 있고 또한 이들고기능 요구를 가장 잘 만족할수 있는 패키지는 MCM 이라 할 수있다. 시스템의 고속화, 소형화는 회로의 복잡성을 요구하는 있는 이를 패 키지로 구현하는 MCM은 시험성 확보에 심각한 문제점으로 나타나고 있다. 본 논문에서는 고밀도 구조의 MCM 기판에 대한 Interconnetion Line 시험검증을 위한 Flying Prober의 적 용 및 모듈 패키징 공정에 대한 조립성 검증을 위한 BST에 대해 설명한다. 연구에 사용된 MCM 모듈은 MCM-D 공정으로 제작되었으며 31um 신호선폭, 50um Via Hole Dia. 5신호 선층 5절연층 및 455 Net의 기판으로절연층은 Dow chemical의 BCB-4024/4026을 적용하였 다. 조립은 3 ASIC, 24소자 실장 및 2000 Wire Bonding으로 이루어지며 패키지는 방열특성 을 고려한 BGA(491 I /O,50mil pitch)를 개발하여 사용하였다. MCM 기판의미세패턴으로 구성된 Interconnection Line에 대해 Fine Ptich Probing이 가능한 Flying Prober를 사용하 여 평가하였으며 BST를 이용하여 실장소자의 KGD평가 및 능동, 수동소자가 실장된 MCM Package의 조립시험성을 확보할수 있었다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2003년도 춘계학술발표대회논문집
• /
• pp.193-197
• /
• 2003

기존의 ART1 알고리즘은 입력 패턴과 저장 패턴간의 유사성 검증 방법의 문제점과 경계 변수에 따라 클러스터의 수와 인식률이 좌우되는 문제점이 있다. 본 논문에서는 기존의 ART1 알고리즘을 개선하기 위하여 입력 패턴과 저장 패턴간의 Exclusive NOR의 놈(norm) 비율을 사용하는 유사성 측정 방법과 퍼지 접속 연산자를 이용하여 유사성에 따라 경계변수를 동적으로 조정하는 방법을 적용한 개선된 ART1을 제안한다. 제안된 방법에서는 1의 개수 비율이 아니라 같은 값을 가진 노드의 비율을 사용하여 유사성을 측정하고 경계 변수는 Yager의 합 접속 연산자를 사용하여 동적으로 조정한다. 제안된 방법의 성능을 확인하기 위하여 26개의 영문 패턴 분류 문제와 잡음이 있는 패턴 인식 문제를 대상으로 실험한 결과, 제안된 방법이 기존의 ART1 알고리즘 보다 경계 변수의 설정에 따라 민감하게 반응하지 않았고 인식률에서도 개선된 것을 확인하였다.