• 정보처리학회논문지C
• /
• 제12C권7호
• /
• pp.1015-1024
• /
• 2005

권한의 위임은 그리드 컴퓨팅과 같은 대규모의 분산 환경에서 사용자가 원하는 작업을 처리하기 위해 해당 노드에 권한을 부여하는 중요한 과정 중의 하나이다. 하지만, 기존의 권한 위임 기법들은 작업에 대한 적절한 권한을 부여하지 못하거나, 위임의 범위를 세분화하지 못하고, 작업의 처리 과정에 대한 위임이 아닌 자원 자체에 대한 접근 권한의 위임만이 존재한다. 또한 시스템 자원의 예약이나 실행 전 ·후의 호스트 접근 등 작업의 실행 전 후의 위임이 필요한 과정에 대하여 적절한 위임을 적용하지 못한다. 따라서 본 논문에서는 분산 환경에서의 제약적인 위임을 위한 방법 및 명세를 제안한다. 제안한 방법은 위임을 작업 측면과 권한 측면으로 분리하고, 위임의 명세 및 절차를 XM L스키마와 UML을 이용하여 표현하며, 분산 컴퓨팅 환경에서의 제한적인 위임 시나리오를 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (A)
• /
• pp.552-556
• /
• 2006

항공우주의 연구를 위해 대용량의 컴퓨팅 자원 이용, 실험 결과의 상호 교류 및 분석, 온라인 상에서의 자동 실행 등의 서비스가 요구된다. 본 논문에서는 이미 개발된 e-AIRS[1],[2]의 활용을 극대화하고 병렬해석에 많이 사용되고 있는 동적 파라메터 실험 서비스를 구현하고자 한다. 동적 파라메터 실험 서비스는 복잡한 현상을 포함한 다양한 계산 수행을 지원하기위해, 동적으로 파라메터를 생성하고 효율적으로 동시에 작업들을 실행하는 서비스이다. 또한 GT4(Globus Toolkit 4)[3] WSRF를 기반으로 웹 서비스로 구현하여 서비스의 이용 및 접근을 용이하게 하고자 한다. 연구자간의 효과적인 정보 공유 및 협의 서비스를 제공함으로써 항공 우주 연구 개발에 있어 효율적인 환경을 지원함은 물론 연구자간 협력을 통한 신뢰성 있는 결과 값을 도출할 수 있도록 하고 있다.

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

공공수역 수질오염 관리에 있어 비점오염원 관리의 중요성이 크게 부각되고 있다. 새만금호 유역은 농경지비율이 40%로서 넓기 때문에 농업비점오염 관리가 중요하다. 농업비점오염 저감을 위한 기법 연구는 국내에서 그 간 상당 수준으로 진행되었지만, 그 기법을 실행할 주체인 농업인이나 지역주민의 역량이나 농업비점오염의 인지도에 대한 연구는 부족한 실정이다. 본 연구는 새만금유역에서 농업비점오염과 관련된 주체들 간의 정보의 소통과 흐름에 대하여 분석해보고, 또한 농업오염 교육 전후에 있어서 지역주민과 농업인의 농업비점오염에 대한 인식도와 교육효과에 대해서 살펴보았다. 먼저, 농업비점오염과 관련된 주체들 간의 지식흐름은 매크로레벨 즉, 정책입안자, 전문가 레벨에서 관련정보가 정체되어 있었고, 실제 농업비점오염 관련 저감 기법이나 정책을 실행하는 주체인 마이크로레벨의 농업인과 지역주민, 이를 지원하는 시군 공무원, 지역전문가 등 매소레벨을 지원하기 위한 정보로 가공 전달되지 못하고 있었다. 농업부서와 환경부서 사이의 농업비점오염에 대한 인식도의 차이가 크게 나타났으며, 특정 분야를 중심으로 활발한 소통이 있는 반면, 정보의 의도적 차단, 자기조직의 대응을 위한 형식적, 임시적 소통이 이루어지고 있었다. 귀농인과 친환경농업인에 대한 교육을 통하여 농업비점오염에 대한 인식도는 교육 전 38.1%에서 교육 후 100%로, 교육 후 농업비점이 오염원이라는 인식도도 친환경농업인 91%, 귀농귀촌인 78%로 응답하였다. 농업비점오염원 관리가 수질개선에 미치는 효과에 대하여는 친환경농업인은 5점 만점에 3.67점, 귀농귀촌인은 4.05점, 농업비점오염원 관리가 필요한지에 대하여 친환경농업인은 4.05점, 귀농귀촌인은 4.09점으로 두 집단 모두 농업비점오염원 관리가 필요하다고 응답하였다. 반면, 친환경 농업은 저감기법의 오염 저감 효과는 높게 인식하였지만, 직접 실행해 볼 의사는 3.4점, 저감 기법을 주위에 소개나 권고할 의사는 3.5점이었다. 또한, 실행 가능한 저감 기법으로는 퇴액비 사용, 완효성 비료사용, 녹비작물재배 등의 순이었다. 저감기법이 어렵다고 응답한 이유는 복잡할거 같다, 귀잖을 것 같다, 추가비용으로 손해, 저감효과 신뢰성 부족, 농업은 오염원이 아니다 등으로 나타났다. 이상의 연구결과를 살펴볼 때, 주체들 간의 정보와 지식흐름을 이어줄 중간조직의 필요성과 농업인의 인식의 변화가 행동의 변화로 이어질 수 있는 교육?홍보 기법과 농업인의 수용성이 높은 저감기법의 개발과 보급이 필요함을 시사하였다.

