• Title/Summary/Keyword: Real-time OS

Search Result 245, Processing Time 0.025 seconds

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

  • Choi, Chang-Ho;Song, Seung-Hwan;Yun, Dong-Hwa;Hwang, Sung-Jae
    • Proceedings of the KIEE Conference
    • /
    • 2005.07d
    • /
    • 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

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

  • Lee, Youn-Hee;Kim, Tae-Kang;Yi, Keon-Young
    • Proceedings of the KIEE Conference
    • /
    • 2002.07d
    • /
    • 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

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

  • Lee, Bong Soo;Kim, Bong Han;Oh, Dong Sik
    • Journal of Digital Convergence
    • /
    • v.10 no.10
    • /
    • pp.289-294
    • /
    • 2012
  • In this paper, we take advantage of the characteristics of mobile smartphones can be serviced without the constraints of time and space, and Study was developed by a variety of mobile services were done in a traditional offline can be implemented in real-time Case Management Community. To this end, in addition to general PC/laptop, smart mobile until the configuration interface provide the same environment for HTML5 Web Switching and Optimal Network on the same device-specific browser Size to the implementation of the next generation of Web standards, HTML5-based integrated case management Web and Mobile Web. Hybrid App Development OS supports various kinds of smart devices based on SenchaTouch Mobile Framework between the server real-time synchronization and message through the implementation of the Push Notification function, administrators and guardians real-time two-way communication between the subjects is a real-time implementation of the system was implemented Case Management Community.

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

  • Jeong, Yoon-Seok;Kim, In-Su;Kim, Tae-Wan;Kim, Kee-Cheon;Chang, Chun-Hyon
    • The KIPS Transactions:PartA
    • /
    • v.8A no.4
    • /
    • pp.353-358
    • /
    • 2001
  • In recent days, pc can process many things that mainframe have processed. Especially, in the transition from mainframe to pc, industries have needed the capabilities of Real Time information processing and Real Time monitoring for information control. But to support Real Time properties, it's needed to add Real Time modules and verify them. In this dissertation, we implemented and verified the Real Time System to support Real Time property. In addition, we implemented Web-based Real Time Monitoring System for Real Time information monitoring.

  • PDF

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

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

  • PDF

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

  • 신민석;이우택;선우명호;한석영
    • Transactions of the Korean Society of Automotive Engineers
    • /
    • v.10 no.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 (직접구동형 로보트에 대한 퍼지 튜닝 이산시간 반복제어의 실시간 구현)

  • Kim, Sung-Hyun;Ahn, Hyun-Sik;Kim, Do-Hyun
    • Proceedings of the KIEE Conference
    • /
    • 1997.11a
    • /
    • 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

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

  • Kim, Ki-Pyo;Choi, Jin-Ho;Ahn, Kee-Hyun;Woo, Deog-Young
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.14 no.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 (실시간 운영체제 기반의 복강경 수술 로봇의 모터제어 시스템에 관한 연구)

  • Song, Seung-Joon;Kim, Yong;Choi, Jae-Soon;Bae, Jin-Yong
    • Proceedings of the KIEE Conference
    • /
    • 2006.10d
    • /
    • 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

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

  • Oh, Chang-Yeon;Jang, Kyung-Sik
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2009.10a
    • /
    • pp.861-865
    • /
    • 2009
  • Technical development in car has utilized electronic controls (ECU, Electronic Control Unit) recently if was achieved machine such as engine performance in priority and electronic side technical development that improve safety, convenience, expense etc. is proceeded vigorously. Also, preference of consumers for car is various model's number according to change at the fast speed and complexity of software required from vanguard service development was increased greatly. Software development expense dominated considerable weight in car manufacture expense by such change and automakers established OSEK/VDX that is standard of automobile embeded system to reuse application software by module to respond this and transplant easily to other control device. Do when search about all item that is necessary in real-time OS structure that examines OSEK/VDX standard that is presented as the alternative to respond environment that change rapidly that refer in dignified mien after it is original, and uses actuality OSEK/VDX.

  • PDF