• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권8호
• /
• pp.689-696
• /
• 2007

소프트웨어의 개발 초기 단계에서 성능을 예측하는 기법은, 비 기능적 요구사항의 검증 및 소프트웨어의 성능을 향상시키기 위해 중요한 이슈가 되었다. 이를 위해 소프트웨어의 아키텍처를 수학적인 분석 모델로 변환시키는 기법들이 등장하게 되었다. 그러나 에이전트 기반 시스템을 개발하는 경우, 기존방법들은 에이전트 플랫폼의 성능을 정확하게 반영하지 못하기 때문에, 정확한 성능 예측 및 분석에 적용 할 수 없다. 본 논문에서는 정규화된 의미 기술언어를 이용하여 에이전트 기반 시스템 아키텍처의 성능을 예측하는 기법을 제안한다. 본 방식은 UML로 기술된 시스템의 아키텍처를 하드웨어 및 소프트웨어 플랫폼의 성능이 반영된 분석 모델로 변환시킨다. 성능 예측의 정확도를 평가하기 위해, 과거에 연구했던 전자상거래 시스템을 확장한 유비쿼터스 상거래 시스템 시나리오를 기반으로 프로토타입을 구현하여 성능을 측정하고 생성된 분석 모델로부터 측정된 성능 결과와 비교하였다. 그 결과 약 80%의 정확도를 보였다.

• 한국지리정보학회지
• /
• 제6권2호
• /
• pp.33-45
• /
• 2003

이 연구는 객체지향 지리정보시스템을 이용하여 지리-객체와 지리-필드를 연결하는 지리-객체필드 방법을 규정하고, 수계-객체필드를 이용하여 새만금호 수량과 배수갑문수위를 조작하는 새만금수자원관리시스템의 홍수 시뮬레이션을 구현하고자 한다. 그리고 새만금 수계 수자원에 발생하는 자연현상과 인공현상을 조합하여 하나의 전체 수계-객체필드로 구성되는 객체지향 클래스 계층구조를 설계함으로써 홍수통제 알고리즘 기법을 제안하고자 한다. 동시에 UML을 이용하여 전체적인 지리-객체필드와 단계적인 부분 지리-객체필드의 클래스계층구조를 가시화하고자 하며, 각 클래스의 속성과 메소드는 ZEUS/COM과 Win32 API을 이용한 Visual Basic 6.0을 사용함으로써 각각 호환성과 재사용성 기능을 확보하고자 한다. 이 논문은 새만금수자원관리시스템을 구현함으로써 효율적인 물관리를 하는데 기여할 수 있을 것이다.

• 한국공간정보시스템학회 논문지
• /
• 제3권1호
• /
• pp.37-48
• /
• 2001

지능형 교통 시스템(ITS)은 여행자에게 출발 전 또는 출발 후 도움이 되는 서비스와 유용한 데이터를 제공하는 여행자정보고급화 시스템을 포함하고 있다. 이 시스템은 출발전교통정보 안내 서브시스템, 운전중 교통정보제공 서브시스템, 동적주행안내 서브시스템들로 구성되어 있다. 여행자정보고급화 시스템은 표준화 작업을 총괄하는 기준 프레임워크인 국가 아키텍쳐에 따라 설계될 필요가 있다. 최근 소프트웨어 기술이 급속히 개선되고 안정화됨에 따라 미리 개발된 강력한 ITS 기술도 재사용 할 필요성이 있다. 컴포넌트와 개방형 인터페이스에 기반한 ITS 표준화는 현재 ITS 기술의 재사용성 문제를 해결하는 방법이 된다. 본 논문은 UML을 이용하여 컴포넌트에 기반한 여행자정보고급화 시스템을 설계한 결과를 제시하고 있으며 이 UML 방법은 새로 개발되는 ITS 컴포넌트를 위한 표준화된 모델을 제공할 것으로 기대된다.

• 인터넷정보학회논문지
• /
• 제8권6호
• /
• pp.135-144
• /
• 2007

