• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.376-378
• /
• 2003

소프트웨어 개발 중 분석과 설계 단계에서 만들어진 산출물을 이용하여 개발될 소프트웨어의 신뢰도를 예측하는 초기 소프트웨어 신뢰도 모델은 소프트웨어의 품질을 보증하는 유용한 도구로써 사용될 수 있다. 기존의 소프트웨어 신뢰도 모델은 개발될 소프트웨어의 품질에 한정하여 신뢰도를 예측함으로써 기존 시스템과 연계된 신뢰도를 예측하는데 한계가 있다는 단점과 개발자의 개발 능력이 개발될 소프트웨어 신뢰도에 미칠 영향을 고려하는데 한계가 있다는 단점이 있었다. 그러므로, 본 논문은 기존 시스템과의 연관성을 고려한 초기 소프트웨어 신뢰도 모델을 기준으로 개발자의 개발 능력을 고려한 종합적인 초기 신뢰도 모델을 제시하였다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1992년도 춘계공동학술대회 발표논문 및 초록집; 울산대학교, 울산; 01월 02일 May 1992
• /
• pp.383-392
• /
• 1992

한 국가의 미래를 설계하기 위해서는 어떠한 형태로든 국가차원의 모델이 필수적이다. 국가차원의 모델은 한 국가를, 풀고자 하는 문제를 중심으로 총체적으로 바라볼 수 있어야 한다. 이러한 모델은 될수록 간단하고, 포괄적이며, 유연하고, 유용하며, 예견적이어야 한다. 이러한 모델의 개발을 위한 방법론으로는 시스템동학(System Dynamics)이 유용하다. 이 시스템동학은 국가 및 지구적차원의 모델을 개발하는데 사용된 바 있다. 국가차원의 모델을 개발하는 과정의 이해를 위하여 간단한 국가차원의 환경.경제모델을 소개한다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 2004년도 춘계학술대회
• /
• pp.261-264
• /
• 2004

최근 클라이언트/서버 모델이 웹 기반의 컴퓨팅 환경으로 변화함에 따라 웹 서비스 모델로 발전해왔다. 웹 서비스는 인터넷을 기반으로 표준화된 기술을 사용하여 서비스간에 상호작용을 함으로써, 플랫폼과 구현 언어에 대한 의존성을 제거 할 수 있다. 따라서, 다양한 환경에서 웹 서비스들이 개발되거나 개발 중에 있다. 기업에서는 표준화된 상호작용을 사용하여 작은 단위의 웹 서비스를 큰 단위의 웹 서비스로 통합하여 사용과 개발이 용이한 비즈니스 서비스를 제공하기 위한 통합 방법의 필요성이 증가하고 있다. 웹 서비스의 위상은 통합을 위한 메타 모델의 기능과 웹 서비스의 다양한 구현 형태로 이루어져 있다. 본 논문에서는 서비스 지향 아키텍처 상에서 공급자 측면에서 제공되는 웹 서비스를 통합하기 위한 위상을 제시하고자 한다. 이를 위해서, 웹 서비스를 논리적으로 계층화하여 정의하고, 논리적 계층 모델을 기반으로 웹 서비스 메타 모델을 생성한다. 위상의 다양한 구성은 메타 모델을 기반으로 제시된다. 마지막으로 웹 서비스 통합에 대한 사례연구를 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.376-378
• /
• 2004

최근 클라이언트/서버 모델이 웹 기반의 컴퓨팅 환경으로 변화함에 딸라 웹 서비스 모델로 발전해왔다. 웹 서비스는 인터넷을 기반으로 표준화된 기술을 사용하여 서비스간에 상호작용을 함으로써. 플랫폼과 구현 언어에 대한 의존성을 제거 할 수 있다. 따라서, 다양한 환경에서 웹 서비스들이 개발되거나 개발 중에 있다. 기업에서는 표준화된 상호작용을 사용하여 작은 단위의 웹 서비스를 큰 단위의 렘 서비스로 통합하여 사용과 개발이 용이한 비즈니스 서비스를 제공하기 위한 통할 방법의 필요성이 증가하고 있다. 웹 서비스의 위상은 통합을 위한 메타 모델의 기능과 웹 서비스의 다양한 구현 형태로 이루어져 있다. 본 논문에서는 서비스 지향 아키텍처 상에서 공급자 측면에서 제공되는 웹 서비스를 통합하기 위한 위상을 제시하고자 한다. 이를 위해서, 웹 서비스를 논리적으로 계층화하여 정의하고, 논리적 계층 모델을 기반으로 웹 서비스 메타 모델을 생성한다. 위상의 다양한 구성은 메타 모델을 기반으로 제시된다. 마지막으로 웹 서비스 통합에 대한 사례연구를 제시한다.

