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

정보통신 기술의 발달로 근래에는 인터넷 방송 서비스가 활성화되었으며 누구든 자유롭게 방송을 제작하거나 청취할 수 있다. 이러한 인터넷 방송을 이용하기 위해서는 PC 를 이용하는 방법이 일반적이지만 오디오 서비스만을 이용할 경우 불편하다. 본 논문에서는 낮은 사양의 시스템에서 인터넷 방송을 청취하기 위한 하드웨어와 소프트웨어 설계 기법 그리고 효율적인 버퍼링 방법을 제안하였다. 제안된 시스템은 8 비트 마이크로 컨트롤러, 32KB 의 메모리, Hardwired TCP/IP Stack 그리고 Hardwired MP3 디코더를 이용하여 설계하였으며 각 작업간의 스케쥴링을 위하여 타이머 인터럽트를 이용하였다. 16KB의 메모리로 몇 가지 버퍼링 기법을 제안했다. 폴링 방식은 가장 보편적인 방법으로 데이터를 전송받는 작업과 음악을 재생하는 작업이 순차적으로 이루어진다. 이 방법은 데이터 전송과 음악 재생을 동시에 할 수 없기 때문에 타이머 인터럽트를 이용한 버퍼링 모델이 사용된다. 두 번째로 메모리를 두개의 블록으로 나누어 한 블록에는 데이터를 저장하고 다른 한 블록에는 데이터를 내보내는 '더블 버퍼링'을 제안했다. 세 번째는 메모리 블록을 여러 단계로 나눈'n-Queue 버퍼링' 기법을 제안했다. 마지막으로 네트워크 상황에 따라서 블록의 개수를 유동적으로 조절하는 '가변 길이 n-Queue 버퍼링' 기법을 제안했다. 이 방법은 네트워크 상황에 따라 메모리의 크기를 유동적으로 할당하기 때문에 메모리 사용률이 높아지는 장점이 있다. 본 논문에서 제안하는 시스템은 운영체제를 사용하지 않았기 때문에 TV 나 오디오 등 다른 시스템에 이식이 용이하므로 다양한 기기에 적용이 가능하다.

• Journal of Software Engineering Society
• /
• v.13 no.3
• /
• pp.45-54
• /
• 2000

실시간 시스템은 특정 시간 내에 요구하는 정보를 제공해주는 시스템이다. 즉 실시간 시스템에서 요구되는 시간을 충족하지 못할 경우 시스템의 신뢰도는 급격히 감소하며, 요구되는 시간의 범위를 넘어서서 제공되는 정보는 활용도와 가치에 있어서 거의 무의미하게 된다. 이러한 실시간 시스템의 성공적인 동작을 보장하기 위해서는 보다 정확한 시스템 설계가 중요하다. 특히 실시간 시스템에서 필요로 하는 여러 종류의 시간제약에 대한 풍부한 표현력과 명세 된 시간에 대한 검증이 중요하다. 본 논문은 특정 시점(time points)과 시간 간격(time intervals), 주기(period), 이산 시간(discrete time)으로 연속적인 시간(continuous time) 표현, 다수의 타이머에 의한 지역 시간과 전역시간 등의 시간 관련 동작을 ATM(Abstract Time Machine)을 기반으로 명세하고 명세하고 명세 된 시간에 대한 분석 방법을 살펴본다.

• Proceedings of the KIEE Conference
• /
• 2002.11a
• /
• pp.25-27
• /
• 2002

종래 가스절연개폐장치용 제어 패널은 아날로그 제어방식으로 제어 패널의 시퀀스 제어회로를 계전기, 스위치, 카운터, 타이머, 파이로트 램프, 경보 표시장치, 케이블 등을 이용하여 구현한다. 그래서 제어 패널 내부에 각종 계전품과 케이블이 많이 필요하게 되어서 복잡한 것이 단점이다. 또한, 시퀀스 제어회로의 수정이 필요하면 계전품, 배선을 수정해야 하므로 제어 패널의 유연성이 낮다. 이것을 디지털 제어 패널로 대체하면 아날로그 제어방식으로는 구현하기가 어렵거나 불가능한 기능들을 쉽게 구현할 수 있으며, 시퀀스 제어회로의 수정이 필요하면 종래에는 계전품, 결선을 수정해야 했으나 소프트웨어의 수정만으로 가능하여 제어 패널의 유연성이 향상되며 제어기의 내부가 PCB 보드로 되어 있어서 제어 패널의 유지보수성이 향상되며, 종래에는 계전품 케이블을 이용하여 구현한 기능들이 소프트웨어로 가능하게 되므로 제어 패널의 배선이 많이 축소되어 조립 작업성이 향상되고 원가절감이 가능하다. 원격 통신기능이 가능하여 SCADA/REMOTE와 통신으로 연결되어 변전소 종합자동화에 적합하다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.1434-1437
• /
• 2010

