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

분산 시스템이 널리 적용됨에 따라 효율적인 분산 시스템 관리 방안 연구가 다양하게 진행되고 있다. 그러나 SNMP 나 CMP 에 바탕을 둔 클라이언트/서버 방식의 분산 시스템 관리 환경은 확장성, 상호운영성, 신뢰성, 유용성 등과 관련하여 많은 제한점을 드러내고 있다. 근래에는 이러한 단점을 극복하기 위해 시스템 관리에 이동 에이전트(mobile agent)를 적용하려는 연구가 집중적으로 이루어지고 있으며, 이러한 연구는 자바 언어의 출현으로 가속화되고 있다. 본 논문에서는 관리자 응용(manager application)이 관리 작업을 수행하는 이동 에이전트를 관리 대상 노드에 파견()하는 일반적인 방식에서 탈피하여 관리 대상 노드가 관리자 응용에게 특정 이동 에이전트의 파견을 요청하는 에이전트-온-디맨드(Agent-On-Demand)방법을 제안하고 이를 위한 계층적 상태 임계값(Hierarchical)에 대해 설명한다. 또한 성능 분석을 위해 자바 RMI 와 이동 에이전트를 위한 분석 모델을 제시하고 AOD를 적용한 분산 시스템 관리 기법과 기존의 방법을 네트워크 부하와 실행 시간 관점에서 비교한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 1998년도 춘계학술발표논문집
• /
• pp.376-381
• /
• 1998

다른 지역에 존재하는 자원이나 데이터들을 이용가능하게 하고, 지정된 마감시간내에 결과를 제공해야 하는 시간적 특성을 가진 분산 실시간 시스템의 성능과 신뢰성을 향상시킬 수 있는 장점을 가진다. 이러한 시스템에서 수행되는 타스크는 크게 주기적 타스크와 비주기적 타스크로 나누어지는데, 빠른 수행시간을 위해 대부분의 타스크들은 병렬로 처리되기 위해 여러 개의 서브 타스크들로 분할되어 실행된다. 본 연구에서는 분산 실시간 환경에서 임의의 시간에 마감시간을 가지고 도착한 주기적 타스크에 서브 타스크의 유형에 따라 서브 타스크간의 통신시간과 수행시간을 고려한 EST(Earliest Start Time)기법을 이용하여 서브 타스크들의 효율적인 마감시간 할당 알고리즘과 ITC(Inter Task Communication)시간을 개선하기 위한 처리기 중복 할당 알고리즘을 제시하고 있다. 수행된 결과는 기존의 방법과 비교하여 타스크 전체의 마감시간 위반 최소화와 처리기의 이용률 개선 및 처리기간의 통신시간과 수행 완료시간을 개선하고 있다.

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

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

• 한국정보처리학회논문지
• /
• 제5권12호
• /
• pp.3138-3150
• /
• 1998

정보통신용 소프트웨어 개발은 대용량, 고신뢰도, 고복잡도, 이질성 및 분산 환경이라는 특징을 가지고 있다. 이러한 시스템을 개발함에 있어서 개발 품질 및 적정 비용을 유지하기 위해서는 향상된 정형명세 기법과 이러한 기법을 지원하는 도구가 필수적이다. ISO 표준 정형 명세 언어인 LOTOS는 사용자의 요구사항이나 시스템 모형을 추상적이고 정형적으로 작성할수 있도록 한다. 반면, 명세로부터 구현을 직접 도출하기는 쉽지 않다. 본 연구는 LOTOS 명세 언어로 작성된 명세로부터 C++ 코드를 자동 생성하여, 이를 PC 플랫폼상에서 실행하는 동작 모형을 통하여 시스템의 기능적 요구사항의 오류를 초기에 검출할 수 있는 프로토타이핑을 지원하는 LOTOS/C++ 코드 생성기(code generator)를 개발하는 것이다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 하계학술대회 논문집 D
• /
• pp.2687-2689
• /
• 2001

