• Title/Summary/Keyword: Controlled Requirement

Search Result 171, Processing Time 0.028 seconds

COMPONENT TEST STRATEGY FOR COMS ON-BOARD SOFTWARE USING ATTOL

  • Park, Su-Hyun;Kang, Soo-Yeon;Yang, Koon-Ho;Choi, Seong-Bong
    • Proceedings of the KSRS Conference
    • /
    • 2007.10a
    • /
    • pp.175-178
    • /
    • 2007
  • COMS (Communication Ocean Meteorological Satellite) is the geostationary satellite being developed by Korea Aerospace Research Institute for multi-mission: experimental communication, ocean monitoring and meteorological observations. The COMS operation is controlled by the on-board software running on the spacecraft central computer. The software is written in ADA language and developed under the software life cycle: Requirement analysis, Design, Implementation, Component test and Integration test. Most functional requirements are tested at component level on a software component testing tool, ATTOL. ATTOL provides a simple way to define the test cases and automates the test program generation, test execution and test analysis. When two or more verified components are put together, the integration test starts to check the non-functional requirements: real-time aspect, performance, the HW/SW compatibility and etc. This paper introduces the COMS on-board software and explains what to test and how to test the on-board software at component level using ATTOL.

  • PDF

COMPONENT TEST STRATEGY FOR COMS ON-BOARD SOFTWARE USING ATTOL

  • Park, Su-Hyun;Kang, Soo-Yeon;Yang, Koon-Ho;Choi, Seong-Bong
    • Proceedings of the KSRS Conference
    • /
    • 2007.10a
    • /
    • pp.460-463
    • /
    • 2007
  • COMS (Communication Ocean Meteorological Satellite) is the geostationary satellite being developed by Korea Aerospace Research Institute for multi-mission: experimental communication, ocean monitoring and meteorological observations. The COMS operation is controlled by the on-board software running on the spacecraft central computer. The software is written in ADA language and developed under the software life cycle: Requirement analysis, Design, Implementation, Component test and Integration test. Most functional requirements are tested at component level on a software component testing tool, ATTOL. ATTOL provides a simple way to define the test cases and automates the test program generation, test execution and test analysis. When two or more verified components are put together, the integration test starts to check the non-functional requirements: real-time aspect, performance, the HW/SW compatibility and etc. This paper introduces the COMS on-board software and explains what to test and how to test the on-board software at component level using ATTOL.

  • PDF

The study of force control by using feedback current and encoder signal of the servo-motor on the servo-gun system (서보 모터의 피드백 전류와 위치신호를 이용한 서보건의 가압력 제어에 관한 연구)

  • Lee, Jong-Gu;Kim, Tae-Hyeong;Lee, Se-Heon
    • Proceedings of the KWS Conference
    • /
    • 2005.06a
    • /
    • pp.63-65
    • /
    • 2005
  • Because of simple principal and low cost, resistance spot welding has been used a lot for joining the sheet metal in automotive manufacturing process. Welding current, welding time, and force are the most important variables in resistance spot wording. Air guns have hem still used widely. The requirement of synchronizing between robot and weld-gun has become bigger as the field has been automated. The number of servo-gun in the field is trending upward because there're advantages as like to synchronize with robot and to control the stroke path and force by programming on servo-gun system. But no cleared force control method is suggested on servo-gun system until now. In this study, we proved the feedback current of the servo-motor can be used to an excellent force measuring sensor and the force is controlled by the feedback current. And we also detected force lowering during welding cycle on the servo-gun system and solved by compensated force control.

  • PDF

A Case Study of the Design of the Decision Support System for Make-to-order Type Manufacturers (수주형 제조업체의 의사결정지원시스템 설계에 관한 사례 연구)

  • Park, Jae-Young;Moon, Il-Kyeong
    • IE interfaces
    • /
    • v.20 no.1
    • /
    • pp.11-20
    • /
    • 2007
  • This case study aims to embody the requirement of the make-to-order type manufacturer who wants to manage risks effectively when decisions are required to be taken under a risk. First, we present a method for choosing the risk factors that should be controlled for the make-to-order type manufacturer. Subsequently, those factors have been verified using statistical methods such as the ANOVA test. The process flows to be operated with the selected risk factors and the rules for an early warning system have been proposed. For a couple of factors, a prototype system has been developed to illustrate actual applications. Applications of the technique developed here for other types of manufacturers might be an interesting research problem.

Improvement of Temperature Characteristics in Ceramic-packaged Shunt Resistors (세라믹 패키지를 이용한 shunt 저항의 온도 특성 개선)

  • Kang, Doo-Won;Jo, Jungyol
    • Journal of the Semiconductor & Display Technology
    • /
    • v.14 no.3
    • /
    • pp.57-60
    • /
    • 2015
  • Electric power in large devices is controlled by digital circuits, such as switching mode power supply. This kind of power circuits require accurate current sensor for power distribution. We studied characteristics of shunt resistor, which has many advantages for commercial application compared to Hall-effect current sensor. We applied ceramic package to the shunt resistor. Ceramic package has good thermal conductivity compared to plastic package, and this point is important for space requirement in Printed Circuit Board (PCB). Another advantage of the ceramic package is that surface mount technology (SMT) can be used for production. Our experimental results showed that the ceramic packaged resistor showed about 50% lower temperature than the plastic packaged one. Burning point and frequency characteristics are also discussed.

