• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2010년도 춘계 종합학술대회 논문집
• /
• pp.362-365
• /
• 2010

실시간 운영체제 iRTOS는 타이머의 관리 기법으로 시간결정성을 위한 델타 프로세싱을 사용하고 있다. 델타 프로세싱은 타이머들 사이의 시간차로써 타이머를 관리하기 때문에 타이머의 삽입 시 해당 타이머가 삽입 될 위치를 찾는 데 있어 오버헤드가 발생한다. 이 오버헤드를 줄이기 위한 방법으로 타이머들 간의 상대적인 시간이 아닌 각 타이머의 절대적인 시간으로써 타이머들을 관리하는 방법이 있다. 본 논문에서는 절대적인 시간을 이용하여 타이머들을 관리하는 기법인 타이밍 휠을 설계 및 구현하였다.

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

임베디드 시스템 구성 요소 중 가장 빈번하게 사용되는 디바이스들 중의 하나로 타이머를 들 수 있다. 대부분의 임베디드 시스템 MCU 들은 3~5 개의 타이머를 제공하므로 설정시간 별로 독립된 타이머를 할당하여 구현할 수 있다. 그러나 TDMA 기반 무선 통신 프로토콜 등과 같이 10 개 이상의 타이머를 필요로 하는 경우가 있는데, 이런 경우에는 하나의 물리적 타이머에 여러 개의 논리적 타이머를 구현해야 한다. 이 때, 논리적 타이머들 사이에 물리적 타이머의 분해능에 따른 오차가 존재하여 시간 동기화 오차를 유발하는 원인이 된다. 이 논문에서는 이러한 논리적 타이머 사이에 존재하는 오차를 자세하게 분석하여 제기하고, 이를 극복하는 방안을 모색한다.

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

EJB(Enterprise Java Beans)는 웹 응용 서버 스펙인 J2EE(Java2 Enterprise Edition)의 핵심으로서, 비즈니스 업무를 웹 환경에서 컴포넌트 형태로 작성하여 재 사용성을 높이기 위한 서버 측 컴포넌트 프로그래밍 모델이다. EJB 2.1에서는 기존 EJB 2.0에 기술된 기능 이외에 웹 서비스, 타이머 서비스, EJB QL 업그레이드 등의 기능을 추가하였다. 타이머 서비스는 지정된 시간마다 EJB 빈의 특정 함수를 호출하는 기능이다. 또한, 타이머 서비스는 트랜잭션과 연관된 경우 해당 트랜잭션 컨텍스트(context) 내에서 타이머의 롤백(rollback)을 지원해야 하며, 시스템의 고장 후 재시작 시에 기존 타이머의 복구 기능을 지원해야 한다. 본 논문에서는 EJB 스펙 2.1에서 제시한 타이머 서비스의 요구 사항에 대해 알아보고, ETRI 에서 개발한 E504 EJB 서버에서 타이머 서비스를 구현한 방법에 대해 논의한다.

• 한국컴퓨터정보학회논문지
• /
• 제18권7호
• /
• pp.47-55
• /
• 2013

임베디드 시스템에 구현되는 대부분의 어플리케이션들은 MCU가 제공하는 타이머를 사용한다. 타이머 사용의 목적은 실시간 운영체제의 소프트웨어 타이머 구현에서부터 센서의 워밍업이나 처리의 경과 시간 측정 등에 이르기까지 다양하다. 이들어플리케이션들이의시간측정은그길이뿐만아니라정밀도측면에서수us~수백ms 정도로 그 범위가 다양하다. 이 논문에서는 타이머를 활용하는 과정에서 클록 펄스 비동기화로 인해 발생할 수 있는 오차 요인을 분석하고, 이러한 오차를 감소시키기 위한 타이머 클록 펄스 동기화 방안을 제시한다. 실험 결과, 32768Hz의 타이머를 8 분주한 4096Hz 타이머의 경우 약 230us까지의 편차가 발생하지만, 제안된 방법을 적용하면 타이머로 인한 편차를 10us 이내로 유지할 수 있다.

• 한국정보과학회논문지:정보통신
• /
• 제27권4호
• /
• pp.482-488
• /
• 2000

프로토콜 검증에 있어서 reachability analysis를 사용하는 방법은 널리 알려지고 많이 사용되는 방법이다. Reachability analysis를 통한 검증 방법에 있어서는 프로토콜의 동작을 나타내는 reachability graph의 생성이 중요하다. 그러나 시간이 관련되는 경우 발생하는 상태 수 폭증또는 시간의 실수적 성질의 문제가 있어서 reachability graph의 생성에 큰 장애가 되어왔다. 실시간 시스템이나 프로토콜에 있어서 타이머는 대기 시간의 한계를 지정하거나 일정한 시간간격을 시스템에 알릴 수 있도록 하는 등 시간의 상대적 기준점으로 사용되며 이외에도 여러 가지 용도로 타이머를 사용하게 되어 프로토콜을 모델링하는데 있어서 타이머는 불가결하다. 본 논문에서는 타이머를 모델링하지 못하며 통신 프로토콜과 그 환경을 모델링하는데 적절치 못하던 기존의 방법과 달리 타이머를 포함하며 통신 프로토콜과 그환경을 적절히 표현할 수 있도록 시스템을 기술하는 방법과 함께 상대적 시간 개념으로 천이와 타이머를 다루는 방법을 통해서 시간개념과 타이머가 들어있는 프로토콜의 reachability graph를 유도하는 방법을 제안하였다. 제안한 방법을 통해서 기존방법으로는 찾아낼수 없었던 시스템의 오류를 찾아낼 수 있었다. 이를 통해 보다 실제 프로토콜에 가깝에 모델링하고 검증할 수 있는 기반을 마련하고 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.170-172
• /
• 1999