본 논문은 철강공정을 위한 미들웨어 구조를 제시하였다. 제안된 미들웨어는 커널 코어, 철강공정에 필요한 각 서비스 기능, 응용 소프트웨어와의 연결을 유지하는 채널 매니저, 응용 소프트웨어의 서비스 요구를 처리하는 API 핸들러, 미들웨어 사용 API로 구성된다. 제안된 미들웨어는 분산환경을 지원하며, 산업체에서 주로 사용되는 운영체제들을 지원하도록 구현하였다. 제안된 미들웨어에 대해 각 서비스의 성능이 측정되었으나, 지면상 본 논문에는 동기 메시지 서비스, 타이머 서비스의 성능만을 제시하였다. 또한 제안된 미들웨어를 철강공정 중 하나인 열간압연공정에 적용한 결과, 기존 상용 미들웨어를 사용한 환경에 비해 응답시간 성능이 30-35% 향상하였음을 보였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.33 no.4B
• /
• pp.165-173
• /
• 2008

In this paper, we propose a new reliable broadcast protocol referred to as timer-based reliable broadcast (TRB) for wireless sensor networks (WSNs). The proposed TRB scheme exploits (1) bitmap based explicit ACK to effectively reduce the unnecessary error control messages and (2) randomized timer for ACK transmission to substantially reduce the possibility of contentions. Although it has been argued that 100% reliability is not necessary in WSNs, there should be messages (such as mission-critical message, task assignment, software updates, etc.) that need to be reliably delivered to the entire sensor field. We propose to use the TRB algorithm for such cases. Performance evaluation shows that the TRB scheme achieves 100 % reliability significantly better than other schemes with expense of slightly increased energy consumption.

• Journal of Advanced Navigation Technology
• /
• v.25 no.4
• /
• pp.273-279
• /
• 2021

A flight control computer(FLCC) applied to an unmanned aerial vehicle(UAV) is a safety-critical item, and which is designed in a multiple structure to increase the reliability of operation by securing fault tolerance. These FLCC of multiple structure should be designed so that each independent processing/control components can perform the same operation at the same time. And for this reason, a synchronization algorithm for synchronizing the operation between FLCCs should be included in an operational flight program. In this paper, we propose a software design method for synchronization between dual FLCCs applied to UAVs. The proposed synchronization method is designed to synchronize using only the minimum hardware resources to reduce a failure rate. In addition, the proposed synchronization method is designed to minimized synchronization errors due to a timer operation by designing in consideration of operation characteristics of the hardware timer used for the synchronization.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.1753-1756
• /
• 2005

센서 네트워크 환경에서 센서 노드에게 가장 큰 이슈는 저전력이다. 이러한 센서 노드에서 저전력화를 제공하는 것은 하드웨어 뿐만 아니라 소프트웨어에서도 중요하다. 유휴 시간에 마이크로 컨트롤러가 활성 상태로 대기 하는 대신 마이크로 컨트롤러가 제공하는 파워 슬립 모드를 이용하여 모든 주변 장치의 전원을 차단함으로서 저전력을 실현할 수 있다. 그러나 빈번한 슬립 모드 진입은 오히려 더 많은 전력을 소비하기 때문에 슬립 모드로 들어가는 시기와 나오는 시기를 적절하게 제어 하는 것은 쉬운 일이 아니다. 그러므로 본 논문에서는 타이머 인터럽트를 활용하여 슬립 모드 제어 정책을 포함하는 컴포넌트 기반의 멀티 스레드 지원 센서 OS를 구현하였다. 코드 크기의 최적화로 성능 향상을 꾀하였으며, 이로서 전력 소비도 줄일 수 있다. 또한, 컴포넌트 기반의 구조는 다양한 하드웨어를 쉽게 지원할 수 있으며, 응용 분야에 따라 다양한 어플리케이션을 쉽게 제작할 수 있도록 설계하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.07a
• /
• pp.261-262
• /
• 2019

