• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1999년도 춘계학술대회 논문집
• /
• pp.54-59
• /
• 1999

본 논문에서는 유연생산시스템 (FMS: Flexible Manufacturing System)의 객체지향 시뮬레이션(OOS: Object Oriented Simulation)에 대한 기존의 연구들을 소개한다. 먼저 FMS와 객체지향시뮬레이션의 일반적인 개념에 대해서 이야기하고 기존의 연구들을 대상 시스템의 추상화(abstraction)과정을 중심으로 분류하여 정리하였다. 추상화 방법론과 FMS를 위한 객체지향시뮬레이션의 현황 및 과제에 대해서도 간략하게 살펴보았다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2009년도 추계학술발표논문집
• /
• pp.920-924
• /
• 2009

유비쿼터스 환경에서 끊임없이 동적으로 변하는 환경에서 수많은 상황데이터가 발생하고 상황정보로 추상화하는 과정이 필수적이다. 본 논문에서는 미리 정의된 코드 값들과 측정된 센싱 값들이 연속으로 구성되기 때문에 이를 분리해내고 해석하는 과정이 매우 임의적이고, 가변적이어서 연산을 반복적으로 수행하는 것은 시스템의 오류를 발생하게 하는 문제점이 있다. 본 시스템은 raw 데이터 형식의 USN 데이터를 초기 수집 이후 여러 프로세스들이 추상화된 데이터를 다룰 수 있도록 함으로써 데이터 처리에서 발생할 수 있는 오류를 제거하고자 데이터 추상화를 위한 상황인식 프레임워크를 개발하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1999년도 춘계학술대회 논문집
• /
• pp.110-114
• /
• 1999

본 연구는 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 거시적 및 미시적 교통류 시뮬레이션 방법론의 개발을 주 목적으로 한다. 도로 교통망의 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류된다. 이러한 모델링 방법들은 그 목적에 따라 각기 표현되어 제각기 사용되어 왔으나, 시스템 이론적으로 이들은 독립적 모델이 아니며 오히려 이들은 서로 동질적 추상화 관계에 있어서, 통합 모델링 환경의 구축시 미시적 모델들로부터 추상화에 의한 거시적 모델의 자동생성 등 설계상의 효율뿐 아니라 모델간의 일관성을 통한 모델 유효성을 보장할 수 있는 장점이 제공될 수 있다. 따라서, 본 논문에서는 서로 다른 표현 방법(즉, 이산시간 형식론과 이산사건 형식론)간의 통합 표현을 기반으로 양자간의 추상화 관계를 도출하고, 이를 이용한 모델 추상화를 통해 거시적 및 미시적 교통류 시뮬레이션 방법론을 제안한다. 시스템 이론적 접근을 토대로 접근한 통합 교통류 시뮬레이션 환경은 미국 Berkeley 대학 교통 연구소에서 개발한 SHIFT 등과 같은 최첨단 교통류 시뮬레이션 도구에 비하여 SES/MB를 기반을 시스템 이론적이며 소프트웨어공학적인 접근을 통하여, 1) 기존 제어 방식의 검증 및 신뢰도 분석, 2) 각종 사건, 사고의 시간별 파급효과 분석, 3) 도로건설 계획안에 대한 타당성 검토, 4) 운전자 및 관리자를 위한 예측된 교통정보 등을 제공할 수 있을 것으로 기대된다.

• 한국콘텐츠학회논문지
• /
• 제6권11호
• /
• pp.202-216
• /
• 2006

프로세스 대수는 다음과 같은 이유 때문에 실시간 항해 및 배송 시스템에 적용하기에는 부적당하다: 1) 특정한 지정학적 공간 내에서의 프로세스들의 분산성에 대한 표기가 부족하고, 2) 그 공간 내에서의 프로세스들의 이동성이 분산성으로부터 확연히 구분하여 표기되지 않는다. 이 대수들이 이런 시스템에 적합하기 위해서는 이런 분산성에 적용되는 공간정보의 표기와 이 공간 내에서의 이동성에 대한 표기를 구분해야할 필요성이 있다. 본 논문에서는 이러한 목적, 즉 공간정보와 이동정보를 구분하기 위하여 새로운 정형기법, 즉 CARDMI (Calculus of Abstract Real-Time Distribution, Mobility and Interaction)를 제안한다. CARDMI에서는 이동체 간의 동일성을 검증하기 위하여 공간 및 상호작용에 관한 연역규칙과 공간추상화에 기반한 동일성을 정의한다. 특히 이 동일성은 공간적 추상화를 반영한 계층적 동일성을 가능하게 하며 이를 통해 다수의 추상화 단계에서의 동일성을 검증하게 한다. CARDMI는 물리적인 배송 시스템뿐만 아니라 콘텐츠를 실시간으로 배달하는 사이버 시스템에도 적용할 수 있다.

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

