검증지향 하향식 방법에 기반을 둔 실시간 분산처리시스템의 개발환경

김문희(Moon Hae Kim),강영주(Young-Joo Kang) 한국정보과학회 1996 정보과학회논문지(B) Vol.23 No.2

실시간 분산처리시스템에 대한 수요가 급속히 증가하고 있다. 그러나, 이러한 시스템의 개발은 체계적인 개발방법론과 이를 지원하는 개발환경의 미비로 인해 미미한 실정이다. 본 논문에서는 이에 대한 대책으로 검증지향 하향식 개발방법론에 기반을 둔 개발환경을 제시한다. 개발환경은 고급 명세언어인 RSL/RT(Requirement Specification Language for Real-Time systems)를 중심으로 RSL/RT 번역기, 정적 분석기, 동적 모의실험기 생성기 그리고 실행시간 분석기로 구성되어 있다. RSL/RT는 기존의 명세 언어인 RSL에 시간적 특성, 하드웨어 구조 및 태스크 할당을 명세할 수 있도록 확장한 언어이다. 명세된 시스템의 자료흐름, 제어흐름 등의 정적 특성은 정적 분석기에 의해 자동적으로 분석되고 기능과 시간에 관련된 동적 특성은 동적 모의실험기 생성기에 의해 생성되는 모의실험기를 통해 분석된다. 이러한 분석을 각 개발 단계에 수행함으로서 개발되는 시스템의 신뢰도를 높이고 궁극적으로 시험 및 디버깅에 드는 노력을 감소시킴으로써 개발기간을 단축하여 생산성을 높일 수 있다. 본 논문에서는 RSL/RT 명세언어와 관련 지원도구들에 대한 설계 및 구현과 그 기능을 기술한다. Demands on real-time distributed systems are rapidly increasing. Development of these systems, however, has been slow due to the lack of systematic development methodologies and supporting development environments. In this paper, we present a development environment supporting the verification-oriented top-down methodology in order to overcome these difficulties. The environment is based on a high-level specification language, called RSL/RT (Requirement Specification Language for Real-Time systems) and consists of a set of supporting tools: RSL/RT translator. Static Analyzer, Dynamic Simulator Generator, and Run-Time Analyzer. RSL/RT is an extension of an existing specification language RSL to have the capability of specifying timing characteristics, hardware structure, and task allocation. Static characteristics of the specified system such as data flow and control flow are automatically analyzed by the Static Analyzer and dynamic behaviors of the system related to timing and functionality are analyzed with the simulator generated by the Dynamic Simulator Generator. By carrying out these analyses in each development phase, the reliability of the system to be developed can be improved and ultimately the efforts for testing and debugging can be reduced. Therefore, the development time can be shortened and the productivity can be improved. This paper presents design, implementation, and functionalities of the RSL/RT specification language and related supporting tools.

Computer Aided Document Engineering 기반 시스템을 위한 동적 하이퍼 맵

김영임(Young Im Kim),김문희(Moon Hae Kim) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.1

본 논문에서는 하이퍼텍스트의 전체 구조를 동적으로 보여주는 하이퍼 맵 기법을 제시한다. 종래의 하이퍼텍스트 시스템에서는 데이타드의 규모가 커질 경우 방향상실(disorientation)의 문제가 야기될 수 있다. 본 논문에서 제시한 동적 하이퍼 맵은 사용자에게 하이퍼텍스트의 구조 및 현재의 위치와 방향에 대한 정보를 제공하여 주는 안내 메카니즘으로 사용자가 방향 상실의 문제를 극복하고 효율적인 항해(navigation)를 수행할 수 있도록 지원한다. 동적 하이퍼 맵은 제한된 화면상에 동적 오버 뷰을 제시하는 과정에서 필요한 부분만으로 축약하여 맵을 구성하는 것으로서 맵을 구성하는데 있어서 시맨틱이 포함되어 있는 구조화된 도큐멘트 즉, 구조화된 환경을 제공하는 CADE(Computer Aided document Engineering)시스템을 이용하였다. 본 논문에서 제시한 동적 하이퍼 맵 기법을 사용할 경우 소프트웨어 개발 및 유지 보수 과정에서 발생하는 도큐멘트(document)들을 효율적으로 관리할 수 있다.