특성 모델(Feature Model)은 소프트웨어 제품 라인 개발 시 도메인 공학 단계에서 제품들 사이의 공통된 개념들과 서로 다른 개념들을 모델링하는데 널리 사용된다. 특성 모델로부터 특정 제품에 포함될 특성들을 선택한 결과를 특성 구성(Feature Configuration)이라고 하며, 이것은 특정 제품에 대한 요구 사항을 나타낸다. 현재 소프트웨어 제품 라인 개발 시 특성 모델과 특성 구성을 어떻게 구축하고 이용하는지에 대한 연구는 많이 되어 있지만, 이들에 대한 정형적 시맨틱과 논리적 추론에 대한 연구는 부족하다. 본 논문에서는 소프트웨어 제품 라인 공학에서의 표준 문제로 제안된 Graph Product Line을 예제로 하여 규칙 기반 시스템인 JESS를 이용한 특성 구성 검증 기법을 제안한다. 본 논문의 기법은 특성 구성의 불일치성을 일으키는 원인을 명확히 제시하는 장점을 가지며, 자바 언어와의 결합성이 뛰어난 JESS 시스템에 기반을 두었기 때문에 다른 소프트웨어 제품 라인 개발 환경과 쉽게 통합될 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제15권4호
• /
• pp.91-98
• /
• 2010

통신과 제어 기술의 발전과 인터넷 기능 강화로 이들을 이용해 전통 제조업에서 위험과 생산 비용을 줄이면서 제품의 성능을 향상시키기 위한 동기 인식이 확산되고 있다. 이에 본 논문에서는 첨단 IT 기술을 전통산업인 집진기에 융합한 지능형 원격 집진기 bag 제어 시스템을 이벤트 기반으로 개발하였다. 먼저 집진기의 센서인 차압 측정기의 아날로그 출력 데이터를 디지털로 변환시키는 A/D 변환기를 마이크로 프로세서를 사용하여 제작하였다. 또 이들을 RS-232 통신 방법으로 전력선 통신 모뎀과 연결하는 기술을 개발하였다. 다음은 전력선 통신을 이용하여 집진기 bag 상태 정보를 효율적으로 전송할 수 있도록 n-바이트 메시지 형식을 정의하였다. 그리고 집진기와 집진기 bag을 논리적으로 모델링하기 위해 자료형을 정의하였고, 이를 이용해 집진기와 집진기 bag을 XML과 객체지향 모델링 기법을 이용해 모델링하였다. 뿐만 아니라 집진기 bag의 교체시기를 정확하게 파악하여 집진기 bag의 교체시기를 관리자에게 실시간으로 다양한 시각적인 사용자 인터페이스를 이용해 제시하도록 개발하였다.

• 한국컴퓨터정보학회논문지
• /
• 제13권3호
• /
• pp.57-63
• /
• 2008

디지털 카메라, MP3 플레이어 등과 같은 가전 기기에서 낸드 플래시 메모리에 기반한 다양한 메모리 카드가 인기를 얻게 됨에 따라 기존 호스트 시스템과 새로 개발된 메모리 카드 간의 호환성 문제가 제품의 시장 진입에 큰장애가 되고 있다. 메모리 카드 호환성 테스트를 위한 일반적인 방법은 실제 호스트 시스템을 테스트 베드로 사용하는 것이다. 이를 개선하는 방법으로서 FPGA 기반의 프로토타입 보드를 이용하여 호스트 시스템을 에뮬레이션하는 것을 고려할 수 있다. 그러나 이 방법은 긴 셋업 시간을 필요로 하며, 다양한 호스트 및 장치 시스템을 표현하는데 제약이 있다. 본 논문에서는 Esterel 언어와 통합 시뮬레이션 기법에 기반한 모델을 이용하여 메모리 카드와 호스트시스템간의 호환성 테스트를 위한 통합 검증환경을 제안한다. 또한, 실제 메모리 카드 개발에 대한사례 연구를 통해 제안된 기법의 유용성을 증명한다.

• 한국정보처리학회논문지
• /
• 제4권5호
• /
• pp.1243-1256
• /
• 1997

객체 모델링을 통해 초기에 사용자의 요구를 보다 명확하게 정의할 수 있고 그 결과를 바탕으로 보다 완전한 프로그램을 얻을 수 있으나, 모델 자체만으로 사용자 요구 사항과의 부합 여부를 쉽게 판단할 수 없다. 본 연구에서는 사용자와 교류 수단으로의 객체 모델링과 검증이 가능한 형식 명세의 통합을 통해 이해하기 쉽고 구축하기도 쉬우며 검증할수 있는 모델을 얻을 수 있게 하였다. 구축한 객체 모델을 구현 이전에 시각적 실행 환경에서 미리 검증해 보므로써 개발 초기에 보다 정확한 모델을 얻을 수 있게 한다. 이를 위해 본 연구에서는 OOSA(Object-Oriented System Analysis) 방법론 으로 구축한 실행 지원 환경을 통해 객체 모델의 프로토파이핑 과정을 수행할 수 있게 지원한다.

