• Journal of Internet Computing and Services
• /
• v.13 no.1
• /
• pp.99-106
• /
• 2012

It is an important and a difficult task to analyze external inputs and interactions between objects for designing and modeling a reactive system consisting of multiple object. Also the reactive system is required huge efforts on confirm it can satisfy requirements under all possible circumstances. In this paper, we build from requirements to a scenario-based specification model using LSC(Live Sequence Chart) extending MSC(Message Sequence Chart) with richer syntax and semantic. Then the reactive system model satisfying all requirements for each object in this system can be automatically created through LTL Synthesis. Finally, we propose a method of reactive system development by iterative process transforming a reactive system model to codes.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1543-1546
• /
• 2012

반응형 시스템은 외부 환경과 지속적으로 상호작용하는 시스템이다. 반응형 시스템이 요구 사항을 만족하는지를 검사하기 위해서 상호 작용을 수행할 환경 모델을 구축 해야 한다. 환경 모델은 반응형 시스템에게 항상 올바른 입력들을 제공 해야만 검사 결과의 신뢰성을 보장할 수 있기 때문에 올바른 입력들을 포함하는 것은 매우 중요하다. GR(1) Synthesis 는 수학적 정형 기법으로써 논리식으로 표현된 요구 사항을 보장할 수 있는 모델을 자동으로 생성할 수 있다. 이 기법을 이용하여 올바른 환경 모델을 생성하고 반응형 시스템에게 올바른 환경의 입력들을 자동으로 제공 함으로써 반응형 시스템의 행위가 올바른지를 환경 모델 상에서 검사하였다. 또한 사례 연구를 통해 환경 모델을 이용한 검사가 기존 방법에 비해 우수함을 알 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.181-183
• /
• 2004

Mission-Critical한 실시간 반응형 내장 시스템들의 설계과정에 있어 high-level abstraction과 formal(software 기반) modeling은 없어서는 안될 중요한 부분이다. 실시간 반응형 내장 system의 OS는 정형 명세 기법을 이용하여 시스템의 주요 component들을 설계하고 OS의 Formal model들을 모든 가능한 input들 아래 OS의 behavior를 엄격하게 검증함으로써 error가 없는 완벽한 OS를 개발할 수 있다. 본 논문에서는 uC/OS-11의 OS Scheduling 부분을 반응형 시스템 언어인 Esterel의 SyncCharts로 명세, 명세한 시스템의 요구조건을 정형기법을 이용친서 검증해보고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.200-203
• /
• 2011

다수의 모듈로 구성된 반응형 시스템을 개발하기 위해 외부의 입력 및 모듈간의 상호작용을 분석하는 것은 중요하고 어려운 문제이며, 반응형 시스템이 요구 사항을 올바르게 만족하는지를 확인하기 위해서는 많은 시간과 비용이 소모가 된다. 본 논문에서는 요구 사항을 LSC(Live Sequence Chart)를 이용해 시나리오 기반 명세 모델을 만들고 Synthesis를 통해 요구 사항을 모두 올바르게 만족하는 시스템 모델을 자동으로 생성한다. 궁극적으로 올바른 시스템 모델로부터 의미적으로 동일한 코드로 변환하는 과정을 보이는 것으로 시나리오 기반 명세 모델로부터 반응형 시스템을 개발하는 방법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.25-27
• /
• 2002

반응형 실시간 시스템의 특성을 가진 원자력 발전소 제어시스템은 안정성이 크게 중요시되며, 소프트웨어의 오류가 많은 인적 물질적 피해를 줄 수 있는 시스템이므로 높은 신뢰도를 가지고 있는 소프트웨어가 요구된다. 높은 신뢰도를 뒷받침하기 위해 내장되는 소프트웨어는 적합한 정형명세기법과 정형검증기법의 적용이 필요하다. 소프트웨어 개발시 적용되는 정형기법은 명세의 모호성을 제거하고 검증을 수행하기에 용이하게 하므로, 높은 신뢰도를 요구하는 반응형 실시간 시스템인 원자력 분야의 소프트웨어 개발에 유용하다. 그러므로, 본 논문에서는 반응형 실시간 시스템의 특성을 가진 원자력분야의 소프트웨어 개발시 유용하게 적용할 수 있는 정형기법을 기반으로 한 소프트웨어 개발 방법론을 제시하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10a
• /
• pp.443-448
• /
• 2006

본 논문은 safety critical 실시간 반응형 시스템 하에서의 임베디드 소프트웨어 개발에 적합한 방법을 찾기 위해서 여러 가지 정형기법에 대해 논의하고 그 중 하나인 SCADE를 이용해 실제 임베디드 시스템을 직접 명세하고 검증한 후 구현한 내용을 서술한다. 본 논문에서는 data flow synchronous 언어인 Lustre를 소개하고, 소개된 언어가 실시간 반응형 시스템의 검증과 구현에 왜 적합한지를 논의하며, 하나의 시스템을 SCADE를 이용해서 명세하고 검증한 후 구현 한다. 수행된 실험을 통해서 data flow synchronous 언어는 실시간 반응형 시스템의 명세, 구현 그리고 검증에 적합한 언어라는 것을 언급하고, 이 언어의 사용이 복잡한 임베디드 시스템 개발에 효과적으로 사용될 수 있음을 제시한다.

• Proceedings of the Korea Technical Association of the Pulp and Paper Industry Conference
• /
• 2002.11a
• /
• pp.218-226
• /
• 2002