컨트롤러에 의해서 동작 및 운영되는 시스템들은 시스템의 내외부적인 요인으로 고장이 발생한 경우 정상적으로 작동할 수 없으며, 이 경우 2차 문제 발생 및 시스템 복구비용이 요구된다. 본 논문에서는 시스템 내부의 소프트웨어 오류 발생 시 컨트롤러 내의 감시 타이머를 사용하여 다운타임 시점 이전의 상태로 복구하는 알고리즘과, 하드웨어 오류의 경우 별도의 자동 리셋 기능을 통하여 시스템을 재설정하고 재 동작이 가능하도록 하는 기능을 구현한다. 제안 시스템은 시스템이 외부 지원 없이 자체적으로 반영구적인 동작이 가능하도록 함으로써, 시스템의 안정성과 신뢰성을 제공하고 운영 및 관리비용의 절감 효과를 제공한다.

• Journal of KIISE:Software and Applications
• /
• v.35 no.3
• /
• pp.149-161
• /
• 2008

As Programmable Logic Controllers(PLCs) are frequently used to implement real-time safety critical software, testing of PLC software is getting more important. We propose a structural testing technique on Function Block Diagram(FBD) which is one of the PLC programming languages. In order to test FBD networks, we define templates for function blocks including timer function blocks and propose an algorithm based on the templates to transform a unit FBD into a flowgraph. We generate test cases by applying existing testing techniques to the generated flowgraph. While the existing FBD testing technique do not consider infernal structure of FBD to generate test cases and can be applied only to FBD from which the specific intermediate model can be generated, this approach has advantages of systematic test case generation considering infernal structure of FBD and applicability to any FBD without regard to its intermediate format. Especially, the proposed method enables FBD networks including timer function blocks to be tested thoroughly. To demonstrate the effectiveness of the proposed method, we use trip logic of bistable processor of digital nuclear power plant protection systems which is being developed in Korea.

• Proceedings of the KIEE Conference
• /
• 1999.07b
• /
• pp.945-947
• /
• 1999

첨단의 자동화 시스템을 구축하기 위해서는 각 필드기기에서 생산되는 정보들을 적절한 형태로 가공하여 적시에 필요한 공정으로 제공하여 줄 수 있는 지능형 센서 및 필드기기의 도입이 필요하다. 이러한 필드기기들이 유기적으로 정보를 교환하고 공유하기 위해서는 통신망 시스템을 구축할 필요가 있다. 필드버스는 자동화 및 분산 제어 시스템의 컴퓨터 통신망 계층구조에서 최하위 계층 기기들 간에 실시간 통신을 제공하는 산업용 통신망이다. 본 연구에서는 통신용 프로세서인 Mc68360을 기반으로 하여 필드버스의 일종인 Profibus의 물리계층과 데이터링크계층 프로토콜을 구현하였다. 물리계층은 프로세서의 UART 통신 기능과 RS-485칩을 사용하여 구현하고, 데이터링크계층 프로토콜은 프레임 분석과 송수신, 에러처리, 흐름제어, 매체접속권한 관리 등의 기능을 소프트웨어로 구현하였다. 또한 지능형 센서 본래의 목적중의 하나인 원격관리 기능을 위하여 각 필드기기의 노드 주소, 타이머 값 등의 통신 파라미터를 원격 마스터에서 설정할 수 있도록 관리계층의 기능을 추가하였다. 본 연구에서는 각각 하나의 노드기능을 담당하는 여러 개의 보드들로 구성된 testbed를 구축하고, 다양한 통신환경에서 초기화, 정상, 비정상 상태 등의 동작을 실험하였으며, 이를 통하여 지능형 센서용 필드버스의 데이터링크계층 프로토콜이 정상적으로 동작됨을 확인하였다.