본 연구는 철도 신호분야에서 가장 중요한 역 단위 제어 시스템인 전자 연동 시스템의 실시간 제어 알고리즘 설계 기법을 제안한 것이다. 제안한 기법은 ROOM(Real-Time Object-Oriented Modeling)을 기반으로한 구조설계와 상세설계로 구성된다. 구조 설계는 모델링 휴리스틱기법에 의해 설계되는데 먼저 특정의 요구조건을 포착하여 이해하고, 그 다음에 요구조건을 기반으로 설계된다. 상세 설계는 구조설계에 의한 자료를 비교, 검토한 후 반복적으로 모델링하여 만족할 만한 값을 얻으면 바로의 구현할 수 있도록 설계함으로써 신뢰성있는 시스템 구축과 정확성을 높인다. 기존 환경과의 인터페이스가 편리하며 이식성이 좋은 C++언어로 구현하였으며, 또한 운영시스템은 실시간 운영체제(Real-Time OS)인 VRTX 기반에서 설계, 실행되었다. 제안한 기법은 대표적인 모델역에 대하여 적용하고, 그 성능을 검증함으로써 유용성을 입증하고자 한다.

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

환경, 해양, 지질자원, 기상 기후 등 다양한 분야에서 연구목적으로 인공위성에 의해 관측된 위성영상을 활용하고 있다. 인공위성으로부터 수신된 영상데이터는 많은 왜곡을 포함하고 있으므로, 이를 이용하여 신뢰할 수 있는 분석을 하기 위해서는 영상데이터에 대한 보정 작업이 선행되어야 한다. 하지만 대부분의 전처리 작업이 단일노드/단일코어를 이용하고 있기 때문에 많은 연구자들이 불편함을 가지고 있다. 본 논문은 단일노드/단일코어 상에서 수행되는 위성영상 처리 방식을 다중노드/다중코어를 이용하는 분산 처리 방안을 제안한다. 7개의 작업 실행 노드를 이용하여 실험한 결과에서, 분산 기반의 처리 성능이 단일노드/단일코어에서 수행된 처리 성능보다 최고 560.65% 향상되었음을 보여주었다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2015년도 학술발표회
• /
• pp.548-548
• /
• 2015

과거 1990년대에 인터넷 이용이 전 세계로 확산되면서 World Wide Web를 이용하여 다양한 웹 서비스 기술의 구현 및 유통은 현재에도 개발되고 있다. 일반적으로 오늘날의 서비스는 XML 및 인터넷을 통하여 웹 서비스로 구현한 응용프로그램간의 연동을 가능하게 하는 기반기술이다. 이는 단순 객체 접근 프로토콜(SOAP), 웹 서비스 기술 언어(WSDL), 전역 비즈니스 레지스트리(UDDI) 등의 표준 기술을 사용하여 네트워크에 연결된 다른 컴퓨터 간의 분산 컴퓨팅을 지원하는 소프트웨어 및 기술이다. 이러한 웹 서비스의 발전으로 웹 서비스의 성능이 웹 서비스 제공자의 성패를 좌우하게 되고, 제공하고 있는 웹 서비스에 대한 검증이 필요하게 되었다. 웹 서비스에 대한 검증은 미국 Bloor NA(Bloor Research-North America)에서 웹 서비스 아키텍처의 단점을 발표하여 서비스의 품질과 신뢰성 및 개선점에 대하여 제시되어 활발한 연구가 진행 중에 있다. 그러나 사용자 관점에서 웹 서비스의 성능을 측정하고, 단순한 서비스 제공자의 서비스 검증 목적만이 아닌 서비스 제공자의 성능을 서비스 사용자에게 제공하는 검증 방법에 관한 연구가 많지 않은 실정이다. 하천공간정보에 대하여 웹 서비스 방식 중 통신 프로토콜인 HTTP 등을 이용한 인터넷상의 메시지 교환을 가능하게 하는 통신 프로토콜인 SOAP 및 WWW와 같은 분산 하이퍼미디어 시스템을 위한 소프트웨어 아키텍처의 한 형식인 REST(Representational State Transfer)를 실행하여 이에 따른 검증 프로세스를 수립하였다. 하천공간정보 웹 서비스에 대한 테스트 시나리오는 응답시간, 임계성능, 이용가능성, 신뢰성 및 접근성에 대하여 검증하며 하나 이상의 웹 서비스들 간의 호환성 표준의 준수 여부와 상호 운용 가능 여부를 테스트 하는 상호운용성 테스트, 신뢰성 메시징 및 분산 환경에서의 트랜잭션 처리 성능을 검증하는 웹 서비스 프로세스 품질 테스트를 실시하는 방안을 도출하고자 한다.

