• 제목/요약/키워드: Real-time OS

검색결과 245건 처리시간 0.032초

정형기법을 이용한 PLC RTOS 검증 (PLC Real Time OS Verification & Validation in Formal Methods)

  • 최창호;송승환;윤동화;황성재
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2005년도 제36회 하계학술대회 논문집 D
    • /
    • pp.2489-2491
    • /
    • 2005
  • Currently, Programmable Logic Contorller(PLC) uses Real Time Operation System(RTOS) as basic OS. RTOS executes defined results as to defined time. General features of RTOS emphasize the priority in each task, high-speed process of external interrupt, task scheduling, synchronization in task, the limitation of memory capacity. For safety critical placement, PLC software needs Verification and Validation(V&V). For example, nuclear power plant. In this paper, PLC RTOS is verified by formal methods. Particularly, formal method V&V uses verification tool called 'STATEMATE', and shows the results.

  • PDF

uC/OS-II를 이용한 DC 모터의 실시간 분산 시스템 제어 (A Implementation of Distributed Microsystem for DC Servo using uC/OS-II)

  • 이윤희;김태강;이건영
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2002년도 하계학술대회 논문집 D
    • /
    • pp.2415-2417
    • /
    • 2002
  • In this paper, we discuss about the real-time distributed system for the control of to motors using uCOS-II kernel. Real-time kernel needs to process the tasks for two motors in desired time to synchronize motion. We used both semaphore and message mail box for synchronization. In the previous study, we used step motors for the actuator of two axes robot, but could not draw a clear line because of motor resolution and synchronizing step pulse. To resolve the problem we rebuilt the transfer robot with DC motors and the dedicated position servor which had built in out lab. Moreover we developed the PC based graphic user interface for generating planar drawing image control. Experimental results also presented to show the proposed control system is useful.

  • PDF

스마트 모바일 지원을 위한 HTML5 기반의 사례관리 실시간 커뮤니티 시스템 개발 (Smart mobile support for HTML5-based real-time Community Case Management System Development)

  • 이봉수;김봉한;오동식
    • 디지털융복합연구
    • /
    • 제10권10호
    • /
    • pp.289-294
    • /
    • 2012
  • 본 논문에서는 스마트폰의 모바일 특성을 활용하여 시간과 공간의 제약 없이 서비스할 수 있고, 기존의 오프라인에서 이루어지던 다양한 서비스들이 모바일에서도 구현될 수 있는 사례관리 실시간 커뮤니티 시스템을 연구하여 개발하였다. 이를 위하여 일반 PC/노트북이외에 스마트모바일까지 동일한 환경 제공을 위한 HTML5 웹 전환과 동일한 Network 상의, 장치별 브라우저 Size를 고려한 최적의 인터페이스 구성하여 차세대 웹표준 HTML5기반 통합사례관리 웹과 모바일 웹으로 구현하였으며, 다양한 종류의 스마트기기 OS를 지원하는 SenchaTouch Mobile Framework 기반의 Hybrid App 개발하여 서버 간 실시간 동기화 및 메시지 Push Notification 기능 구현을 통하여 관리자와 보호자 간 대상자 실시간 양방향 커뮤니케이션 구현하여 실시간 사례관리 커뮤니티 시스템을 구현하였다.

실시간 정보처리 시스템 구축 및 성능 검증 (The Implementation and Performance Testing of Real Time Information Processing System)

  • 정윤석;김인수;김태완;김기천;장천현
    • 정보처리학회논문지A
    • /
    • 제8A권4호
    • /
    • pp.353-358
    • /
    • 2001
  • 시스템 처리용량의 증가로 과거 메인프레임이 처리하던 작업을 PC가 처리할 수 있게 되었다. 특히 산업계에서는 기존의 메인프레임을 PC급으로 전환하면서 PC급 시스템에서 실시간성을 보장하는 실시간 정보처리와 실시간 정보감시를 위한 실시간 모니터링 기능이 요구되고 있다. 그러나 실시간성의 보장을 위해서는 실시간 기능의 추가 및 이에 대한 검증이 필요하다. 본 논문은 이러한 실시간성의 요구를 충족시키기 위해 실시간성을 제공할 수 있는 시스템의 구축과 이에 대한 성능 검증을 목적으로 한다. 또한 실시간 정보감시를 위해 웹기반의 실시간 모니터링 시스템을 구축하는 것을 목적으로 한다.

  • PDF

