• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.40-42
• /
• 2002

CORBA나 DCOM과 같은 개발환경을 기반으로 한 컴포넌트 기반 개발(CBD : Component Based Development)은 광범위한 소프트웨어 재사용을 유도한다. 하지만 컴포넌트의 개발 과정 중 영세 및 설계 단계에서 그 컴포넌트가 과연 실행이 가능한 것인지, 오류는 없는지를 명확하게 알 수 있는 방법이 없다. 컴포넌트의 개발 초기 단계에서 그에 대한 검증의 과정을 통하여 논리적 설계 오류를 초기에 피드백할 수 있는 기회를 얻을 수 있을 뿐만 아니라 개발하고자 하는 컴포넌트의 품질을 보장할 수 있게 된다. 본 논문에서는 비동기 시스템 컴포넌트 소프트웨어 개발에서 개발의 초기에 발생될 오류를 발견하기 위해 검증 언어인 PROMELA(Process Meta LAnguage)로의 변환과 LTL의 제약사항을 적용하여, SPIN을 통해 명세의 일관성을 검사하고 정확성을 검증하는 방법을 제안함으로써 생산비를 감소시키고 안정성과 정확성 그리고 신뢰성을 가진 컴포넌트 소프트웨어를 개발할 수 있다.

• 대한조선학회지
• /
• 제30권4호
• /
• pp.27-32
• /
• 1993

본 연구에서는 첫째로, 자체적으로 정립한 시스템 개발방법론인 객체지향 기술을 적용하여 선 체설계 전산시스템의 요구사양 및 기능분석을 수행하여, 유닛모델 개념(선체의 각 부분에서 보 여지는 특징적인 구조를 유닛으로 하고 선체구조정보를 설계변수화하여 파라메트릭 설계기법을 이용하여 모델링하는 방법임)의 초기 선체 모델링기법을 제시하고 이를 검증하므로써, 유조선 화물창부의 초기 모델링을 통한 구조설계 대안의 신속한 검토와 초기물량의 정확한 산출이 가 능하도록 하였다. 둘째로, 모델링 기술 분야에서는, 선박제품 모델링을 위한 기반 기술로써(여 기서, 제품모델링이란 최근 CAD/CAM 및 CIM 분야에서 거론되는 기술분야로서, 설계 및 생산의 대상이 되는 제품의 제반정보를 전산기 내에서 모델로써 표현하고자 하는 시도임) 선박 제품 모델의 표현방법론과 내부처리 기법을 정의하였고, 이 방법론에 다라 객체지향 구\ulcorner배치 프로 그램(OO_COMDEF)을 개발하여 본 연구에서 제시한 제품모델의 표현방법론을 검증하였다. 셋 째로 응용 프로그램 개발 분야에서는 선체 상세설계를 지원할 수 있는 시스템 설계를 수행하 였고, 이를 토대로 이중선체 유조선의 화물창부의 Hopper Tank부의 Stiffener 배치를 자동적으로 생성할 수 있는 시험용 프로그램을 개발하여 그 개념을 검증하였다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 춘계학술대회 논문집
• /
• pp.209-218
• /
• 2002

보안의 형식검증은 시스템의 초기 상태를 정의하고 트랜잭션을 통해 그 상태를 추적하며 보안을 위해 각 상태를 체크하는 과정이다. 보안 증명이 잘못될 수 있는 경우는 시스템의 초기상태를 정의할 때와 상태가 안전하기 위한 조건을 정의할 때인데, 본 논문에서는 상태 트랜잭션을 위해 BAN 논리를 이용하여 대표적인 지불프로토콜인 NetBill 프로토콜에 대한 형식기법을 제안하였으며, 보안 프로토콜의 증명을 위해 BAN 논리의 확장을 제시했다. 이러한 확장된 연구결과는 원자성, 익명성 및 프라이버시와 같은 다른 중요한 보안의 특성을 증명하기 위해 이용될 수 있다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2014년도 전력전자학술대회 논문집
• /
• pp.249-250
• /
• 2014

본 논문은 스위치드 릴럭턴스 전동기(SRM)의 센서리스 초기 기동을 위한 새로운 방법을 제안한다. 일반적으로 정지된 SRM을 기동하기 위해서는 회전자 위치정보가 필요하고 이는 전동기의 전압방정식을 이용하여 얻을 수 있다. 간단한 상 전환 알고리즘을 이용하여 이를 구현하였다. 상 전환이 이루어지는 시점은 히스테리시스 전류 제어기를 사용하여 전류제어 범위를 벗어나는 현상을 통해 찾아 내었다. 검증에는 4/2 SRM을 사용하였고 센서를 하나만 사용하여[1] 전류를 제어하는 방식을 적용하였다. 이 알고리즘의 실험을 통하여 타당성을 검증하였다.

• 한국항공우주학회지
• /
• 제37권2호
• /
• pp.209-214
• /
• 2009

본 논문에서는 풍력발전시스템의 정상 및 과도 응답과 같은 동적 거동 분석은 물론 피치제어 시스템의 성능 예측을 위하여 개발된 시뮬레이션 소프트웨어의 검증을 위하여 실제 현장에서 측정한 자료와 비교 검증을 수행하였고 실제와 유사하도록 시스템 모델링 및 소프트웨어의 개선 방향을 제시함으로써 향후 본 연구를 통하여 개발한 소프트웨어의 유용성을 제시하고자 한다.