• 한국시뮬레이션학회논문지
• /
• 제21권3호
• /
• pp.35-42
• /
• 2012

무기체계 효과도 분석을 위한 국방 M&S(Modeling & Simulation) 분야는 실 전장 환경과 유사한 무기체계 실험 환경을 제공하는 현실적인 수단으로 인정받고 있다. 그러나 무기체계에 대한 모델을 구축하기 위해서는 많은 시간과 비용이 필요하며, 이에 따라 기 개발된 모델을 재사용하려는 요구가 있어왔다. 본 논문에서는 기 개발된 모델의 재사용을 장려하기 위해 온톨로지 기반 국방 M&S자원 클라우드 저장소인 OB-Cloud(Ontology Based-Cloud Storage)를 제안한다. 본 논문의 구현물은 무기 체계 효과도 분석 과정을 지원하는 통합시뮬레이션 엔진인 OpenSIM(Open Simulation engine for Interoperable Models)에 적용되었으며, 온톨로지 및 시소러스를 고려하여 재사용 가능한 모델에 대한 의미기반 검색을 지원한다. 본 논문에서는 국방 M&S 개발자가 작성된 모델을 OB-Cloud에 등록하고 국방 M&S 사용자가 OB-Cloud에서 본인이 원하는 국방 M&S 자원을 검색하여 새로운 모델 개발에 사용하는 예제를 통해, 유사 M&S 자원 간 재사용성이 증진될 수 있음을 보이도록 한다.

• 정보보호학회지
• /
• 제24권2호
• /
• pp.50-55
• /
• 2014

자동차 전장제품 활용의 급속한 증가에 대응하기 위하여 자동차 분야에서는 ISO 26262 안전설계절차를 도입하여 차량용 임베디드 시스템의 안전성을 확보하려고 노력하고 있다. ISO 26262는 자동차에서 발생 가능한 비정상상태(abnormal state)를 식별하고 그의 영향을 분석하며 전체 시스템의 안전을 검증하는 것을 목표로 하고 있다. 다양한 종류의 부품이 연동되는 복잡한 시스템의 안전 검증은 결함수목법과 고장모드영향분석법을 활용하는 위험분석법이 보편적으로 사용된다. 결함주입시험은 이러한 위험분석의 기반도구로서 안전성을 향상시키기 위하여 사용된 고장감내 기능의 동작여부 및 그에 따른 시스템의 안전성을 검증하는 목적으로 사용된다. 본 논문에서는 차량용 고신뢰성 임베디드 시스템에서 사용되는 고장감내 메카니즘들의 기능과 안전을 검증하는 방법과 사례를 소개한다. 최근의 복잡한 차량용 임베디드 시스템의 개발은 상위수준의 모델을 개발하여 지정된 위험 및 고장을 초래하는 결함을 시스템에 주입하고 그의 결과를 분석하여 안전을 검증하는 것이 일반적인 방법이다. 개발 목표 차량의 임베디드 시스템 모델을 개발하고, 식별된 결함의 결함모델을 준비한 뒤, 시스템 모델 기반 결함주입 도구를 이용하여 결함주입을 수행하는 시험방법과 그 결과에 대하여 논의한다. 하드웨어는 SystemC 하드웨어 설계언어를 이용하여 개발하고, 소프트웨어를 컴파일하여 실행화일을 확보하여 시험대상인 결함모델을 개발하고 이를 대상으로 결함주입시험에 대해 설명한다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2003년도 한국우주과학회보 제12권2호
• /
• pp.66-66
• /
• 2003

