• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.97-99
• /
• 2003

얼마전까지 실시간 응용 프로그래밍은 대부분 c 언어를 사용하여 구현되어 왔다. 1997 년까지만 해도 자바 언어를 사용한 실시간 응용프로그램의 개발은 불가능해 보였으나, 현재는 하드웨어적으로 구현된 자바 해석기와 가비지 컬렉션을 제외한 통합 시스템 그리고 실시간 특징들을 포함하는 자바 프로세서의 등장으로 인하여 자바 언어를 이용한 실시간 응용프로그램 개발이 가능하게 되었고 이로 인해 그 연구 또한 활발하게 진행되고 있다. 이에 본 논문은최근 각광받고 있는 임베디드 디바이스용 MIDP(Mobile Information Device Profile)의 태스크 스케쥴링 부문에 실시간 개념을 도입하여 설계 및 구현한 논문이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.835-837
• /
• 2005

컴퓨터 산업의 빠른 발전과 더불어 근래에는 임베디드 시스템 분야가 빠르게 성장하고 있다. 이전에 작고 단순하던 임베디드 시스템이 산업의 발전과 사용자의 다양한 요구로 운영체제의 필요성이 높아지고 운영체제하에서 관리하는 실시간 프로세스들의 크기와 복잡도가 빠르게 증가하고 있다. 본 논문에서는 분산 실시간 객체 모델인 TMO-MicroC/OS-II의 실시간 스케줄러의 설계와 구현 방법을 기술하였다. TMO-MicroC/OS-II는 $Micrium^{TM}$에서 개발한 임베디드 OS인 MicroC/OS-II에 분산실시간 객체 모델인 TMO를 적용시킨 것이다. TMO (Time-triggered Message-triggered Object)는 시간조건에 의해 구동되는 객체 내의 실시간 스레드들의 동적 맴버들로 구성되는 프로그래밍 페러다임으로 본 논문에서는 TMO모델 적용을 위한 Deadline-driven 스케줄러 구현에 대해서 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.340-342
• /
• 2001

상위의 타입 구조를 갖춘 (higher-order and typed) nML을 고안하고 그 컴파일러를 개발하였다. nML은 프로그래밍 언어 분야의 중요한 성과들을 충실히 실현한 언어로서, Standard ML과 Objective Caml 장점과 실제 프로그래밍 세계의 관성을 염두에 두고 정의되었다. nML 컴파일러의 실용성과 안전성은 이미 여러 응용 시스템 소프트웨어의 개발로 실험되고 있다. 이 전통적인 컴파일러 시스템에 본 연구단의 프로그램 분석기술들이 장착되면서, 실시간 안전성 검증이 가능하고, 작고, 자발적인 적응력 있는 코드를 만들어내는 컴파일러로 발전하는 발판이 마련되었다.

• The Journal of Korean Association of Computer Education
• /
• v.19 no.6
• /
• pp.91-103
• /
• 2016

In Korea, pre-service teachers' negative attitude toward robots keep them from being applied in schools. To cope with these obstacles, this study examines the change of pre-service teachers' attitude toward robots after adopting robot programming. To prove the program's effect, pre-service teachers were divided into three groups, including each group taking pre-and post-tests. After analyzing the pre-tests, none of the groups showed any difference; however, they did show significant differences in the post-tests. A paired sample t-test was conducted in each group for investigating the change. Those who took ICT and programming education did not show a change. However, those who took robot programming education did show a statistically significant difference.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.616-618
• /
• 2005

본 논문은 적외선 리모트 컨트롤러로 제어가 가능한 가정용 소형 로봇인 $Robosapien^{TM}$을 홈 네트워크 제어를 위한 홈 서버를 통해 직접 제어할 수 있는 제어 소프트웨어를 개발하였다. 또한 $Robosapien^{TM}$의 연속적인 동작을 쉽게 프로그래밍하고 실행시킬 수 인터프리터 (interpreter)의 세부 구현내용을 기술하였다. 본 구현은 컴퓨터 프로그래밍의 개념 정립이 부족한 일반 사용자나 컴퓨터 프로그밍에 관심이 많은 학생들이 쉽게 프로그래밍 할 수 있는 비주얼 프로그래밍 도구를 개발하였다. 특히 구현 시 필요한 구성 요소 및 기능을 설계하고 사용자의 편의성을 고려한 편리한 GUI(Graphical User Interface)의 구현에 중점을 두었다. 본 비주얼 프로그래밍 도구는 가정의 데스크톱 PC뿐만 아니라, 실외에서 PDA와 같은 소형 이동단말기를 이용하여 원격으로 가정의 홈 서버에 접속하여 $Robosapien^{TM}$의 동작을 실시간으로 제어할 수 있으며 가정의 웹 카메라를 통하여 $Robosapien^{TM}$이 정확하게 동작하고 있는지를 원격으로 확인할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.586-588
• /
• 2004

