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

위성 비행 소프트웨어의 개발 과정에는 소프트웨어의 신뢰성을 향상하기 위한 다양한 검증 활동이 이루어진다. 이러한 검증 활동에는 효율적으로 설계된 검증 환경이 필수적이다. 위성 비행 소프트웨어 개발 전반에 검증 환경을 효과적으로 적용하기 위해서는 사용 가능한 검증 환경이 보다 빠르게 구현되어야 한다. 검증 환경은 개념적으로 궤도 상의 위성과 통신하는 지상 시스템의 역할을 기본으로 하고 있으므로 Command 송신과 Telemetry 수신을 위성 비행소프트웨어와의 상호 작용으로 정의할 수 있다. 따라서 위성 비행소프트웨어의 동작을 Command와 Telemetry 관점에서 모델링하고 이를 모사하는 시스템을 이용함으로써 위성 개발 초기부터 위성 비행 소프트웨어 검증 환경 구현에 사용할 수 있고, 또한 위성 개발 과정에서 발생하는 다양한 변경 사항을 보다 효과적으로 반영할 수 있다. 본 논문에서는 위성 비행 소프트웨어의 검증 환경 구현을 위한 Command Telemetry Simulator의 설계 및 그 구현에 대하여 소개한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (3)
• /
• pp.76-78
• /
• 2000

전력 시스템 가운데 과전류 차단 시스템은 전력 시스템의 보호를 위해 중요한 내장형 시스템이다. 이러한 시스템은 꼭 필요한 작동을 해야 하는 mission-critical 시스템이라 볼 수 있다. 이러한 mission-critical 시스템에 내장되는 소프트웨어의 개발은 요구사항 분석 및 설계, 개발 단계에서 시스템의 신뢰도를 높이는 것이 매우 중요하다. 본 논문에서 이러한 시스템의 소프트웨어의 설계가 요구사항과 일치하는지를 확인하고 요구된 성질을 만족하는 지를 검증하기 위해 회로 설계를 적합한 언어인 ESTEREL과 모델 체킹 도구를 이용하고 설계 및 검증 기법을 구현함으로 설계의 안정성과 정확성 및 설계에 대한 더 정확한 이해와 분석을 가능케 하는 설계 방법을 구현하는데 목적을 두고 있다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2000년도 추계학술대회 논문집
• /
• pp.213-218
• /
• 2000

인터페이스 시스템은 많은 장치들을 빈번히 제어하고, 비동기적으로 사건의 입력 스트림을 보내야 하며, 사용자의 행동과 시스템 반응 사이에 지체감이 없도록 보장해야 한다는 요구 사항을 만족해야 하는 특징이 있다. 결과적으로 인터페이스 시스템은 빈번한 기능 추가 또는 변경에 의한 수정 때문에 자주 프로토타입으로 만들어지고 반복적으로 수정되어져야한다. 본 논문은 제조공정의 설계 자동화 시스템인 GDS(Grating automatic Drawing System)를 계발함에 있어서 인터페이스 시스템 설계 및 구현 과정에서 있을 수 있는 설계 변경 및 이에 따른 다른 변경 요인들을 정확하게 파악하고, 구현상의 변경으로 인한 전체 시스템의 영향 등을 체계적으로 정립한 소프트웨어 설계 방법론을 적용함으로 해서 소프트웨어 설계 시 또는 설계 변경 후 인터페이스 시스템의 중요한 동적 특성을 미리 파악할 수 있다.

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

소프트웨어 아키텍처는 다양한 이해관계자들의 관점을 반영한 뷰들로 구성된다. 품질속성은 아키텍처의 구조를 결정하므로 아키텍처에 일관성 있게 반영될 수 있도록 설계되어야 한다. 품질속성 기반 아키텍처 설계 방법과 아키텍처 설계 산출물에서의 일관성을 위한 활동을 규정한 표준에도 불구하고 설계 과정에서 이를 실현하기 위한 구체적인 기법에 대한 제시가 없었다. 따라서 실제 설계 과정에서는 아키텍처 뷰들 간에 불일치 요소가 발생하며 특히 품질속성에 대한 일관성이 깨짐으로 재작업 발생과 시스템 품질 저하의 문제점이 나타나고 있다. 본 논문에서는 뷰 설계 산출물에 품질속성을 명시하고 뷰 품질속성 테이블을 활용함으로 아키텍처 설계에서 품질속성에 대한 일관성을 유지할 수 있는 기법을 제시한다. 제시된 기법은 품질속성에 대한 일관성을 유지함으로서 불일치성으로 인한 재작업 방지와 고품질의 소프트웨어 시스템 개발을 가능하게 한다.

• 한국컴퓨터산업학회논문지
• /
• 제3권3호
• /
• pp.341-350
• /
• 2002