On-line Tests on Collapse Mode Controlled Steel Frame (붕괴모드 컨트롤형 철골조 시스템의 온라인 지진응답실험)

  • Lee, Seung-Jae;Oh, Sang-Hoon
    • Journal of Korean Association for Spatial Structures
    • /
    • v.9 no.1
    • /
    • pp.47-52
    • /
    • 2009
  • In this study, it is demonstrated by a pseudo dynamic earthquake response tests that combination of semi-rigid partial-strength using the high performance-high strength bolts and inter-story hysteretic damper system creates a fairly good structural system that satisfies not only the serviceability requirement under moderate earthquakes but unexpected failure of damper system.

  • PDF

Adaptive Cross-Layer Packet Scheduling Method for Multimedia Services in Wireless Personal Area Networks

  • Kim Sung-Won;Kim Byung-Seo
    • Journal of Communications and Networks
    • /
    • v.8 no.3
    • /
    • pp.297-305
    • /
    • 2006
  • High-rate wireless personal area network (HR-WPAN) has been standardized by the IEEE 802.15.3 task group (TG). To support multimedia services, the IEEE 802.15.3 TG adopts a time-slotted medium access control (MAC) protocol controlled by a central device. In the time division multiple access (TDMA)-based wireless packet networks, the packet scheduling algorithm plays a key role in quality of service (QoS) provisioning for multimedia services. In this paper, we propose an adaptive cross-layer packet scheduling method for the TDMA-based HR-WPAN. Physical channel conditions, MAC protocol, link layer status, random traffic arrival, and QoS requirement are taken into consideration by the proposed packet scheduling method. Performance evaluations are carried out through extensive simulations and significant performance enhancements are observed. Furthermore, the performance of the proposed scheme remains stable regardless of the variable system parameters such as the number of devices (DEVs) and delay bound.

An Analysis of Operating Policies for Multi-Product Unit Load AS/RS (다품종 단위적재 자동창고 시스템의 운영정책 분석)

  • Park, Yang-Byeong
    • Journal of Korean Institute of Industrial Engineers
    • /
    • v.15 no.1
    • /
    • pp.1-15
    • /
    • 1989
  • In the past few years, increasing numbers of automatic storage/retrieval system (AS/RS) using computer controlled storage/retrieval machine have been installed. This paper introduces two modeling approaches to determine the best operating policy for AS/RS : an M/G/1 queueing model and a computer simulation model. The operating policy consists of three elements. : the operation command cycle, the storage location method, and the operation dispatching rule. The analysis based on M/G/1 model is suitable for a quick and approximate evaluation, due to its inherent strict assumptions. The computer simulation can be used to perform a more realistic analysis. It is shown through the study that a significant improvement in the throughput and/or the space requirement can be expected by determining the best operating policy to a particular system. Most important, the computer simulation demonstrates its powerful capability in evaluating dynamic stochatic systems with imperfect information.

  • PDF

A Study on the Control Algorithm and its Improvement of ATC System (자동열차제어장치의 제어알고리즘 분석과 개량방안에 관한 연구)

  • Kim Jong-ki;Joung Eui-Jin;Kim Baek-hyun;Shin Duck-ho;Lee Ki-seo
    • Proceedings of the KIEE Conference
    • /
    • summer
    • /
    • pp.1300-1303
    • /
    • 2004
  • Using AF(Audio Frequency) track circuits to control block signal automatically. ATC(Automatic Train Control) system employed in urban transit 3/4 line, Gwacheon-line, Bundang-line and Ilsan-line pursues the safety of train operation. ATC is employed as important means for the safety. in which the distance between trains is controlled to satisfy the safety requirement. In this paper, we analyze the control algorithm of ATC and investigate the improvement plan of urban transit driving control mode to guarantee the automatic driving function.

  • PDF

H-Bridge VSC with a T-Connected Transformer for a 3-Phase 4- Wire Voltage and Frequency Controller of an Isolated Asynchronous Generator

  • Kasal, Gaurav Kumar;Singh, Bhim
    • Journal of Power Electronics
    • /
    • v.9 no.1
    • /
    • pp.43-50
    • /
    • 2009
  • This paper deals with a novel solid state controller (NSSC) for an isolated asynchronous generator (IAG) feeding 3-phase 4-wire loads driven by constant power prime movers, such as uncontrolled pico hydro turbines. AC capacitor banks are used to meet the reactive power requirement of the asynchronous generator. The proposed NSSC is realized using a set of IGBTs (Insulated gate bipolar junction transistors) based current controlled 2-leg voltage source converters (CC- VSC) and a DC chopper at its DC bus, which keeps the generated voltage and frequency constant in spite of changes in consumer loads. The neutral point of the load is created using aT-configuration of the transformers. The IAG system is modeled in MATLAB along with Simulink and PSB (power system block set) toolboxes. The simulated results are presented to demonstrate the capability of the isolated generating system consisting of NSSC and IAG driven by uncontrolled pico hydro turbine and feeding 3-phase 4-wire loads.