유비쿼터스 컴퓨팅 시스템을 설계하고 개발하기 위한 방법들 중 하나로서, 최근 다중 에이전트 모델을 이용하는 방식이 연구되었다. 다중 에이전트 모델을 이용함으로써 얻을 수 있는 장점도 있지만, 다중 에이전트 모델로는 유비쿼터스 컴퓨팅 시스템이 가지는 고유한 특성을 완벽히 기술하기는 부족한 면이 있다. 예를 들어, 유비쿼터스 컴퓨팅 시스템에서 어떤 서비스를 제공하기 위하여 여러 컴퓨팅 요소들이 협업을 해야 할 때, 이러한 협업 조직을 효과적으로 표현하기 어렵다. 즉, 다중 에이전트 모델에서는 이러한 협업 조직의 동적인 생성과 소멸, 그리고 동적인 조직의 구성방식과 서비스를 제공하기 위한 조직 내에서의 또한 조직들 간의 협업 방식을 기술하기가 쉽지 않다는 것이다. 게다가 대부분의 다중 에이전트 모델들은 시스템을 설계하는 것만을 고려할 뿐 시스템의 개발은 개발자에게 전가하고 있다. 그러나, 유비쿼터스 컴퓨팅 시스템처럼 다양한 기종이 복잡하게 분산되어 있는 경우에는 설계만으로 실제 시스템을 개발을 하는 것은 쉬운 일이 아니다. 따라서 본 논문에서는 컴퓨팅 요소들의 협업 조직을 커뮤니티라 하고, 유비쿼터스 컴퓨팅 시스템을 그러한 커뮤니티에 기반하여 기술하는 고 수준의 추상화 모델을 제시하였다. 또한 이러한 고수준의 추상화 모델로부터 실제 시스템 개발을 이끌어 낼 수 있도록 하기 위하여 Model driven architecture 방식을 적용하여, 유비쿼터스 컴퓨팅 시스템의 개발 과정을 정의하였다.

• 정보처리학회논문지D
• /
• 제16D권2호
• /
• pp.177-184
• /
• 2009

무선 통신 기술과 다양한 감지 기술들의 발달로 실세계의 환경을 분석하고 생태계의 변화를 이해하기 위한 환경 모니터링 시스템들이 널리 개발되고 있다. 이러한 시스템들은 센서 데이터로부터 유용한 정보를 추출하기 위하여, 원시 센서 데이터를 기반으로 질의를 처리하기 때문에, 환경 모니터링 응용에서 전송되는 넓은 지역의 대용량 센서 데이터를 다루기 위해서는 높은 질의 처리 비용을 요구한다. 또한 현재 및 가까운 미래의 상황 체크를 요청하는 사용자 질의에 답하기 어려운 문제점이 있다. 이 논문에서는 환경 모니터링을 위해 사용자 질의를 효과적으로 처리하기 위한 모니터링 시스템 구조를 제시하고, 설계된 센서 데이터 필터링과 추상화 모델의 활용을 기술한다. 제시된 추상화 기법은 GIS의 경사 그리드를 기반으로 설계되어, 빠른 데이터 접근 및 갱신을 지원한다. 상황 분석을 위해 추상화 모델에서 센서 타입별로 추출된 내용은 질의 처리기에서 결합되어 사용자에게 의미있는 정보를 제공하는데 도움을 준다.

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