• 디지털콘텐츠학회 논문지
• /
• 제6권1호
• /
• pp.85-88
• /
• 2005

분산 멀티미디어 응용에 대한 요구는 정교한 QoS 관리를 위해서 필요하다. 분산 멀티미디어 시스템 견지에서 보면, QoS의 가장 중요한 범주는 시간성, 볼륨, 신뢰성이다. 본 논문에서는 결함 허용을 통해서 신뢰성을 향상시키는 방법에 대해서 기술한다. ERA는 분산 멀티미디어에서 하나의 소프트웨어 오류를 자동적으로 복구할 수 있는 시스템이다. 본 논문은 규칙-기반 DEVS 모델링과 시뮬레이션 기법을 사용하면서 분산 멀티미디어 상에서의 오류 복구 시스템의 성능 분석을 설명한다. DEVS에서 하나의 시스템은 시간 입력, 상태, 출력 및 함수들을 가지고 있다.

• 한국정보과학회논문지:시스템및이론
• /
• 제37권1호
• /
• pp.19-26
• /
• 2010

본 논문에서는 차세대 비휘발성램 기술인 스토리지 클래스 메모리(SCM)와 DRAM을 병렬적으로 메인 메모리로서 도입하고, SCM+DRAM 메인 메모리 시스템을 시스템 신뢰성 측면에서 활용한다. 본 시스템에서는 부팅 없는 즉각적인 시스템 온/오프, 프로세스의 동적인 영속성 또는 비영속성의 선택, 그리고 이를 통하여 전원과 소프트웨어 장애로부터의 빠른 복구를 제공한다. 본 논문에서 제안하는 시스템의 장점은 체크포인팅에서의 문제들, 즉 심각한 오버헤드와 복구 지연을 야기하지 않으며, 특히 응용 프로그램에 대한 완전한 투명성을 제공하기 때문에 보편적인 응용 프로그램에 영속성을 제공할 수 있어 실제 환경에 적용되기가 쉽다. 우리는 이를 검증하기 위해 상용 운영체제인 리눅스 커널 2.6.21을 기반으로 시스템을 구현하였고, 실험을 통해 영속성이 지정된 프로세스가 시스템의 오프-온 후 데이터 손실 없이 즉각적으로 실행을 지속하는 것을 알 수 있었으며, 이를 통하여 우리는 본 시스템에서 가용성과 신뢰성이 향상될 수 있음을 확인하였다.

• 디지털콘텐츠학회 논문지
• /
• 제17권1호
• /
• pp.59-63
• /
• 2016

본 논문에서는 N 스크린 서버와 클라이언트 시스템 환경을 통하여 데이터의 신뢰성을 향상시키는 모델에 대해서 기술한다. 디지털 캐로절은 사용자들에게 미디어 동기화 메카니즘을 통하여 미디어 객체 공유를 가능하게 한다. 본 시스템은 공동 작업에 참여한 사용자들이 다른 참여자들에게 같은 뷰로써 공유된 미디어 객체들을 참조할 수 있도록 N 스크린 환경을 위한 CoAP(Constrained Application Protocol) 기반 디지털 캐로절 시스템을 제안한다. 이 시스템에 의해서 응용 데이터를 공유할 수 있다. N 스크린의 기술과 CoAP 기반 멀티미디어 공동 작업에서 실행되는 기능에 대한 시스템의 기능 비교도 하였다.

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

최근 인터넷 사용자 증가와 네트워크를 기반의 응용 프로그램이 다양하게 개발되고 있다. 또한 스마트 폰과 매블릿 PC 의 대중화로 누구나 쉽게 인터넷을 통해 정보검색 서비스를 이용할 수 있다. 따라서 갈수록 증가하는 패킷에 대한 제]어와 이동, 삭제 등과 같은 처리를 빠르게 하기 위해 네트워크 프로세서 (Network Processor)가 개발되었다. 네트워크 프로세서는 패킷 제어와 이동, 삭제를 수행하는데 최적화되어 있다. 하지만 네트워크 프로세서를 개발한 회사마다 교차개발환경 툴과 개발언어가 서로 다르기 때문에 소스코드 재사용 및 확장이 어렵다. 또한 네트워크 프로세서에서 동작하는 프로그램을 매스트 하기 위해 하드웨어 장비가 필요하고 네트워크 프로세서에 종속적인 개발환경과 언어를 배우는 것은 프로그래머에게 큰 부담을 준다. 본 논문에서는 네트워크 프로세서에 최적화된 기능을 언어 레벨에서 정의한 eFlowC 언어를 사용하고 범용 컴퓨터에서 매스트 및 실행을 할 수 있는 가상머신을 제안한다. 그리고 가상머신 중간언어를 사용하여 가상머신이 설치된 범용 컴퓨터에서 소스코드 재사용 및 확장을 가능하게 한다. 따라서 범용 컴퓨터에서 프로그램 테스트를 통해 신뢰성 높은 프로그램을 작성할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 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을 통해 명세의 일관성을 검사하고 정확성을 검증하는 방법을 제안함으로써 생산비를 감소시키고 안정성과 정확성 그리고 신뢰성을 가진 컴포넌트 소프트웨어를 개발할 수 있다.