• ETRI Journal
• /
• 제10권2호
• /
• pp.52-62
• /
• 1988

소프트웨어 검증과 확인은 소프트웨어 시스팀의 높은 신뢰도를 보증하기 위한 활동이다. 즉, 더 신뢰성 있는 소프트웨어 제품 생성, 더 낮은 가격의 생명 순기(life-cycle), 요구사항과 일치하지 않는 사항들과 설계 에러들을 초기에 발견하여 개발 가격을 줄이는데 큰 의의를 갖는다. 본고에서는 대형 소프트웨어 개발에서 필요한 검증에 관하여 그 정의와 이제까지 검증 활동을 통하여 제시된 여러 사항들 및 일반적인 자동화된 검증시스팀에 대하여 살펴보고, 특히 General Research Corporation(Santa Barbara, California)에서 개발하고 Huges 항공사에서 프로젝트에 적용을 시켜 성공을 거둔 상용화된 검증시스팀에 대해 고찰하였다.

• 한국시뮬레이션학회논문지
• /
• 제19권1호
• /
• pp.153-160
• /
• 2010

소프트웨어 개발 프로세스에서 발생되는 오류의 대부분은 요구사항 정의와 디자인 단계에서 비롯된다. 또한 이들 단계에서 포함된 오류의 수정 및 제거는 이후 단계에서 포함된 오류의 수정에 비해 훨씬 많은 노력과 비용을 요구한다. 하지만 요구사항과 디자인된 모델의 검증은 매우 중요한 작업임에도 불구하고 다양한 문제점들로 인해 성공적으로 수행되고 있지 못하다. 따라서 본 논문에서는 초기 디자인 단계에서 요구사항 및 모델의 검증 작업을 동시에 수행할 수 있는 모델의 시뮬레이션을 통한 검증 절차를 제안한다. 이 때 작성되는 모델은 Ptolemy 상에 소프트웨어의 행동 양식을 바탕으로 작성된다. 제안된 방법을 DNS 시스템 환경에 적용하여 사용 가능성을 확인하였으며, 시뮬레이션 결과에 따르면 행동 양식을 반영한 모델의 시뮬레이션을 통해 기존에 알려진 시스템의 내재된 오류 혹은 취약성을 발견 가능함이 확인되었다. 이는 제안된 방법이 소프트웨어 개발 프로세스 초기에서 요구사항과 모델을 검증하는 절차로 이용될 수 있음을 의미한다.

• Composites Research
• /
• 제37권3호
• /
• pp.179-185
• /
• 2024

본 연구는 Representative Volume Element(RVE) 모델을 사용하여 초기 공극 결함이 있는 단방향 섬유강화 복합재의 횡방향 인장 강도 변화에 대해 정량적 평가 및 조사되었다. 초기 공극 결함을 표본오차와 신뢰 수준을 기준으로 적정 표본의 수가 계산된 후, 총 5000개의 초기 공극 결함이 있는 RVE 모델이 표본 집단으로 생성되었다. 표본 집단은 차원 축소법과 밀도 기반 군집 분석을 통해 유사도 분석이 진행되었으며 편향되지 않은 표본 집단임이 확인 및 검증되었다. 검증된 표본 분석 결과는 복합재 구조의 신뢰성 해석에 적용될 수 있게 Weibull 분포로 표현되었다.

• 한국컴퓨터정보학회논문지
• /
• 제3권2호
• /
• pp.69-76
• /
• 1998

논리형 집적회로의 내부 결함을 검증하기 위해서는 설정된 초기 값을 전파하여 최종 출력 단에 나타난 값과 결함이 없을 경우의 출력 값을 비교함으로써 검증할 수 있다. 입력 단자의 수가 N인 회로에서 모든 내부신호 선의 결함을 검출하기 위해서는 최대 2N개의초기 입력 값들로 구성된 검증 패턴이 필요하다. 본 논문에서는 다 출력회로에서 2N개의 입력 패턴 중, 모든 신호선의 결함을 검출 할 수 있는 최소의 입력패턴 집합을 빠르고 정확하게 생성하기 위한 방법으로 다 출력회로를 출력과 연관된 세부회로로 분리하여 각각 검증함으로써 탐색공간을 줄이는 방법을 제안한다. 이는 입력 패턴의 길이가 상대적으로 줄어들 뿐 아니라 관련이 없는 신호 선을 탐색하지 않으므로 검증 패턴 생성 시간이 감소함으로써기존의 패턴 생성 알고리즘보다 효과적인 검증 패턴의 생성이 가능하다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2011년도 전력전자학술대회
• /
• pp.198-199
• /
• 2011

본 논문에서는 매입형 영구자석 동기 전동기(IPM)의 회전자 초기각 및 전동기 제정수에 대한 정보가 전혀 없는 초기 상태에서 고주파 주입을 통한 제정수 추정기법을 제안한다. IPM 의 경우 정확한 제정수 추정을 위해서는 회전자의 초기각에 대한 정보를 필요로 한다. 고주파 신호 주입에 의한 주입 센서리스 제어 방법을 적용하여 초기 제정수 추정과 동시에 초기각에 대한 정보를 얻고, 이를 바탕으로 제정수를 보다 정밀하게 추정하게 된다. 제안된 방식은 모든 IPM 모터에 적용가능하며, 제정수와 더불어 초기각의 위치도 얻을 수 있어 전동기 제어의 초기 설정에 용이하다. 모의실험을 통하여 제안된 기법의 타당성을 검증하였다.