• 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 Acoustical Society of Korea Conference
• /
• 1998.06c
• /
• pp.269-272
• /
• 1998

본 논문에서는 스테레오 스피커를 통해 입체 음향을 재생할 때 발생하는 크로스 토크(corss talk)를 제거하기 위한 트랜스오럴 필터를 실시간으로 구현하였다. 실시간 처리를 위하여 일반적인 트랜스오럴 필터를 재구성하였으며, 범용 DSP(Digital Signal Processor) 칩인 TMS320C40을 사용하였다. 메인 프로그램은 C-언어를 이용하여 작성하였으며, 빠른 연산을 필요로 하는 컨벌루션 함수는 어셈블러 언어를 이용하여 최적화 하였다. 구현된 트랜스오럴 필터의 평가를 위해서 더미 헤드를 이용하여 녹음된 binaural 신호와 DSP를 이용하여 실시간으로 합성된 binaural 신호를 스테레오 스피커를 통해 재생하여 청취 실험하였다. 청취 실험한 결과 머리 밖에서 음상 정위가 이루어지고 공간감과 거리감은 헤드폰으로 청취할 때 보다 우수하게 나타났다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.2 no.2
• /
• pp.11-19
• /
• 1997

이 논문에서 우리는 결함허용 실시간 소프트웨어 설계를 위한 명세언어를 제안한다. 특히, 현재 가장 인기있는 소프트웨어 기법인 후향 오류 복구를 위한 명세언어로 N-modular redunduncy 나 voted-pairs 등에서도 사용가능하다. 지금까지의 명세 언어로는 시스템의 정상 개발 차원에서의 명세에서만 가능했다. 복잡함을 피하기 위해 객체 단위로 시스템을 이끌며, 명세서 작성시 주요한 부시스템 단위로 이 방법을 적용하면 명세 기술에 따른 오버헤드를 감소시킬 수 있다.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1997.11a
• /
• pp.383-394
• /
• 1997

이 논문에서 우리는 결함허용 실시간 소프트웨어 설계를 위한 명세언어를 제안한다. 특히, 현재 가장 인기있는 소프트웨어 기법인 후향 오류 복구를 위한 명세언어로 N-modular redunduncy나 voted-process pairs등에도 사용 가능하다. 지금까지의 명세 언어로서는 시스템의 정상 개발 차원에서의 명세만 가능했다. 그래서 본 논문에서는 시스템의 오류시에도 복구 가능한 논리 전달을 위한 명세를 제공한다. 복잡함을 피하기 위해 객체단위로 시스템을 이끌며, 명세서 작성시 주요한 부시스템 단위로 이 방법을 적용하면 명세 기술에 따른 오버헤드를 감소시킬 수 있다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.3
• /
• pp.795-810
• /
• 1998

현재, 컴퓨터를 사용하는 실시간 시스템의 응용분야에 대한 요구가 급속히 증가하고 있다. 그러나 이러한 실시간 시스템의 개발은 체계적인 접근방법이 부족하다는 이유로 더디게 진행되고 있다. 체계적인 접근방법의 하나는 실시간 시스템의 시간적인 특성과 기능적인 행동을 잘 추상화 해 줄 수 있는 좋은 모델을 사용하는 것이다. 지금까지 객체지향 개념에 기반한 많은 모델들이 개발되어 소개되고 있다. 그 중 UCI에서 개발된 TMO (Time-triggered Message-triggered Object) 모델은 위에서 언급한 요구사항을 잘 만족시켜 준다. [1]본 논문에서는 이러한 TMO 모델을 가장 잘 명세해 줄 수 있도록 해 주는 TMO 모델 명세언어인 C++T를 설계하고 이에 대해 상세히 기술한다. 또한, 이러한 C++T 명세를 기존의 언어인 C++로 번역해 줄 수 있는 C++T번역기를 설계하고 개발한다. 마지막으로, TMO 명세언어 C++T를 기반으로 한 TMO 통합개발환경에 대하여 소개한다.

• Annual Conference on Human and Language Technology
• /
• 1991.10a
• /
• pp.11-27
• /
• 1991

본 연구는 자연어의 실시간 기체 번역의 설계에 관한 것으로 반도체 메모리에 트랜스퍼 방식의 어휘 사전을 구성하고 어휘 정보 문법을 기본으로한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10b
• /
• pp.205-207
• /
• 2001

본 논문은 홈 네트워크 환경에서 스트리밍 데이터를 재생하는 MPEG-1 미디어 재생기를 구현한다. 이것은 실시간 운영체제인 내장형 리눅스 상에서 구현하였으며 실시간 응용 프로그램의 일관성과 호환성을 유지하기 위하여 자바 기반의 JNI 언어를 사용한다. JNI는 C언어와 같은 네이티브 코드와 자바 사이의 연동을 가능하게 하는 인터페이스이다. 이렇게 구현된 홈서버용 MPEG-1 미디어 재생기는 사용자에게 홈 네트워크 환경에서 홈서버에 저장되어 있는 멀티미디어 데이터 재생은 물론이고 외부에서 제공되는 멀티미디어 데이터를 실시간으로 서비스 받을 수 있도록 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.263-265
• /
• 2000

휴대용 무선 장비의 보급으로 많은 사용자들이 좀 더 많은 컨텐츠를 요구를 하게 될 것이다. 서비스 공급업체는 좀 더 많은 무선 컨텐츠를 개발해야 할 것이다. 서비스 업체는 기존의 인터넷 컨텐츠의 근간을 이루는 언어인 HTML을 무시하고 무선 인터넷 언어인 WML로 컨텐츠를 새롭게 개발할 경우, 엄청나게 많은 시간과 비용을 소비해야 할 것이다. 이에 본 논문은 기존의 HTML 컨텐츠를 무선 인터넷 언어인 WML로 실시간 변환하는 컨텐츠 변환기를 설계하고 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.403-405
• /
• 1999

실시간 시스템에서 프로그램의 실행시간을 예측하는 것은 중요한 일이다. 기존의 언어에서는 실행시간은 예측하기에 힘든 요소들이 있다. Timing-C는 이러한 요소를 제거하고 사용자로부터 시간 제약을 입력받을 수 있도록 하였다. Timing-C언어를 이용하여 실시간 프로그램밍을 하기 위해 작성한 프로그램이 시간제약을 준수하고 있는지 알기 위해 시간 분석 도구가 필요하다. 시간 분석 도구는 작성된 프로그램의 실행시간을 제한하여 사용자에게예측된 결과를 알려주는 도구이다. 개발자는 이러한 도구를 이용하여 작성하고 있는 프로그램의 수행시간을 더욱 정확하게 예측할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.596-598
• /
• 1999

본 논문은 UML-RT 도구로서 GCSR(Graphical Communicating Shared Resource)를 제안하는데 있어UML의 기본 다이아그램 중 하나인 Statechart와 비교 분석함으로 그 기능과 장.단점을 제시한다. 기존의 정형 명세 언어인 Statechart에서는 실시간 시스템이 명세에 있어 필수적인 시간적인 개념과 우선순위 개념이 제한적이다. 그러나 정형명세의 또 다른 언어인 GCSR이 가진 시간적 개념과 우선순위 개념의 효용을 보이고 이를 Statechart의 실시간 시스템의 명세와 비교함으로 UML-RT로서의 GCSR을 제안한다.