STATEMATE는 Statecharts로 시스템의 행위를 설계하는 도구이다. 근래 들어. STATEMATE MAGNUM은 설계 뿐 아니라 모델체킹을 이용한 정형검증의 기능을 가지고 있다. 모델체킹은 상태 기반의 설계명세 된 시스템을 시제 논리로 그 요구 명세를 기술하여 설계명세가 요구명세를 만족시키는지를 검증하게 된다. 하지만 설계명세가 큰 경우, 모델체킹 시 상태폭발을 일으켜 시스템을 검증하지 못하게 한다. 모델체킹의 상태 폭발을 줄이기 위해서는 기본적으로 모델체커의 알고리즘을 개선시키거나, 모델을 추상화시킨다. 본 연구에서는 모델을 추상화시키더라도 검증 결과에는 별 영향을 주지 않는 부분을 추상화하고, 검증 결과에 직접 적인 영향을 주는 부분을 상세 명세하는 기법을 적용하여 실시간 운영체제의 코드를 어떻게 검증을 하는지를 보여준다.

• 한국컴퓨터정보학회논문지
• /
• 제9권4호
• /
• pp.61-69
• /
• 2004

인간과 컴퓨터 사이의 복잡한 상호작용을 지원하기 위해서는 사용자 인터페이스의 설계가 중요하다. 고객의 요구사항을 수집하고 설계하기 위하여 매우 포괄적인 다방면의 지식이 요구된다. 사용자 인터페이스 설계자는 그래픽 전문가, 요구사항 분석가, 시스템 설계자, 프로그래머, 기술 전문가, 사회 행동과학자, 그리고 업무분야에 따라서 그 분야의 전문가를 필요로 한다. 따라서 다방면의 전문성을 만족시킬 수 있는 사용자 인터페이스를 설계하기 위하여 더 많은 연구가 요구되고 있다. 본 논문에서는 필드 추상화 객체, 태스크 추상화 객체, 트랜잭션 추상화 객체, 폼 추상화 객체 등의 4단계의 가시화 기법을 제안한다. 이 모델링 단계는 사용자 인터페이스에서 가시적 응집도를 향상시켜주고, 초보 설계자도 양질의 사용자 인터페이스를 개발할 수 있도록 지원한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.7-9
• /
• 2003

대부분의 객체지향 방법론은 객체를 중심으로 한 객체 모델링을 바탕으로 소프트웨어를 개발한다. 물론, 객체 모델링 방법은 여러 가지 장점을 가지고 있지만 복잡한 문제를 가진 대규모의 시스템에는 적합하지 않다. 따라서, 이런 복잡한 대규모 시스템을 객체의 패턴에 따라 간단한 모델로 분할할 필요성이 있으며 이를 위하여 역할 모델링 방법이 제안되었다. 본 논문은 객체의 패턴들을 추상화하고 복잡한 대규모 시스템을 관계의 분리를 통하여 간단한 모델로 생성할 수 있도록 객체 중심이 아닌 역할을 중심으로 한 역할 모델링 방법을 연구하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제36권5호
• /
• pp.371-379
• /
• 2009

기존의 센서노드 운영체제들은 응용프로그램에 대한 센서추상화를 지원하지 못한다. 따라서 응용이 센서를 위한 하드웨어, 디바이스 드라이버 등을 직접 개발해야 하는 부담을 갖는다. 본 논문에서는 센서추상화를 지원하는 운영체제 구조를 제시한다. 제안된 운영체제는 추상화된 센서 HW 인터페이스 기반의 HAL을 제공하고 센서 접근을 위한 추상화된 API를 제공한다. 센서제작자는 HAL을 이용하여 센서디바이스 드라이버를 작성한다. 응용프로그래머는 센서 API를 이용하여 응용을 작성한다. 이러한 개발방식은 응용프로그래머의 부담을 크게 줄여서 USN 응용 개발을 활성화할 수 있다. 본 논문에서는 첫째로, 센서장착을 용이하게 하는 표준화된 센서 HW 인터페이스를 정의하였다. 둘째로, 센서를 추상화한 센서접근 API를 제공하였다. 셋째로, 센서 디바이스 드라이버를 작성할 때 활용될 HAL 라이브러리를 정의하였다. 예제 응용 프로그램을 작성하여 본 논문에서 제안한 센서노드 운영체제가 센서 추상화를 성공적으로 지원하는 것을 보였다.