실시간 객체의 이중화 구조 설계

김성기(Sung-Ki Kim),정관식(Kwan-Sik Jeoung),민병준(Byoung-Joon Min),김문희(Moon Hae Kim) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅰ

경성 실시간 응용을 위한 결함허용 기법은 논리적 결함 뿐 아니라 시간적 결함에 대비하여 결함 발생시 복구와 재구성이 정해진 시간 내에 이루어질 수 있도록 해야 한다. 본 논문에서는 실시간 서비스 설계시 실시간성 보장을 위해 고안된 실시간 객체 모형인 TMO(Time-triggered Message-triggered Object)를 분산 복구 블럭 (DRB : Distributed Recovery Block) 기법에 적용할 때에 수반되는 실시간 객체 이중화 구조를 제시하고 설계 및 구현의 문제점에 대하여 논한다.

RTO.k 객체 모델을 이용한 Real - Time Monitor Object의 구성 방법

박용우(Yongwoo Park),김문희(Moon Hae Kim),양승민(Seung-Min Yang) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.1A

본 논문에서는 실시간 분산 시스템에 대해 높은 신뢰성을 보장할 수 있는 방법으로 모니터 객체를 소개하고, 이 모니터 객체가 실시간성을 보장할 수 있도록 하기 위해 RTO.k 객체 모델을 이용하여 모델링 하였다. 이렇게 RTO.k 객체 모델을 이용하여 모델링된 모니터 객체를 실시간 모니터 객체(RTMO: Real-Time Monitor Object)라 부른다. 실시간 분산 시스템은 기능별 특성을 고려하여 몇 개의 분산된 노드로 구성되고, 각 노드들은 신뢰성을 높이기 위해 다시 이중화 또는 n개의 부노드로 세분화 될 수 있다. 이러한 실시간 분산 시스템에 모니터 객체를 추가할 수 있는 구성 방법으로, “Primary-Backup Nodes Pair” 구성, “Mixed Primary-Backup Nodes Pair” 구성, “Active-Passive Nodes Pair” 구성, 그리고 “Cascaded Active-Passive Nodes Pair” 구성 등 네가지 방법을 소개한다. 그리고 각각의 구성에서의 모니터 객체에 대해 RTO.k 객체 모델을 이용하여 모델링하여 본다. 이러한 접근 방법은 실시간 분산 시스템의 디자인 단계에서부터 실시간성과 고신뢰성을 보장할 수 있고, 디자이너의 수고를 덜어 줄 수 있다는 것을 보여 준다.

TMO 모델 기반의 분산 실시간 멀티미디어 서버 설계

조은환(Eun Hwan Jo),김문희(Moon Hae Kim),김두현(Doo hyun Kim) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.1A

고부가가치를 창출할 수 있는 차세대 멀티미디어 관련 상용 서비스들은 고감도 멀티미디어 연출을 가능케 하기 위해서 실시간 멀티미디어 처리 기술을 필요로 한다. 따라서 본 논문에서는 다양한 멀티미디어 데이터를 이질적인 분산 네트워크 상에서 투명성 있게 전송 받은 후에 고품질의 실시간 연출 서비스를 수행하는 분산 실시간 멀티미디어 서버(Distributed Real-time Multimedia Server)를 설계하였다. 분산 실시간 멀티미디어 서버는 텍스트나 이미지와 같은 정적인 미디어 처리는 물론, 비디오나 오디오와 같은 대용량의 연속적인 멀티미디어 데이터를 웹을 포함한 분산 네트워크 환경에서 실시간으로 처리한다. 우선, 본 논문에서는 서버에서 고품질 멀티미디어 연출을 위해 필요한 분산 멀티미디어 서비스들을 정의하였고, 분산 실시간 멀티미디어 서버를 구성하는 서비스 객체들을 실시간 객체 모형인 TMO(Time-triggered Message-triggered Object)를 사용하여 분석 및 설계하였다. 결론적으로, 본 논문에서 TMO 형태로 설계된 분산 실시간 멀티미디어 서버는 신뢰성 있는 멀티미디어 처리 환경을 제공하고 차세대 멀티미디어 정보 시스템을 실현하기 위한 방향을 제시한다.