임베디드 시스템에서 프로세스 기반 소프트웨어를 쓰레드 기반으로 전환시 재사용성 측정 (Measuring Software Reusability when converting process-based software to thread-based RTOS software on Embedded System)

  • 경보현;최혁승;박정형
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2004년도 학술대회 논문집 정보 및 제어부문
    • /
    • pp.400-402
    • /
    • 2004
  • 정보 가전 분야에 있어서 급속한 기술 발전으로 인해 하루가 다르게 새로운 기능이 추가됨에 따라 임베디드 시스템 소프트웨어의 크기 및 복잡도 또한 함께 증가하고 있고 이를 개발하고 유지보수 하는데 있어서도 막대한 비용과 노력이 요구된다. 이를 해결하기 위한 방안으로 소프트웨어의 재사용성을 높이기 위한 노력이 이어지고 있다. 본 논문에서는 프로세스 방식 기반의 OS를 적용한 소프트웨어를 스레드 방식의 OS 기반의 소프트웨어로 전환하여 임베디드 시스템을 구현하였으며 소프트웨어 방법론으로는 스레드 방식의 OS 기반 소프트웨어에 수정된 DARTS(Design Approach to Real- Time Systems) 방법론을 적용하여 시스템을 구현하였다. 이 구현된 시스템에서 재사용성을 측정하여 표로 제시하며 그 측정 결과를 분석하였다. 그리고 스레드 방식의 OS 기반 소프트웨어에 수정된 DARTS 방법론을 적응하여 코드만 재사용이 아니라 설계방법도 재사용이 가능함을 CE 제품에 보이고자 한다.

  • PDF

OSEK/VDX 표준과 CAN 프로토콜을 사용한 차체 네트웍 시스템 개발 (Development of a Body Network System with GSEK/VDX Standards and CAN Protocol)

  • 신민석;이우택;선우명호;한석영
    • 한국자동차공학회논문집
    • /
    • 제10권4호
    • /
    • pp.175-180
    • /
    • 2002
  • In order to satisfy the requirements of time reduction and cost saving for development of electronic control systems(ECU) in automotive industry, the applications of a standardized real-time operating system(RTOS) and a communication protocol to ECUs are increased. In this study, a body control module(BCM) that employs OSEK/VDX(open system and corresponding interfaces for automotive electronics/vehicle distributed executive) OS tour the RTOS and a controller area network(CAN) fur the communication protocol is designed, and the performances of the system are evaluated. The BCM controls doors, mirrors, and windows of the vehicle through the in-vehicle network. To identify all the transmitted and received control messages, a PC connected with the CAN communication protocol behaves as a CAN bus emulator. The control system based upon in-vehicle network improves the system stability and reduces the number of wiring harness. Furthermore it is easy to maintain and simple to add new features because the system is designed based on the standards of RTOS and communication protocol.

직접구동형 로보트에 대한 퍼지 튜닝 이산시간 반복제어의 실시간 구현 (Real-time Implementation of a Fuzzy Tuning Discrete-Time Repetitive Control for a Direct Drive Robot)

  • 김성현;안현식;김도현
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1997년도 추계학술대회 논문집 학회본부
    • /
    • pp.133-135
    • /
    • 1997
  • In this paper, a fuzzy tuning discrete-time repetitive control is suggested for a robot manipulator. Real-time implementation of this type of repetitive controller is also performed for a 2 link direct drive robot by using a real-time control system which consists of a real-time OS(Spectra), a single board computer, a communication board and an analog input/output board. First, it is shown that the tracking error is effectively reduced by discrete-time repetitive control. Second, the convergence performance is shown to be much improved by the suggested controller using real-time experimentations.

  • PDF

