• Title/Summary/Keyword: Mission software

Search Result 263, Processing Time 0.032 seconds

Design and Implementation of High-availability System (임무컴퓨터를 위한 고가용 시스템의 설계 및 구현)

  • Jeong, Jae-Yeop;Lee, Cheol-Hoon
    • Proceedings of the Korea Contents Association Conference
    • /
    • 2008.05a
    • /
    • pp.529-533
    • /
    • 2008
  • Mission Computer performs important role both managing a whole system and dealing with a specific mission in avionics system. In general, the fault of SPOF(Single Point Of Failure) in unity system can lead to failure of whole system. It can cause a failure of a mission and also can threaten to the life of the pilot. So, in this paper, we design the HA(High-availability) system so that dealing with the failure. And we use HA software like Heartbeat, Fake, DRBD and Bonding to managing HA system.

  • PDF

Analysis and Design of the Automatic Flight Dynamics Operations For Geostationary Satellite Mission

  • Lee, Byoung-Sun;Hwang, Yoo-La;Park, Sang-Wook;Lee, Young-Ran;Galilea, Javier Santiago Noguero
    • Journal of Astronomy and Space Sciences
    • /
    • v.26 no.2
    • /
    • pp.267-278
    • /
    • 2009
  • Automation of the key flight dynamics operations for the geostationary orbit satellite mission is analyzed and designed. The automation includes satellite orbit determination, orbit prediction, event prediction, and fuel accounting. An object-oriented analysis and design methodology is used for design of the automation system. Automation scenarios are investigated first and then the scenarios are allocated to use cases. Sequences of the use cases are diagramed. Then software components and graphical user interfaces are designed for automation. The automation will be applied to the Communication, Ocean, and Meteorology Satellite (COMS) flight dynamics system for daily routine operations.

Design of Product-Line Architecture based-on Common Architecture (공통 아키텍처 기반 제품계열 아키텍처 설계)

  • Oh, Young-Bae;Shin, Sung-Oog;Kim, Young-Gab;Baik, Doo-Kwon
    • Journal of Information Technology Services
    • /
    • v.5 no.2
    • /
    • pp.155-168
    • /
    • 2006
  • Software product line is a software product or a set of software system, which has common functions. We can develop a specific software product, which satisfies requirements of a particular market segment and a mission in a specific domain by reusing the core asset such as the developed software architecture through the software product line. Software development methodology based on the software product line can develop a software more easily and fast by reusing the developed software core asset. Developed countries of software technology select software product line as a core field of software production technology, and support technology development. In case of USA, CMU/SEI(Carnegie Mellon University/Software Engineering Institute) developed product-line framework 4.0 together with the industry and the Department of Defense. Europe is supporting the development of product line technology through ITEA(IT for European Advancement) program. However, industries in our country understand the necessity of software production technology based on product line concept for the purpose of increasing productivity, it is not sufficient to invest for this technology development. In this paper, we aim to construct the common architecture of software product line for production of the software product line.

A Framework for Detecting Data Races in Weapon Software (무기체계 소프트웨어의 자료경합을 탐지하기 위한 프레임워크)

  • Oh, Jin-Woo;Choi, Eu-Teum;Jun, Yong-Kee
    • IEMEK Journal of Embedded Systems and Applications
    • /
    • v.13 no.6
    • /
    • pp.305-312
    • /
    • 2018
  • Software has been used to develop many functions of the modern weapon systems which has a high mission criticality. Weapon system software must consider multi-threaded processing to satisfy growing performance requirement. However, developing multi-threaded programs are difficult because of concurrency faults, such as unintended data races. Especially, it is important to prepare analysis for debugging the data races, because the weapon system software may cause personal injury. In this paper, we present an efficient framework of analysis, called ConDeWS, which is designed to determine the scope of dynamic analysis through using the result of static analysis and fault analysis. As a result of applying the implemented framework to the target software, we have detected unintended data races that were not detected in the static analysis.

Multiple revolution Lunar Trajectory Design using Impulsive Thrust

  • Kang, Hye-Young;Song, Young-Joo;Park, Sang-Young;Choi, Kyu-Hong;Sim, Eun-Sup
    • Bulletin of the Korean Space Science Society
    • /
    • 2008.10a
    • /
    • pp.25.3-26
    • /
    • 2008
  • The direct way to the moon is to start from the parking orbit by using impulsive thruster In previous domestic research, the direct way has been studied by using a single impulsive shot. However, when a single impulsive shot occurs to go into a Translunar orbit, gravity losses occur because thruster is not impulsive shot but the finite burns and it causes the gravity losses. To make up for the weak point of a single impulsive shot, this paper divides TLI (Trans Lunar Injection) into several small burns. Therefore, departure loop trajectory and the Translunar trajectory. This method is useful not only to reduce the gravity losses but also to check the condition of satellite. By using this method, this paper demostrates the optimized trajectory from Earth parking orbit to lunar mission orbit which minimizes the fuel, and the SNOPT (Sparse Nonlinear OPTimizer software) is used to find optimal solution. Also, this paper provides lunar mission profile which includes the mission schedule when TLI, LOI (Lunar Orbit Insertion) maneuvers occur, a mount of fuel when thruster is used and other mission parameters.

  • PDF

