• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2000년도 추계학술대회 논문집
• /
• pp.198-203
• /
• 2000

NRCL(NaRae Hardware Control Language)은 C++ 기반의 산업용 객체 지향 실시간 언어이다. NRCL은 멀티태스킹이 가능하며, 이벤트 위주(Event-Driven) 방식의 가벼운 언어이다. 언어를 가볍게 만들기 위해 NRCL은 태스크를 최소 단위의 객체(컴포넌트)로 정의하였으며, 스케줄러(메시지 처리기)를 통해 우선 순위 방식으로 태스크들을 활성화시킨다. 본 논문에서는 효율적인 실시간 시뮬레이터 작성을 위한 객체지향 실시간 언어 NRCL을 제안하고, NRCL을 통한 재사용성, 이식성, 확장성, 유지 보수성을 보인다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 추계학술발표대회
• /
• pp.1022-1025
• /
• 2013

소프트웨어 개발자는 예전과 같이 PC 나 서버에서만 동작하는 소프트웨어만 만들어야 하는 것이 아니고, 스마트폰, 스마트패드, 스마트 TV, 스마트워치 등 개발해야 하는 플랫폼의 종류가 기하급수적으로 늘고 있다. 그러나 비용문제, 과열된 스타트업 시장으로 인한 채용문제로, 개발 초기 시 클라이언트, 네트워크, 데이터베이스에 숙련된 개발자를 충분히 보유하고 시작하는 경우는 드물다. 본 논문은 HTML 서비스, 실시간 네트워킹, 데이터베이스 CRUD를 지원하는 초보자도 사용하기 쉬운 새로운 언어를 소개한다. 우리는 언어 요구사항, 언어 산출물의 정의를 통하여 언어의 설계 및 구현을 한다. 실제로 실시간 네트워크 서버를 우리의 언어로 제작한 사례 연구를 통하여 우리의 언어가 우수하고 개발자의 노력대비 결과가 좋음을 보인다. 추후 이 언어를 활용하여 게임, 채팅 어플리케이션, 실시간 모니터링 등 특정 도메인에 맞는 어플리케이션을 개발자가 쉽게 작성할 수 있을 것이다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권6호
• /
• pp.620-627
• /
• 2000

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

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

원자력 발전소 안전계통이나 의료 시스템과 같은 실시간 내장형 시스템의 설계는 그 안전성을 분석하기 위한 정형 명세가 요구된다. 이러한 실시간 내장형 시스템이 명세를 위해 본 논문에서는 Statecharts를 확장하여 시간적 명세 및 분석에 용이하고 하드웨어/소프트웨어 통할 설계에 유리한 언어를 제시한다. 그리고 그 언어의 특징을 보일 수 있는 프로토콜 예제를 제시하고 기존의 잘 알려진 언어와 비교 분석함으로 실시간 명세 능력을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.268-270
• /
• 2003

원자력 발전소 안전계통이나 의료 시스템과 같은 실시간 내장형 시스템의 설계는 그 안전성을 분석하기 위한 정형 명세가 요구된다. 이러한 실시간 내장형 시스템이 명세를 위해 본 논문에서는 Statecharts를 확장하여 시간적 명세 및 분석에 용이하고 하드웨어/소프트웨어 통합 설계에 유리한 언어를 제시한다. 그리고 그 언어의 의미론을 기술하고, SyncCharts라는 정형명세 언어로 그 행위의 의미론을 부여한다. 이렇게 하여 기존의 Statecharts를 실시간 내장형 시스템에 적합하도록 수정하고 그 의미론을 부여한다.

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

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

• 전기의세계
• /
• 제37권4호
• /
• pp.12-18
• /
• 1988

본 소고에서는 실시간 시스템 구현에 소요되는 실시간 운영체제 및 실시간 언어에 대한 개략적인 사항을 기술한 후, 실제적인 응용 프로그램의 예를 들어 실시간 시스템의 이해를 돕도록 하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권4호
• /
• pp.423-429
• /
• 2002

실시간 프로그래밍에 있어 타임아웃 기능은 매우 중요한 기본적인 기능 중 하나이다. 그러나 내장 실시간 시스템에서 가장 많이 사용하는 C 언어에서는 타임아웃 기능을 지원하지 않는다. 그래서 C언어에서 실시간 프로그래밍 환경을 제공하기 위해 언어 자체를 확장하거나 실시간 엔진(또는 커널)을 지원하는 연구들이 있었다. 그러나 이것은 특정 실시간 커널과 컴파일러가 필요하다는 문제점을 갖고 있다. 본 논문에서는 운영체제에 최소한의 의존성을 갖고 라이브러리와 매크로 함수만으로 C 언어에서 타임아웃 기능을 제공한다. 또한 개발자가 편리하게 타임아웃 기능을 사용할 수 있도록 매크로 정의를 통해 구조화된 _within 문장을 제공한다. 이 기능은 리눅스의 단일 쓰레드 환경과 도스 환경뿐만 아니라 다중 쓰레드 환경인 POSIX 쓰레드에서도 구현하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 추계학술발표논문집(상)
• /
• pp.267-270
• /
• 2004

실시간 운영체제는 임베디드 환경에서 매우 중요한 소프트웨어 컴포넌트이다. 임베디드 실시간 운영체제는 고안전성 시스템이나 유비쿼터스 시스템 내에서 강하고(Robust), 신뢰성(Reliable)있고, 안전한(Safety) 특성을 지녀야 한다. 근래에는 이러한 실시간 시스템을 UML 과 같은 모델 기반의 방법으로 설계하고 코드 생성을 통해 구현까지 이끄는 모델 유도 공학(Model Driven Engineering: MDE)[1]을 통해서 개발하고 있다. 이러한 MDE 의 모델은 대부분 UML 기반의 언어를 사용하여 아키텍처를 구성하고 설계하여 코드를 생성하여 구현 코드를 생성해 낸다. 본 논문에서는 이러한 MDE 의 비정형적 언어를 대신하여, 정형명세 언어를 사용하여 실시간 시스템의 모델을 설계하고 이를 검증하여 실시간 운영체제를 개발하는 방법론을 기술한다. 이렇게 함으로써 보다 엄격한 언어를 통해 시스템의 설계의 모호함이나 모순을 없애고, 수학적 기반의 검증을 통해 보다 안전하고 신뢰성 있는 시스템을 구현하자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 춘계학술발표대회
• /
• pp.461-464
• /
• 2005

본 논문에서는 실시간 반응형 로봇의 행위를 지정하기에 적합한 에이전트 언어를 소개한다. 기존의 BDI 기반의 에이전트 언어를 기반으로 실시간 반응형 로봇의 행위를 지정하는데 적합하도록 개발한 VivAce 에이전트 구조에 대해서 설명하고 이를 이용한 간단한 시뮬레이션을 수행하였다. 또한 VivAce 가 기존의 BDI 에이전트 언어에 비해서 가지는 새로운 특징인 자바 네이티브 언어 지원, 쓰레드 기반의 계획 실행, 다양한 인터페이스를 소개한다.