소프트웨어 아키텍쳐는 설계 과정 동안 수정, 갱신 그리고 대체로 인해 재구성될 수 있으며, 소프트웨어 개발에 적합한 설계는 하나 이상 존재할 수 있기 때문에 다양한 관점에서 설계된 아키텍쳐를 재구성할 수 있는 방법과 아키텍쳐의 변경 요소들을 효율적으로 명세할 수 있는 방법이 필요하다. 이 논문에서는 기존에 이미 정의되어 있는 아키텍쳐와 이를 재사용하여 설계한 새로운 아키텍쳐를 통합된 구조의 소프트웨어 아키텍쳐로 재구성할 수 있는 방법을 제안하였다. 그리고, 통합된 구조의 소프트웨어 아키텍쳐 명세에 필요한 명세 요소와 명세 구조를 제안한다. 제안한 통합된 구조의 명세 방법은 아키텍쳐 설계과정에서 다양한 개발자 관점에서 정의된 아키텍쳐들을 참조 및 재사용할 수 있는 방법을 제공하고, 아키텍쳐의 수정 및 갱신 그리고 대체와 같은 변경 요소에 대해 유연성 있는 명세 방법을 제공한다.

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

본 연구에서는 웹 서버(Web server)와 웹 브라우저(web browser) 환경에서 테스팅이 가능하도록 설계한 테스팅 도구, VIST를 설계하였다. VIST는 비주얼 툴로 개발된 소프트웨어의 특성을 고려하여 그래픽 유저 인터페이스(Graphic User Interface) 측면에서 소프트웨어를 테스팅한다. VIST는 클라이언트-서버 환경에서의 테스팅을 가능케 하며 테스팅 과정의 일관성을 유지하고, 테스팅의 수행 시간과 노력 및 장비, 인력의 감소 효과를 갖는다.

• 대한조선학회지
• /
• 제41권2호
• /
• pp.47-51
• /
• 2004

세계 최고 수준의 선박을 건조하여 매년 최우수 선박상을 수상하고, IT(정보가술)가 세계 최고 수준이라는 우리나라에서 선박을 설계$.$건조하는데 사용되는 각종 소프트웨어는 과연 세계 최고 수준인가？ 선박을 건조하는데 사용되고 있는 소프트웨어의 개발 주체는 크게 두 경우인데, 외국 제품이거나 조선소에서 독자 개발한 것이다. 외국 제품의 경우, 소프트웨어의 기술력과 안정성은 확보되어 있으나, 우리 조선소의 설계 개념이나 생산 시설에 적합하지 않은 경우가 많아 조선소가 독자적으로 변환하거나 외국 개발 주체에게 의뢰하여 수정 보완하고 있는 실정이다. 이 경우 비용과 시간 문제를 논외로 하더라도 우리의 설계와 생산 정보가 외국으로 유출될 수 있는 가능성이 매우 높다고 하겠다. (중략)

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

소프트웨어의 고품질화를 추구하는 것은 필수적인 일이다. 좋은 품질의 소프트웨어를 획득 또는 개발하기 위해서는 S/W 품질평가에 대한 효율적인 방법이 요구되고 있다. S/W 품질평가는 객관적이고 정량적으로 평가되어야 하므로 본 논문에서는 S/W 품질평가에 대한 표준 및 기준, 방침과 전문가의 지식을 반영한 규칙기반 시스템을 이용하여 평가함으로써 정확하고 신뢰성을 보장하도록 설계하였다. 특히 쉽게 지식을 변경 또는 추가할 수 있도록 규칙기반 시스템으로 설계하였으며, 이러한 규칙기반 시스템을 이용하여 질의 응답을 통해 쉽고 효율적으로 S/W 품질을 평가할 수 있는 기반/기초기술을 제공하였다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2004년도 추계학술대회
• /
• pp.185-187
• /
• 2004

소프트웨어를 개발할 때 작성되는 명세서들은 개별특성으로 인해 연속적인 자동화가 이루어지지 않으며, 소프트웨어 감리에서도 많은 불일치 항목이 발견된다. 본 논문에서는 분석 및 설계단계에서 작성되는 명세서간 불일치를 검출하기 위해 시스템 개발과정에 대해 실시한 감리결과 보고서를 분석하여 불일치가 발생하는 연관된 명세서를 내용별로 분류하고, 이를 바탕으로 분석, 설계, 테스트 단계별로 사용되는 명세서간 불일치 추출방안을 제안한다. 이를 이용하면, 분석 및 설계단계에서 작성되는 명세서의 오류를 줄임으로써 최종산출물인 소프트웨어에 대한 품질을 향상시킬 수 있다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2010년도 춘계학술발표논문집 1부
• /
• pp.552-554
• /
• 2010

본 논문에서는 환경교육용 3D 가상체험 소프트웨어를 설계하여 도시화, 국토개발 등으로 인해 변해가는 자연환경을 3D MAX 와 QUEST 프로그램을 통해 옛 조선시대의 주거 및 자연환경을 가상현실로 재현한다. 본 논문에서 설계된 3D 가상체험 소프트웨어의 설계를 통하여 우리의 주거 및 자연환경 보호를 실천할 수 있도록 도움을 주는 데에 그 목적이 있다.