최근 유비쿼터스 컴퓨팅의 핵심인 센서 네트워크에 많은 관심이 집중되고 있다 센서 네트워크를 구성하는 요소 중 센서노드에 탑재되는 운영체제의 경우, 제한된 컴퓨팅 자원을 가지는 센서 네트워크의 특성상 효율성, 초경량성, 실시간성, 병렬성, 이벤트 기반, 저전력, 재사용성, 프로그래밍 용이성, 그리고 이식성과 같은 요구사항들을 가진다. 본 논문에서는 이러한 요구사항들을 기반으로 (1) 유한상태기계(finite state machine)에 기반 한 컴포넌트 소프트웨어 모델을 정의하고, (2) 이러한 컴포넌트를 효과적으로 수행시킬 수 있는 실시간 운영체제를 제안한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.6
• /
• pp.620-627
• /
• 2000

실시간 프로그램은 다양한 응용분야에 중요하게 이용되고 있는데, 기존의 일반 언어는 시간적인 개념을 고려하여 설계하지 않았으므로 실시간 응용에 부적합하며, 이를 해결하기 위한 실시간 언어는 시간 개념을 표현하기 위하여 많은 문법이 추가되어 기존 프로그래머에 익숙치 못한 결점이 있다. 본 연구에서는 기존의 C언어에 익숙한 프로그래머들이 저항감 없이 실시간 프로그래밍을 할 수 있는 언어를 설계하고 구현한다. 이 구현에서는 시간 트리를 이용함으로써 원시 언어와 목적 언어의 연결이 가능하며, 정적 분석을 이용한 결과를 코드 생성에 이용함으로써 외부적인 타이머 없이 시간적인 사건의 처리가 가능하다.

• 한국정보교육학회:학술대회논문집
• /
• 2008.01a
• /
• pp.123-128
• /
• 2008

1960년대 후반에 미국MIT대학의 인공지능 실험실에서 Seymour Papert와 그의 동료들에 의해 개발된 LOGO프로그래밍 언어학습이 초등학생의 창의성 발달에 미치는 영향을 연구하고자 하였다. 그래서 LOGO프로그래밍 언어는 MSWLogo를 초등학교 5학년을 대상으로 주 2회 20차시 학습을 하고 창의성 검사는 TORRANCE TTCT(도형)을 활용하여 실시했으며, 창의성 전체요인과 세부항목에 미치는 영향을 분석하였다. 그 결과를 요약하면 다음과 같다. 첫째, LOGO프로그래밍 언어 학습 활동이 창의성 발달에 효과적인 것으로 보인다. 둘째, LOGO프로그래밍 언어가 세부항목인 유창성, 독창성, 추상성, 정교성, 저항요인 향상에 영향을 미치는 것으로 나타났다. 셋째, 실험집단 내 남학생과 여학생간의 창의성 발달에 기여하는 정도는 동일한 것으로 나타났다. 이상의 연구 결과를 종합해 볼 때 LOGO프로그래밍 언어가 아동의 두뇌 활동을 자극하여 창의성 발달에 유용한 것으로 사료된다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2010.07a
• /
• pp.457-462
• /
• 2010

본 연구는 학습자의 인지발달 단계에 적합한 프로그래밍 언어를 활용하여 모든 학문의 기초 인지 능력인 학습자의 정보과학적 사고 능력을 향상에 미치는 효과를 검증하는 실험연구이다. 과중한 인지적 부담, 문법 위주 등 기존 프로그래밍 학습의 문제점을 보완하고자 등장한 교육용 로봇을 이용하여 실생활 문제해결의 정보과학적 사고능력 향상을 위한 텍스트기반 프로그래밍 언어(TPL)와 비주얼기반의 프로그래밍 언어(VPL) 중 인문계 고등학생의 인지발달 단계에 적합한 프로그래밍 언어에 대한 효과성을 분석하였다. 교육용 로봇 및 로봇 프로그래밍 언어에 대한 선행 연구를 통해 NXT Robot Educator 교육내용을 분석하고 각 단계에 적절한 실생활 과제를 추출하여 로봇 교육용 프로그램을 개발하고 적용하였다. 이 연구는 프로그래밍을 경험이 없는 인문계 고등학교 학생 집단을 선정하여 TPL과 VPL을 활용한 로봇 프로그래밍 수업을 20차시 실시한 후 두 집단 간의 정보과학적 사고능력 향상의 차이를 검증하였다.

• The KIPS Transactions:PartA
• /
• v.13A no.6 s.103
• /
• pp.481-488
• /
• 2006

FRP(Functional Reactive Programming) is a kind of embedded language in Haskell, it declaratively program reactive system based on two essential high-order types named behavior and events. This Paper design and implementation RT-FRP(Real-time Functional Reactive Programming) translator for using FRP in embedded systems with many constraints. The RT-FRP translator generates a C Program from an RT-FRP program according to the operational semantics of the RT-FRP language. To show the effectiveness of the RT-FRP translator, we loaded and executed the test program generated by the translator onto a real embedded system, LEGO Mindstorm. According to the experimental result, the reactive system software can be programmed more concisely using RT-FRP than using an imperative counter part although the size of the binary code is rather increased.