우주 공간이라는 극한 상황에서 운용되는 인공위성을 개발하기 위해서는 실제 제작 공간인 지상에서 가능한 모든 우주 공간에서의 위험을 예측하여 원하지 않는 재난을 방지할 수 있는 설계를 수행함이 요망된다. 위성의 기동 및 자세 제어에 사용되는 하이 드라진 추진시스템의 경우 예상되는 가장 큰 재난은 추진제의 동결로 인한 추진시스템의 작동 불능이다. 본 연구에서는 추진시스템의 안정적 작동을 위해 요구되는 추진제의 동결 방지를 위해 사용되는 히터 사양을 결정하며 이를 위해 위성 추진시스템의 열ㆍ수학적 모델을 개발한다. 개발된 열ㆍ수학적 모델의 타당성을 검증하기 위해 수치적으로 계산된 결과를 열진공 시험의 결과와 비교 연구한다 이론적 해석 모델과 열진공 시험조건 사이의 다소의 불일치성에도 불구하고 두 결과는 정성적으로 잘 부합된다. 따라서 본 연구를 통해 위성 추진시스템의 히터가 적절히 설계되었으며 개발된 열ㆍ수학적 모델은 인공위성 추진시스템의 주요한 설계 수단으로 사용될 수 있음을 검증한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.138-140
• /
• 2012

타임드 오토마타 모델 기반 개발 방법을 지원하는 TIMES 도구는 실시간 소프트웨어에 대한 타임드 오토마타 모델 명세, 시뮬레이션, 검증, BrickOS 기반 코드 생성을 지원한다. 하지만 BrickOS 기반 코드는 엄격한 실시간 제약성 만족을 지원하지 않아서 실시간 내장형 소프트웨어 개발에 그대로 사용하기가 어렵다. 본 논문에서는 타임드 오토마타 모델로부터 실시간 내장형 소프트웨어 구현에 사용될 수 있는 VxWorks 기반 코드를 체계적으로 생성하기 위한 방법을 제안한다. TIMES 도구를 사용해 자동 생성된 BrickOS 기반 코드에서 플랫폼 독립적인 코드는 활용하고, 플랫폼 의존적인 코드들을 분류해 내어 각각 VxWorks 기반 코드로 변환하는 방법을 제안한다. 내장형 소프트웨어 개발시 타임드 오토마타 모델 기반 개발 방법의 적용 가능성을 확인하기 위해 변환 항목들을 통해 생성된 VxWorks 기반 코드에 대한 테스트를 수행하고 결과를 분석한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 추계학술발표대회
• /
• pp.845-846
• /
• 2009

컴포넌트 기반 개발 방법은 컴포넌트의 재사용으로 인한 개발 비용의 절감뿐만 아니라, 컴포넌트 분석의 재사용으로 인한 검증비용의 절감과 시스템의 질적 향상을 도모할 수 있는 장점을 지니고 있는 반면, 컴포넌트들간 상호작용의 복잡도의 증대로 인한 결함률이 높아질 수 있다. 본 연구에서는 모델 기반 컴포넌트 개발기법을 근간으로한 컴포넌트 정제 과정에서 정제 전, 후의 추상컴포넌트들 간의 행위 일관성을 정형분석하기 위한 모델 변환기를 개발하였다. 이 모델변환기는 컴포넌트의 정제과정 전 단계에 걸쳐 사용되어 컴포넌트 간의 상호작용으로 인한 잠재적인 결함을 조기에 발견하고 해결하는 데 기여할 수 있다.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 1998년도 제15회 음성통신 및 신호처리 워크샵(KSCSP 98 15권1호)
• /
• pp.74-77
• /
• 1998

우리는 C++를 이용하여 음성인식기를 구현하여 기존의 C를 이용한 경우에 비하여 30% 수준의 소스로 표현하였고 인식기의 공동개발, 확장 및 개선, 기술 전수 등이 용이하게 되었으며 이를 음성인식 엔진 및 음성인식 연구를 위한 툴로 사용할 수 있게 되었다. 이 인식기의 특징으로는 연속 음성 및 대화체 음성을 인식할 수 있으며 trigram 언어 모델을 사용하였고 문맥 종속 음소 모델링에서는 기존의 triphone 보다 넓은 문맥을 고려한 n-phone context modeling을 사용하였으며 모델의 선정에는 음성학적 지식을 기반으로 한 질문을 사용한 decision tree를 사용하여 훈련에 나타나지 않은 단어나 문맥인 경우라도 가장 가까운 모델을 선정할 수 있게 하였다. 또, tree lexicon을 사용하여 속도를 개선하였으며 state 단위의 모델 공유를 통해 제한된 데이터를 이용하여 더 많은 모델을 훈련할 수 있어 성능을 개선하였다. 상용화를 염두에 두고 pc에서 구현하였다.