A Novel Technique to Miniaturize Microstrip Antennas with a Locally Non-Homogeneous Substrate Configuration

  • Lee, Byung-Je;Kim, Jong-Heon;Lee, Jong-Chul;Kim, Nam-Young
    • The Journal of Korean Institute of Electromagnetic Engineering and Science
    • /
    • v.11 no.8
    • /
    • pp.1355-1362
    • /
    • 2000
  • Microstrip antennas are attractive for many applications because of their compact size, low profile, and light weight. Recently, the demand for the miniaturization of the personal communication equipment has been increasing along with the proliferation of personal communication systems. Thus, the development of small antenna has been highly demanded. In this paper, a new technique to reduce the overall dimension of a microstrip antenna with a locally non-homogeneous substrate configuration is proposed. The miniaturized microstrip antenna for a repeater system in a mobile communication cellular band(824~894 MHz) is designed with the proposed technique, and commercialized with low cost, light weight, and small size. Comparison between simulations, based on Agilent Technologies HFSS software, and measurements are provided. The proposed method will be more attractive for a light-weight, small-size, and low-cost microstrip array design. This paper also presents the bandwidth improvement technique for under-coupled microstrip patch antenna with a tuning stub.

  • PDF

A Radar Performance Model for Mission Analyses of Missile Models (유도무기 임무 분석을 위한 레이더 성능 모델)

  • Kim, Jingyu;Woo, S.H. Arman
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.20 no.6
    • /
    • pp.822-834
    • /
    • 2017
  • In M&S, radar model is a software module to identify position data of simulation objects. In this paper, we propose a radar performance model for simulations of air defenses. The previous radar simulations are complicated and difficult to model and implement since radar systems in real world themselves require a lot of considerations and computation time. Moreover, the previous radar simulations completely depended on radar equations in academic fields; therefore, there are differences between data from radar equations and data from real world in mission level analyses. In order to solve these problems, we firstly define functionality of radar systems for air defense. Then, we design and implement the radar performance model that is a simple model and deals with being independent from the radar equations in engineering levels of M&S. With our radar performance model, we focus on analyses of missions in our missile model and being operated in measured data in real world in order to make sure of reliability of our mission analysis as much as it is possible. In this paper, we have conducted case studies, and we identified the practicality of our radar performance model.

Framework of a Cooperative Control Software for Heterogeneous Multiple Network Based Humanoid (이종 다수의 네트워크 기반 휴머노이드를 위한 협조제어 소프트웨어 프레임워크)

  • Lim, Heon-Young;Kang, Yeon-Sik;Lee, Joong-Jae;Kim, Jong-Won;You, Bum-Jae
    • The Journal of Korea Robotics Society
    • /
    • v.3 no.3
    • /
    • pp.226-236
    • /
    • 2008
  • In this paper, control software architecture is designed to enable a heterogeneous multiple humanoid robot demonstration executing tasks cooperating with each other. In the heterogeneous humanoid robot team, one large humanoid robot and two small humanoid robots are included. For the efficient and reliable information sharing between many software components for humanoid control, sensing and planning, CORBA based software framework is applied. The humanoid tasks are given in terms of finite state diagram based human-robot interface, which is interpreted into the XML based languages defining the details of the humanoid mission. A state transition is triggered based on the event which is described in terms of conditions on the sensor measurements such as robot locations and the external vision system. In the demonstration of the heterogeneous humanoid team, the task of multiple humanoid cleaning the table is given to the humanoid robots and successfully executed based on the given state diagram.

  • PDF

The Comparative Software Reliability Model of Fault Detection Rate Based on S-shaped Model (S-분포형 결함 발생률을 고려한 NHPP 소프트웨어 신뢰성 모형에 관한 비교 연구)

  • Kim, Hee Cheul;Kim, Kyung-Soo
    • Convergence Security Journal
    • /
    • v.13 no.1
    • /
    • pp.3-10
    • /
    • 2013
  • In this paper, reliability software model considering fault detection rate based on observations from the process of software product testing was studied. Adding new fault probability using the S-shaped distribution model that is widely used in the field of reliability problems presented. When correcting or modifying the software, finite failure non-homogeneous Poisson process model was used. In a software failure data analysis considering the time-dependent fault detection rate, the parameters estimation using maximum likelihood estimation of failure time data and reliability make out.

A Comparative Study on Software Reliability Model for NHPP Intensity Function Following a Decreasing Pattern (강도함수가 감소패턴을 따르는 NHPP 소프트웨어 신뢰모형에 관한 비교 연구)

  • Kim, Hee Cheul;Kim, Jong Buam;Moon, Song Chul
    • Journal of Information Technology Applications and Management
    • /
    • v.23 no.4
    • /
    • pp.117-125
    • /
    • 2016
  • Software reliability in the software development process is an important issue. In infinite failure non-homogeneous Poisson process software reliability models, the failure occurrence rates per fault. can be presented constant, monotonic increasing or monotonic decreasing pattern. In this paper, the reliability software cost model considering decreasing intensity function was studied in the software product testing process. The decreasing intensity function that can be widely used in the field of reliability using power law process, log-linear processes and Musal-Okumoto process were studied and the parameter estimation method was used for maximum likelihood estimation. In this paper, from the software model analysis, we was compared by applying a software failure interval failure data considering the decreasing intensity function The decreasing intensity function model is also efficient in terms of reliability in the arena of the conservative model can be used as an alternating model can be established. From this paper, the software developers have to consider life distribution by preceding information of the software to classify failure modes which can be gifted to support.