본 논문은 실시간 시스템에서 중요한 요소인 타이머 운용에 관련된 방법중 Linux를 위한 접근 방법을 분석한다. 현재 표준 PC는 ISA 버스와 연결된 8254 프로그래머를 카운터를 통해 시스템의 시각부분을 처리하고 있다. 이 경우 ISA 버스의 특성상 10us (in PentiumPro 200MHz) 정도 소요시간을 가지게 된다. 보다 높은 microsec 수준의 실시간성을 요구하는 경우 이러한 근원적 시각처리 방안을 개선함은 필수적인 요소이다. 이를 위해 리눅스에 적용 가능한 타이머 운용방안 들로서 표준 8254 타이머, 펜티엄 프로세서의 TSC 이용방법 및 Intel SMP 보드의 APIC 타이머에 의한 방법들을 비교 분석하였다.

• ESCO지
• /
• 통권13호
• /
• pp.32-33
• /
• 2001

헤라타이머는 기존 전자식 타이머가 갖고 있는 복잡한 입력방식을 지양하고 현재 널리 쓰이는 기계식의 단순함을 극복해 사용자들이 시계를 보듯 예약상태를 쉽게 확인할 수 있는 발명특허 제품이다. 아울러 버튼 조작횟수가 기존 타이머에 비해 1/2로 적고 사용설명서가 따로 없어도 될만큼 쉽기 때문에 획기적이다.

• 한국산업정보학회논문지
• /
• 제24권4호
• /
• pp.9-19
• /
• 2019

경량 임베디드 디바이스가 저전력 네트워킹뿐만 아니라 고정밀 센서 데이터 획득과 같은 영역에서 널리 활용되면서 소프트웨어 타이머에 대한 높은 시간정확성이 요구된다. 이 논문은 경량 MCU(Micro controller unit)를 장착한 임베디드 디바이스 환경에서 소프트웨어 타이머의 정확성 문제를 다룬다. 먼저, 소프트웨어 타이머의 전형적 구현 모델을 구현할 때 오차를 발생시키는 주요 오버헤드의 유형을 면밀히 분석한 후에 실제 환경에서 오버헤드를 측정한다. 이 오버헤드를 타이머 설정주기에 반영하는 오버헤드 보정 기법을 통해 소프트웨어 타이머의 정확성을 향상시킬 수 있다는 점을 검증한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.619-621
• /
• 2004

실시간 운영 체제(Real-Time Operating Systems)는 시스템 동작이 논리적 정확성뿐만 아니라 시간적 정확성에도 좌우되는 운영 체제이다. 시간적 정확성은 결정성(Determinism)이라고도 하며 이를 지키기 위해서는 실시간 운영체제의 제약조건의 하나인 시스템 예측성을 만족해야만 한다. 예측성이란 시스템의 서비스가 정해진 시간 안에 완료되는지를 판별할 수 있다는 것으로 정확하게 동작하는 타이머가 꼭 필요하다. 본 논문에서는 타임 슬롯을 이용해서 타이머의 활성화, 비활성화 루틴을 간단하게 하고 타이머가 만료(Expire)되었음을 간단하게 판별해 낼 수 있는 소프트 타이머를 설계 및 구현하였다

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2002년도 춘계학술발표논문집(상)
• /
• pp.10-15
• /
• 2002

확장된 마크흐름선도(EMFG : Extended Mark Flow Graph)는 시스템의 동시성이나 병렬성을 잘 표현할 수 있는 방향성 그래프이다. 이를 이용하여 시스템을 모델링하면 개념설계가 가능하고, 상세 동작분석이 용이해짐으로 이산제어시스템이나 시퀀스 제어회로등을 설계할 때 사용될 수 있는 도구이다. 기존 EMFG에서는 타이머에 대한 표기 방법이 미비하여 타이머를 많이 사용하는 분야인 시퀀스제어 설계 및 릴레이 회로의 표현에는 많은 어려움이 있다. 본 논문에서는 타이머 릴레이들의 동작에 대하여 생성지연-소멸 트랜지션, 생성-소멸지연 트랜지션과같이 이중바로 표기된 새로운 트랜지션을 도입하였다. 새로운 트랜지션을 이용하면 타이머들의 동작을 분명하게 표현할 뿐만 아니라 EMFG의 표현을 알고리듬할 수 있다. 그러므로 복잡한 시스템을 모델링할 때 제안된 트랜지션을 이용하면 효율적인 모델링을 할 수 있다.