• 한국건설관리학회논문집
• /
• 제14권5호
• /
• pp.131-143
• /
• 2013

BIM 지침을 통해 기본적인 모델링 기준을 제공하고 있지만, BIM 모델링 업무를 수행하는 참여자 별로 기준이 상이하고 BIM 모델의 활용목적에 따른 적용기준이 다르기 때문에 BIM 적용 지침에 대한 이행여부의 평가는 BIM 모델의 활용목적에 따른 품질을 만족시키기 위한 중요한 절차이다. 하지만 지침에 따라 작성된 BIM 모델의 검토항목 및 방법이 제시되지 않고 있다. 본 연구는 BIM 모델의 완성도를 높이기 위해 국내 BIM 지침의 BIM 기반 품질검토 항목을 도출하고 자동 품질검토 수행을 위한 룰 정의서를 제시한다. 먼저 국내 BIM 지침을 분석하여 품질검토 항목을 도출하고 플로우차트 및 의사코드를 활용한 구조화를 통해 룰 정의서를 작성한다. 작성된 룰 정의서를 기반으로 사례적용을 실시하여 자동 품질검토 과정을 수행한다. 본 연구는 3차원의 방대한 데이터를 포함한 BIM 모델의 설계품질과 완성도를 높이는데 기여할 것이다. 향후 활용목적에 따른 BIM 지침의 개발이 필수적으로 이루어져야 하며 BIM모델의 품질검토를 위한 구체적인 절차나 기준이 제공되어야 할 것이다.

• 전자공학회논문지SC
• /
• 제47권4호
• /
• pp.15-20
• /
• 2010

스테레오 카메라에 의해 취득된 대상물체의 좌, 우 영상을 이용하여 3차원 형상 정보를 추출하여 가시화 하는 기법 및 주시 각 제어 알고리즘을 적용하여 입체감 있는 영상으로 출력하는 기술에 관한 연구이다. 효율적인 3차원 형상 정보 추출을 위해, 카메라 렌즈의 왜곡 보정 및 에너지 함수를 적용한 정합을 실시하였다. 특히, 다 방향 시차영상에 정합선 최적화 기법을 적용하여 정합 방향에 따른 다방향성 방법과 신뢰확장 방법의 약점을 보완하였다. 정합된 관심영역에 대한 3차원 형상정보를 VRML(virtual reality modeling language)을 사용하여 나타내었고, 주시각 제어를 통하여 입체감 있는 영상을 출력하였다. 이는 관측자에게 보다 향상된 3차원 정보를 제공할 수 있을 것이다.

• 한국정보처리학회논문지
• /
• 제2권5호
• /
• pp.721-732
• /
• 1995

IPSE(Integrated Project Support Environment) 도구는 언어 중심적이고, 개발방 법론에 근거한 툴셋 형태로 제공되는 현재의 CASE 도구들의 주요 기능들을 하나로 통 합하고자 하는 노력의 결과로 볼 수 있다. 프로세스 모델을 기반으로 한 IPSE 접근방 법이 통합 CASE 구현을 위한 효과적인 방법으로 여겨진다. PM-CASE(Process Model based CASE)도구는 새로운 프로세스 모델링 기법에 의해 프로세스를 표현한 다이아그 램을 작성하기 위한 시제품으로서, 프로세스내의 태스크 관련 속성들을 정의 하고 데 이터 베이스에 저장한다. 이들 속성들은 태스크 수행 중에 만들어진 산출물에 대한 정 보의 검색 및 태스크와 연관된 도구를 호출하는데 사용된다. 본 논문에서는 PSEE (Process centered Software Engineering Environments) 도구들을 비교 분석하고, PM- CASE 도구의 기본개념, 구조, 설계에 대한 기술을 통해 효과적인 소프트웨어 개발관리 를 지원하는 프로세스 모델 기반 CASE 도구의 구축방법을 제시한다.