• 컴퓨터교육학회논문지
• /
• 제12권4호
• /
• pp.47-55
• /
• 2009

모바일 그리드에서 모바일 장치를 작업 처리에 이용하고자 하는 연구들이 많이 이루어지고는 있지만 모바일 장치는 무선 연결 및 배터리 용량에 관한 제약을 가지고 있으므로 모바일 장치를 이용한 작업 처리는 기존 그리드 환경에서의 작업 처리에 비해 신뢰성 및 효율성이 낮다. 따라서 모바일 장치가 가지는 제약 사항들을 고려한 작업 처리 방법이 필요하다. 이 논문에서는 모바일 그리드 환경에서 작업 이주 기법을 통해 모바일 장치를 이용하여 작업을 수행하는 방법을 제안한다. 즉, 모바일 장치에서 작업 수행 시 문제가 되는 상황들을 미리 예측하고 실행중인 작업을 체크포인팅하여, 모바일 장치에 문제가 발생했을 경우 체크포인팅 정보를 이용하여 다른 모바일 장치에게 작업을 이주할 수 있도록 한다. 이를 위해 프록시 서버에는 모바일 장치 관리자를 두고 모바일 장치에는 상태 관리자를 두며, 두 관리자를 통해 모바일 장치의 접속, 무선 신호 세기, 배터리 용량을 확인한다. 시뮬레이션 결과는 제안한 작업 이주 방법이 작업 수행시 효율성 및 신뢰성을 높일 수 있음을 보여준다.

• 한국정보통신학회논문지
• /
• 제6권2호
• /
• pp.371-378
• /
• 2002

최근 몇 년간 이동에이전트는 분산시스템의 전자상거래와 전자데이터의 교환과 인공지능, 네트웍관리와 같은 여러 응용분야에서 많이 이용되고 있는 분야중 하나이다. 특히 EC/EDI의 영역에서 본래의 이동에이전트 서명 문제를 추가하여 사용되어야 한다. 그러므로 분산네트웍에서 이동하는 에이전트의 프라이버시와 속성을 보호하는 것은 매우 중요하다. 상거래에 응용되기 위해서는 각각의 이동에이전트들 상호간에 거래의 신뢰성을 향상할 수 있는 안전한 인트라넷 환경이 필요하다. 본 연구에서는 이동에이전트를 악의적인 서버로부터 이동에이전트를 자신을 보호하고 인터넷과 같은 오픈시스템의 자원들을 보호하는 안전한 이동에이전트 역할을 수행하도록 하는 에이전트 보호 메커니즘을 설계하여 신뢰하는 실행환경을 제안한다.

• 정보보호학회논문지
• /
• 제14권2호
• /
• pp.3-13
• /
• 2004

DRM (Digital Rights Management)$^{(1)(2)}$ 은 디지털 컨텐츠의 불법 사용방지를 위한 기술로서 인터넷과 같은 전송 매체를 통해 디지털 컨텐츠가 배포될 때 DRM의 복제 방지 기능을 사용해서 디지털 컨텐츠의 안전한 배포 및 판매를 촉진시키기 위한 기술이다. 이러한 DRM 환경 하에서 디지털 컨텐츠 저작권자의 가장 큰 요구 사항인 저작권 보호와 컨텐츠 보호를 위한 핵심 기능을 수행하는 DRM Client 시스템은 신뢰할 수 없는 사용자 환경에 설치되어 향후 배포되는 디지털 컨텐츠들에 대한 착인 및 플레이(실행)를 지속적으로 처리하게 되며, 이러한 처리 과정 중에 DRM Client 시스템은 사용자에 대한 인증이나 암호화된 디지털 컨텐츠 데이터의 복호화 및 디지털 컨텐츠 사용규칙을 명시한 라이센스에 관한 데이터를 처리하며 이러한 데이터는 사용자가 접근 못하도록 안전하게 보호되어야 한다. 본 논문은 이러한 사용자 인증키, 암호키, 라이센스 데이터를 DRM Client 시스템 하에서 안전하게 보호할 수 있는 Secure Storage Device (SSD)를 구현하여 소개하는데 그 목적이 있다.