• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권5호
• /
• pp.541-545
• /
• 2010

최근 차량 소프트웨어의 신뢰성 및 재사용성 향상을 위하여 AUTOSAR 표준을 제정하였다. 그러나 소프트웨어의 표준화만으로는 높은 수준의 신뢰성 확보와 개발 기간 단축에 한계가 있으며, 소프트웨어 테스팅 표준화 및 자동화가 필요하다. 본 연구에서는 TTCN-3 테스트 표준을 적용한 AUTOSAR 소프트웨어 컴포넌트를 위한 테스트 자동화 방법 및 테스트 시스템을 제안하였다. 테스트 표준을 적용함으로써 테스트에 관련된 정보 교환 및 의사소통이 명확해 지고, 테스트 재사용성을 향상시킬 수 있다. 그리고 설계 모델로부터 테스팅 모델을 자동 생성함으로써 개발 기간 단축 및 신뢰성을 향상시킬 수 있다.

• 한국지하수토양환경학회:학술대회논문집
• /
• 한국지하수토양환경학회 2006년도 총회 및 춘계학술발표회
• /
• pp.59-63
• /
• 2006

지하수 모델 개발은 모델의 목적 설정, 자료수집, 개념모델의 수립, 모델 설계, 모델 보정 및 민감도 분석, 예측, 결과제시, 사후검사의 순으로 수행된다. 본 연구의 목표는 신뢰성 있는 지하수 모델 개발을 위해 주요 수문요소(hydraulic features)들을 개념화하는 단계에서 부딪히게 되는 문제점들을 국내의 지하수 환경에 비추어 고찰하였고, 하천 및 지하수 분수령에 대한 경계조건 설정, 암반층의 하부 경계면 설정 등과 같은 수문요소들이 내포하는 불확실성을 논의하였다. 또한 시범지역의 지하수 모델에 대한 민감도 분석을 통하여 이들이 모델 결과에 미치는 영향을 정량적으로 제시하였다.

• 한국방재학회 논문집
• /
• 제10권6호
• /
• pp.73-80
• /
• 2010

최저 안전율 또는 최대 파괴확률을 기반으로 하는 기존의 사면안정해석에 대하여, 지반물성과 해석모델이 갖는 고유 불확실성을 최소화하고, 사면안정해석에서 다양한 안정해석모델과 그에 따른 파괴형상을 반영할 수 있도록, 다중 파괴모드를 고려한 사면의 신뢰성해석기법을 제안하였다. 파괴확률의 산정에는 체계 신뢰성해석분야에서 최근 도입된 선형계획법에 의한 최적화를 이용하였다. 이를 통하여 여러 가지 해석모델을 신뢰성 기반으로 동시에 고려하여 해석할 수 있다. 선형계획법에 의한 다중 파괴 모드를 고려한 파괴확률 산정기법을 이용하여 단순 사면의 경사도 결정을 위한 최적 설계를 검토하였다. 그 결과, 동시 파괴확률을 이용하면, 대상으로 하는 사면안정해석모델과 파괴형상 및 파괴확률을 복합적으로 고려할 수 있기 때문에 개선된 안전성을 확보할 수 있을 것으로 판단된다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2006년도 춘계공동학술대회 논문집
• /
• pp.1746-1753
• /
• 2006