Ramdisk를 사용하는 Embedded Linux System에서의 XIP 구현에 대한 연구

정동환(Dong-Hwan Jung),김문희(Moon-Hae Kim),이창훈(Chang-Hoon Lee),박호준(Ho-Joon Park) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.1A

대부분의 embedded system에서 hard-disk 대용으로 flash memory를 사용하고 있으며, flash device에 압축 커널이미지와 root file system image를 가지고 있다. Booting 과정 중 커널의 압축이 풀리고 메모리에 로드되어 제어를 넘겨받으면 flash memory 상에 존재하는 root file system image를 ramdisk의 imagc로 로드하여 시스템은 결국 ramdisk에 root file system를 가지게 된다. Ramdisk 상의 프로그램을 실행하기 위해 메모리로의 실행파일 이미지를 copy하는 과정을 피하고 ramdisk 상의 이미지를 바로 프로세스의 virtual memory area에 직접 매핑 시켜 주는 XIP(eXection-In-Place)를 구현 함으로써 많은 메모리 절감 효과를 얻을 수 있다. 본 연구에서는 ramdisk를 root file system으로 사용하는 embedded system에서의 XIP 구조를 설계하고 구현하였다.

실시간 객체를 이용한 원자력 발전소 Safety Injection System의 Modeling 및 실시간 시뮬레이션

정영준(Young-Jun Jung),김정국(Jung-Guk Kim),박용우(Yong-Woo Park),김문희(Moon-Hae Kim) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.2Ⅰ

원자력 발전소와 같이 환경적으로 큰 재난을 가져 올 수 있는 시스템에서는 전체 시스템을 구축하기 전에 구축하고자 하는 시스템의 안전성을 보장할 수 있는지의 여부와 그러한 시스템의 조작자들의 훈련을 위해 실시간 시뮬레이션이 반드시 필요하다. 본 논문에서는 원자력 발전소의 SIS(Safety Injection System)를 실시간 객체 TMO(Time-triggered Message Triggered Model)를 이용 모델링하는 기법과, 분산 실시간 객체 플랫폼인 WTMOS 위에서 구현된 SIS 시뮬레이션 시스템에 대해 기술하였다.

TDX-10 교환기를 위한 MIB 구축 지원 도구의 설계 및 구현

임찬순(Chan-Soon Im),김성조(Sung-Jo Kim),심영철(Young-Chul Shim),김문희(Moon-Hae Kim),김영명(Young-Myoung Kim),조영현(Young-Hyun Jo) 한국정보과학회 1998 정보과학회 컴퓨팅의 실제 논문지 Vol.4 No.1