관성항법장치의 실시간 모의를 위한 RTX기반의 MILS S/W 개발 (The Development of MILS Software based on RTX for Real-time Imitation of an Inertial Navigation System)

  • 김기표;최진호;안기현;우덕영
    • 한국군사과학기술학회지
    • /
    • 제14권3호
    • /
    • pp.353-358
    • /
    • 2011
  • In this paper, we have introduced a Missile In the Loop Simulation(MILS) Software developed for the missile ground test, which is based on a commercial hard real-time operating system(OS) on Windows platform called as Real-Time eXtension(RTX). MILS software makes it possible to test overall system functions of a integrated missile on the ground in the flight conditions by real-time imitating its inertial data. By means of MILS, we have performed missiles ground tests, which result in successful real flight tests.

실시간 운영체제 기반의 복강경 수술 로봇의 모터제어 시스템에 관한 연구 (A Study of a RealTime OS Based Motor Control System for Laparoscopic Surgery Robot)

  • 송승준;김용;최재순;배진용
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2006년도 추계학술대회 논문집 전기기기 및 에너지변환시스템부문
    • /
    • pp.218-221
    • /
    • 2006
  • This paper reports on a Realtime OS based motor control system for laparoscopic surgery robot which enables telesurgery and overcomes shortcomings with conventional laparoscopic surgery. The system has a conventional master-slave robot configuration and the control system consists of joint controllers, host controllers, and power units. The robot features (1) a compact slave robot with 5 DOF (Degree Of Freedom) expanding the workspace of each tool and increasing the number of tools operating simultaneously, and (2) direct 1:1 correspondence in the joint of master and slave robot that simplifies control algorithm and enhances reliability. Each master, slave and GUI (Graphical User Interface) host has a dedicated RTOS (RealTime OS), RTLinux-Pro (FSMLabs Inc., U.S.A.) Each master and slave controller set pair has a dedicated CAN (Controller Area Network) channel for control and monitoring signal communication. Total 4 pairs of the master/slave manipulators as current are monitored by one host controller for operation monitoring and higher level motion control. The system showed acceptable performance in both position control precision and master-slave motion synchronization and is now under further development for better safety and control fidelity for clinically applicable prototype.

  • PDF

OSEK/VDX이용한 실시간 OS 구조에 관한 연구 (Study of real-time OS structure that use OSEK/VDX)

  • 오창연;장경식
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2009년도 추계학술대회
    • /
    • pp.861-865
    • /
    • 2009
  • 지금까지 자동차에서의 기술 개발이 엔진 성능과 같은 기계 중점적으로 이루어졌다면 최근에는 전자제어장치(ECU, Electronic Control Unit)를 활용하여 안전, 편의성, 비용 등을 개선하는 전자적 측면의 기술 개발이 활발하게 진행이 되고 있다. 또한, 자동차에 대한 소비자들의 선호가 빠른 속도로 변함에 따라 모델수가 다양해지고 첨단 서비스 개발로 인해 요구되는 소프트웨어의 복잡도가 크게 증가되었다. 이 같은 변화로 자동차 제조비용에서 소프트웨어 개발비용이 상당한 비중을 차지하게 되었고 자동차 업계는 이를 대응하기 위하여 응용 소프트웨어를 모듈별로 재사용할 수 있고 다른 제어장치에도 쉽게 이식할 수 있도록 자동차용 임베디드 시스템의 표준인 OSEK/VDX를 제정하였다.[8] 본고에서는 위의에서 언급한 급변하는 환경을 대응하기 위한 대안으로 제시된 OSEK/VDX표준을 살펴보고, 실제 OSEK/VDX를 이용한 실시간 OS구조에 대하여 알아보자 한다.

  • PDF