본 논문에서는 L-마트 상온 제품 종합물류센터 실시설계 대안별 검증을 통해 신뢰성을 향상하고 추가 보완사항을 발굴하여 개선하고 설계의 편의를 제공하기 위한 시뮬레이션 모델을 개발하여 물류센터 설비 및 레이아웃, 운영 방안에 대해 종합적인 대안을 제시하였다. 다양한 대안 검증을 위해 유연한 구조의 시뮬레이션 모델을 설계하였으며, 컨베이어 소터의 처리량과 컨베이어 선적 작업자와 컨베이어 하역 작업자의 이용률 및 필요 인원, 각 입/출고도크의 이용률 등을 컨베이어 소터 운영의 성능평가 요소로 정의 하였으며, 비소터 물량을 처리하는 수작업장의 운영의 성능평가 요소로서는 작업자의 이용률과 입고도크의 이용률을 반영하였다. 마지막으로 팔레트 물량을 처리하는 팔레트 작업에서는 팔레트 운반장비의 이용률과 입고도크의 이용률을 성능평가 요소로 반영하였다. 시뮬레이션 모델에서는 물류센터 설비 대안, Layout 변화에 따른 특성 분석을 반영하여 L-마트 물류센터 운영 프로세스를 정의하였다. 개발된 시뮬레이션 모델에서는 입력 데이터의 분석과 시뮬레이션 모델의 신뢰성 검증을 위해 운영을 위한 파라미터를 설정하고, 실제감이 있는 2D Animation을 통해 시뮬레이션 상의 물류의 이상 발생을 시각화하여 보여주도록 하였다. 시뮬레이션의 결과치에 대한 평가 요소 및 대안별 정량적 분석을 통해 L-마트 상온 제품 종합물류센터의 종합적인 운영방안을 제시하였다

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 추계학술발표논문집(상)
• /
• pp.267-270
• /
• 2004

실시간 운영체제는 임베디드 환경에서 매우 중요한 소프트웨어 컴포넌트이다. 임베디드 실시간 운영체제는 고안전성 시스템이나 유비쿼터스 시스템 내에서 강하고(Robust), 신뢰성(Reliable)있고, 안전한(Safety) 특성을 지녀야 한다. 근래에는 이러한 실시간 시스템을 UML 과 같은 모델 기반의 방법으로 설계하고 코드 생성을 통해 구현까지 이끄는 모델 유도 공학(Model Driven Engineering: MDE)[1]을 통해서 개발하고 있다. 이러한 MDE 의 모델은 대부분 UML 기반의 언어를 사용하여 아키텍처를 구성하고 설계하여 코드를 생성하여 구현 코드를 생성해 낸다. 본 논문에서는 이러한 MDE 의 비정형적 언어를 대신하여, 정형명세 언어를 사용하여 실시간 시스템의 모델을 설계하고 이를 검증하여 실시간 운영체제를 개발하는 방법론을 기술한다. 이렇게 함으로써 보다 엄격한 언어를 통해 시스템의 설계의 모호함이나 모순을 없애고, 수학적 기반의 검증을 통해 보다 안전하고 신뢰성 있는 시스템을 구현하자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (3)
• /
• pp.58-60
• /
• 2004

차세대 네트워크의 출현으로 다양한 형태의 통신망 들 간의 융합이 중요해졌다. 무선 망의 경우 이질적인 망들 간의 통합 및 융합이 이루어지기 위해서는 끊김 없는 이동성 지원이 매우 중요하다. 끊김 없는 이동성 지원은 이질적인 무선망 간의 이동시에도 지속적으로 세션을 유지하는 기능을 말한다. 이러한 기능을 핸드오프 기법이라 하며 현재 다양한 연구가 진행 중이다. 본 논문에서는 현재 제안되어 있는 핸드오프 기법 중 USHA(Universal Seamless Handoff Architecture)를 기반으로 하여 적용하기 쉬우며 확장성과 신뢰성을 보장하는 핸드오프 모델을 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.1973-1976
• /
• 2002

본 논문에서는 유 무선 네트워크 환경에서의 자료 일치성 유지를 위한 동기화 프로토콜(SyncML1.1)을 검증한다. 프로토콜 검증에 관한 기존 연구에서는 약한 일관성을 갖는 동기화 프로토콜은 다루어지지 않았으며 정리 증명 혹은 모델 채킹에 대한 선택적 접근으로인해 증명 영역이 제한적이었다. 본 연구에서는 프로토콜의 의미를 정의하고 행위 및 시스템 구조, 메시지 패싱에 대한 개별적 모델을 단계적으로 설계하는 한편, 동기화 프로토콜에서의 안전성 및 상호 배제, 궁극성 속성은 시퀀트 계산법에서의 역방향 전략으로 증명되며, 모델 채킹 기술을 하나의 증명 규칙으로 사용했다. 본 연구는 두가지 부분에서 특징과 의미을 갖는다. 첫째, 정리증명과 모델 채킹이 혼합된 검증 방법을 사용했다. 둘째, 객체 제약 언어 및 정형 명세 언어의 사용을 통해 모델의 생성을 보다 단계적이고 정형적으로 유도했으며 이를 통해 검증의 신뢰성 및 품질을 높였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.532-534
• /
• 2005