제지분야에서 중성 사이즈제로 광범위하게 사용되어지는 AKD emulsion의 사이징 효과의 발현속도가 낮은 단점을 보완하기 위하여, 기존 AKD emulsion에 추가 투입 사용함으로써 발현속도를 높여줄 수 있는 AKD 급속 반응형 정착제, 그리고 정착제를 사용하지 않는 초지 시스템에서도 급속 경화가 가능한 급속 반응형 AKD emulsion을 개발 하였다. AKD 급속 반응형 정착제의 투입량 및 종이 건조시간에 따른 사이징 효과를 상용화된 정착제와 비교하였으며 이 결과로부터 보다 빠른 사이징 효과발현을 확인하였다. 정착제를 사용하지 않는 시스템에서 급속반응형 AKD emulsion의 사이즈도 급속발현 효과를 확인하기 위하여 상용화된 emulsion과 사용량에 따른 사이징 효과와 건조시간에 따른 사이징효과를 비교함으로서 사이즈도의 급속 발현을 확인 할 수 있었다.

• 한국HCI학회:학술대회논문집
• /
• 2006.02a
• /
• pp.118-123
• /
• 2006

본 논문에서는 반몰입형 가상현실 시스템인 반응형 멀티미디어 시스템(RMS: Responsive Multimedia System)을 이용한 개인화된 스토리텔링 기법을 제안한다. 인간은 글, 그림, 영상 기술 등을 이용한 다양한 스토리텔링 기법을 개발해 왔으며, 가상 현실 기술을 통하여 기존의 멀티미디어보다 한차원 높은 수준의 스토리텔링을 가능하게 하였다. 제안된 스토리텔링 기법은 테이블 형태의 다감각 사용자 인터페이스, 사용자 정보 처리와 위치기반 이벤트를 결정하는 컨텍스트 인식 응용 모델 (vr-UCAM), 그리고 가상환경 네비게이션과 변화, 캐릭터의 애니메이션을 가능케 하는 가상공간 관리기로 구성된다. 제안된 스토리텔링 기법은 다감각 사용자 인터페이스를 통하여 직관적인 상호작용을 가능하게 한다. 그리고 컨텍스트 인식 응용 모델을 활용하여 사용자 개인정보를 스토리에 적용하여 개인화된 스토리가 전개될 수 있도록 한다. 그리고 가상 환경의 네비게이션, 가상 캐릭터, 날씨 및 환경의 변화 등을 조절하여 실감있게 스토리가 전개되도록 한다. 제안된 스토리텔링 환경을 검증하기 위해 운주사에 얽힌 설화를 기반으로 가상 운주사 체험 시스템을 구현하였다. 이를 통해, 반응형 멀티미디어 시스템을 이용한 스토리텔링의 가능성을 검증하였으며, 컨텍스트 인식 응용 모형을 활용한 개인화된 스토리텔링을 선보였다. 제안된 스토리텔링 기법은 문화교육, 에듀테인먼트, 예술 분야에 활용될 것으로 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.421-424
• /
• 2013

최근 문제가 되고 있는 전력 문제를 효율적으로 관리하기 위해 건물 에너지 관리 시스템이 주목받고 있다. 건물 에너지 관리 시스템은 관리자가 건물의 전력 소비량을 효율적으로 관리할 수 있도록 전력 소비량에 대한 모니터링 기능을 제공하는 시스템이다. 기존의 건물 에너지 관리 시스템은 과거, 현재, 미래의 전력 소비량을 통계 자료로 제공하고, 이를 토대로 전력 과부하 발생을 방지하였다. 그렇지만 기존의 시스템에 반응형 웹 디자인을 적용한 사례를 찾아보기 힘들며 온도 변화에 따른 전력 소비량을 고려하지 않기 때문에 정확한 부하 예측을 하기 어렵다는 단점이 있다. 본 논문에서 제안한 건물 에너지 관리 시스템은 반응형 웹 디자인을 적용하여 여러 모바일 기기로도 편리하고 효율적으로 건물을 관리할 수 있게 하였다. 또한, 건물에서 유지되어야 할 목표 온도, 건물 전력 소비량에 대한 과거 데이터와 기상청에서 제공하는 데이터를 통하여 부하 예측을 하고, 다양한 전력 소비량 통계 자료를 제공한다. 이를 통해 관리자는 효율적인 건물 에너지 관리를 할 수 있다.

• 한국신재생에너지학회:학술대회논문집
• /
• 2010.11a
• /
• pp.86.1-86.1
• /
• 2010

예비개질기(Pre-reformer)는 중대형 내부개질형 용융탄산염 연료전지(MCFC) 시스템에서 다양한 연료를 사용하기 위한 필수적인 화학반응기이다. 예비개질기는 스택 전단에 설치함으로서 스택 내부의 열균형을 유지하고, 다양한 원료를 연료로 이용할 수 있도록 하며, 황화물로부터 후단의 개질촉매 및 전극촉매를 보호하여 주개질 반응의 부담을 감소시켜 MCFC 시스템의 내구성 향상의 중요한 역할을 한다. 본 연구는 예비개질 반응기 설계에 CFD 모델링을 적용하기에 앞서 파일롯 반응기 내 농도/ 온도 구배를 측정하고자 하는 목적으로 수행되었다. 반응가스로는 천연가스 내 고차탄화수소(C2 이상) 중 상대적으로 높은 농도를 가진 에탄을 이용하였고, MCFC용 예비개질기의 운전특성을 고려하여 비교적 낮은 온도와 높은 수증기/탄소 비에서 단열반응기로 실험을 진행하였다. 향후 본 실험결과를 이용하여 CFD 모델링에 대한 검증을 수행할 예정이며, 하수처리장부생가스(ADG)/ 매립지 가스(LFG)용 MCFC 시스템을 위한 예비개질기 설계에도 적용을 하고자 한다.