망의 모든 정보를 저장 · 관리하는 MIB은 상호 이질적인 망을 표준화된 개방형 구조로 통합 · 관리하는 통합 망 관리 시스템에서 매우 중요한 구성 요소이다. 본 논문에서는 이러한 MIB의 구축에 기본이 되는 관리 정보 모델 생성을 위하여 기존의 상향식 방법과 하향식 방법의 장점을 취한 혼합형 관리 정보 모델링 방법론을 사용하였고, 이를 바탕으로 MIB 구축을 자동화한 지원 도구를 설계 및 구현하였다. MIB 구축 지원 도구는 관리 정보 모델을 편집할 수 있는 GDMO/ASN.1 편집기, 편집된 관리 정보 모델의 구문을 분석하는 GDMO/ASN.1 분석기, 분석된 관리 정보 모델을 MIB 플랫폼으로 선정된 UniSQL/X의 스키마로 생성하는 스키마 생성기로 구성된다. 본 논문에서는 한국 통신에서 운용중인 TDX-10 전전자 교환기를 대상으로 혼합형 관리 정보 모델링 방법을 적용하여 관리 정보 모델을 생성하고, 이 관리 정보 모델을 구현된 MIB 구축 지원 도구에 적용하여 얻어진 실행 결과를 보였다. Management Information Base (MIB) is a critical component of an integrated network management system which effectively supports the management of large-scale heterogeneous networks based on standardized open architectures. It stores all the information relevant to the network and provides an interface between any two functions of the network management system. In this paper, we utilize a management modelling procedure, which is a hybrid of the bottom-up and top-down approaches. We also design and implement MIB construction supporting tools which automatically generates the MIB from the management information model alogn with a procedure. MIB construction supporting tools consist of GDMO/ ASN.1 Editor, GDMO/ ASN.1 Analyzer and Schema Generator: the Editor edits the information management model, the Analyzer analyzes the semantics of the edited model and checks cross reference among GDMO templates, and the Generator generates the schema for the UniSQL/X object-relational database system chosen as the MIB platform. To summarize, we create an management information model for a TDX-10 Switching System, using the hybrid management information modelling procedure. We then show the execution results obtained by applying the MIB construction supporting tools for automatic transformation of the model to the MIB schema.

TMN에서의 관리객체 모델링

이배덕(Baedeok Lee),조은아(Eun-A Cho),김문희(Moon Hae Kim) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2B

본 논문에서는 TMN 상의 어느 시스템에도 적용 가능한 관리객체의 모델링 과정을 6단계로 제시하고, 이 과정을 적용GKDU TDX-10 시스템에 대한 관리객체를 모델링한다. 그리고 관리객체 정의때 지원해주는 도구로서 GDMO에 따라 모델링된 관리객체를 편집하는 GDMO 편집기, 이 편집기로 작성된 템플렛의 구문 오류 및 참조 오류를 검사하고 관리객체로부터 정보를 분석하는 GDMO 분석기, GDMO 분석기로부터 생성된 정보를 저장하는 정보저장소, 사용자가 관리 객체들간의 관계등을 참조할 수 있도록 보여주는 정보 뷰어 등의 지원도구를 기술한다.

의료정보 데이터베이스 및 인터넷용 진료지원 시스템의 개발

박용우(Yongwoo Park),김기천(Keecheon Kim),김문희(Moon Hae Kim) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.2Ⅰ

최근 수년간 전산망을 통한 의료정보의 이용이 학술적인 데이터베이스의 이용에서부터 인터넷을 통한 정보의 교환까지 급속도로 증가하고 있는 상황이다. 보다 신속하고 정확하며 다양한 의료정보에 대한 욕구는 일반인들 뿐만 아니라 환자와 의료진 모두에게 증대되고 있는 것이 현실이다. 갑상선 질환은 지속적인 치료를 필요로 할 뿐만 아니라 환자가 질환을 이해하고 자기 관리를 위한 과학적인 정보의 필요성이 절실한 분야이다. 또한, 갑상선 질환을 전공하는 의료진에게도 이에 관한 의료정보 제공의 필요성은 절실하다. 의료정보에 대한 데이터베이스 구축 작업은 궁극적으로 의료서비스의 질적향상과 질병관리의 효율화를 통한 국가 자원 낭비의 방지효과를 목적으로 하는데, 갑상선 질환 환자의 진료 및 교육 지원을 위한 공공 데이터베이스 개발은 이를 구현하는데 중요한 역할을 한다. 따라서, 본 연구에서는 갑상선 환자의 진료 및 교육 지원을 위해, 기존의 갑상선 환자 진료 기록에 대한 데이터베이스의 구축과 이를 인터넷을 통해 서비스 해 줄 수 있는 시스템을 개발하였다. 이 시스템은 윈도우 NT 상에서 Access를 이용하여 데이터베이스를 구축하였고, 윈도우 CGI 방식에 기반한 CGI 프로그램을 개발하여 인터넷과 연동하였다.