분산 환경에서의 메시지 전송에 대한 TMO 모델은 실시간 프로그래밍, 분산 시스템 프로그래밍, 병행 프로그래밍, 객체 지향 프로그래밍의 모든 장점을 통합한 분산 실시간 객체 모델로서 운영체제의 오버헤드를 줄이고 프로세스 처리의 정밀도를 높인다. LTMOS는 TMO로 구성된 프로그램을 여러 개의 Linux 플랫폼에서 수행하기 위해 개발된 미들웨어 엔진으로서 기본적으로 분산 IPC 메시지를 유니캐스트로 전달하지만 효율성을 높이기 위해 멀티캐스트 전송 방식도 필요하다. 이에, 본 논문은 TMO 분산 IPC 환경에 멀티캐스트를 적용하여 효율성과 데이터의 신뢰성을 보장하는 ACK/NACK 기반 멀티캐스트 전송 프로토콜을 구현한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.1813-1816
• /
• 2003

최근 이동내장형 시스템 기술이 차세대 정보통신 산업의 주력으로 급부상함에 따라 다양한 이기종 제품간의 호환성과 이식성 제공의 핵심 역할을 수행하는 자바가상머신(Java Virtual Machine)이 주목 밭고 있다. 가상머신을 컴포넌트 기반 소프트웨어 기술을 사용하여 구축한다면, 재사용과 재구성이 용이해 저렴하고 신뢰성 있는 가상러신 개발이 가능해진다. 이러한 이유로 인하여, 자원이 제한된 내장형 실시간 시스템 개발사용에 적합한 컴포넌트 모델의 필요성이 동시에 증대되고 있다. 따라서, 본 논문에서는 기존에 제안된 내장형 실시간 컴포넌트 보델인 PBO(Port-Based Object) 모델을 내장형 실시간 환경에서 수행되는 자바가상머신에 적합하도록 개선하여 증가된 신뢰성과 감소된 시스템 복잡도를 갖는 자바가상머신 시스템을 제안하였다.

• 한국신뢰성학회:학술대회논문집
• /
• 한국신뢰성학회 2001년도 정기학술대회
• /
• pp.245-255
• /
• 2001

원전 가동전/가동중검사 결과의 신뢰도(reliability)는 원전 배관기기의 건전성에 직결되는 것으로써 결함 발견 시 적용되는 파괴역학해석(FMA)은 비파괴검사 결과에 대한 100%의 신뢰를 전제하고 있다. 그러나 비파괴검사가 어느 정도 신뢰성을 가지고 있는지에 대한 평가가 국내에서는 거의 수행된 바가 없었다. 따라서, 본 연구에서는 원전의 비파괴검사 규제 요건의 기술적 근거를 확보하고, 원전 기기 건전성 평가 및 안전성 향상을 위한 합리적 규제지침을 수립하기 위하여 국내 원전 가동중검사(ISI)에 적용되거나 일반 산업계에 적용되고 있는 초음파탐상검사에 대하여 기량검증 Round Robin Test에 의한 통계적 신뢰도를 평가하고자 한다. 이를 위해 초음파검사 PD-RRT 결과의 통계적 신뢰도 평가 모델을 고찰하고, 결함검출성능 평가, 결함크기 측정 평가, 팀 오차 분석 등 초음파검사 PD-RRT 결과의 통계적 신뢰도를 평가하였다.