• International Journal of Naval Architecture and Ocean Engineering
• /
• v.8 no.5
• /
• pp.423-433
• /
• 2016

In this paper, we consider the cybersecurity issue of ship information system (SIS) from a new perspective which is called opacity. For a SIS, its confidential information (named as "secret") may be leaked through the working behaviors of each Distributed Control Unit (DCU) from an outside observer called an "intruder" which is able to determine ship's mission state by detecting the source of each data flow from the corresponding DCUs in SIS. Therefore we proposed a dual layer mechanism to enforce opacity by activating non-essential DCU during secret mission. This mechanism is calculated by two types of insertion functions: Safety-assured insertion function ($f_{IS}$) and Admissibility-assured insertion function ($f_{IA}$). Due to different objectives, $f_{IS}$ is designed to confuse intruder by constructing a non-secret behaviors from a unsafe one, and the division of $f_{IA}$ is to polish the modified output behaviors back to normal. We define the property of "$I_2$-Enforceability" that dual layer insertion functions has the ability to enforce opacity. By a given mission map of SIS and the marked secret missions, we propose an algorithm to select $f_{IS}$ and compute its matchable $f_{IA}$ and then the DCUs which should be activated to release non-essential data flow in each step is calculable.

• Information and Communications Magazine
• /
• v.32 no.10
• /
• pp.31-40
• /
• 2015

This paper investigates several existing techniques to reduce high-availability seamless redundancy (HSR) traffic. HSR is a redundancy protocol for Ethernet networks that provides duplicated frames for separate physical paths with zero recovery time. This feature makes it very useful for real-time and mission-critical applications, such as military applications and substation automation systems. However, the major drawback of HSR is that it generates too much unnecessary redundant traffic in HSR networks. This drawback degrades network performance and may cause congestion and delay. Several HSR traffic reduction techniques have been proposed to reduce the redundant traffic in HSR networks, resulting in the improvement of network performance. In this paper, we provide an overview of these HSR traffic reduction techniques in the literature. The operational principles, advantages, and disadvantages of these techniques are investigated and summarized. We also provide a traffic performance comparison of these HSR traffic reduction techniques.

• Proceedings of the KSRS Conference
• /
• 2004.10a
• /
• pp.501-504
• /
• 2004

There is a world-wide trend to implement autonomous TM/TC system in satellite operations. KARI developed CALS(Command AutoLoader System) for KOMPSAT-1 operation automation in 2004. This paper provides system requirement, system design, system test and operational procedure. Through test with simulator and KOMPSAT-1, CALS was verified to meet all functional and operational requirement like scheduling, real-time telemetry check, CRC generation, command grouping. CALS is expected to be used in KOMPSAT-1 normal mission operation in end of 2004

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.44 no.8
• /
• pp.718-727
• /
• 2016

Korean ground systems have started to be developed for mission control and payload data processing since 1990s. International technology cooperations were needed in the early development phase of ground system for science experiment satellite, LEO satellite and GEO satellite and then they have been developed as domestic own technology since acquiring early technology. Our country has developed total 14 ground systems until now, this paper suggests prospect and direction on ground system development in the base of such development experiences. Mission control system is needed to develop multi-satellite mission control system in the base of technology of re-configure, re-use and automation. Processing system is needed to acquire processing technology for kinds of payload sensor data and study inter-operation to integrate and use outputs which are processed between users. Finally, national ground system infrastructure is needed to operate kinds of lots of satellites at worldwide area.

• Journal of the Society of Naval Architects of Korea
• /
• v.56 no.6
• /
• pp.523-531
• /
• 2019

The low birthrate and the need for national defense reform in Korea drive the Navy to develop efficient human resource planning such as a manpower forecasting model. However, to our knowledge, there is no study exploring the manpower forecasting model for naval ships in Korea. The purpose of this paper is to develop a model for forecasting manpower demand in naval ships. Data for analyses were drawn from 19 ships in the Korean Navy. Results indicate that mission type is significantly related to the number of manpower. Specifically, battleships need the more manpower than the battle support ships. The results also showed that the weight of hull structure-engine and the weight of the weapons system significantly increased the number of manpower. However, the weight of the combat system was not significant. In addition, whereas the automation level of hull structure-engine and the automation level of weapon system was found to be negatively related to the number of manpower, the automation level of combat system was positively related to it. The model developed here contributes to an advanced human resource planning of the Korean Navy. Implications, limitations, and directions for future research are discussed.

• Journal of the military operations research society of Korea
• /
• v.34 no.1
• /
• pp.31-45
• /
• 2008

This paper describes a development of the operational architecture of a low altitude air defense automation system using a systems engineering approach. The future battlefield is changing to new system of systems that command and control by the network based BM/C4I. Also, it is composed of various sensors and shooters in an single theater. Future threats may be characterized as unmanned mewing bodies that the strategic effect is great such as UAVs, cruise missiles or tactical ballistic missiles. New threats such as low altitude stealth cruise missiles may also appear. The implementation of a low altitude air defense against these future threats is required to complex and integrated approach based on systems engineering. In this view, this work established an operational scenario and derived operational requirements by identifying mission and future operational environments. It is presented the operational architecture of the low altitude air defense automation system by using the CORE 5.0.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.44 no.4
• /
• pp.298-307
• /
• 2016

Attitude determination of satellite is categorized by deterministic and recursive method. The recursive algorithm using Kalman filter is widely used. Cubesat has limitation for payload to minimize then only two attitude sensors are installed which are sun sensor and magnetometer. Sun sensor measurements are useless during eclipse, however cubesat keeps estimating attitude to complete the successful mission. In this paper, Attitude determination algorithm based on Kalman filter is developed by additional term which considering the dynamics for SNUSAT-1 with disturbance torque. Verification of attitude accuracy of the algorithm is conducted during eclipse. Attitude determination algorithm is simulated to compare the performance between typical method and proposed algorithm. In addition, Attitude errors are analysed with various magnitude of disturbance torque caused by space environment.

• International Journal of Control, Automation, and Systems
• /
• v.5 no.1
• /
• pp.51-60
• /
• 2007

This paper describes a visual tracking control law of an Unmanned Aerial Vehicle(UAV) for monitoring of structures and maintenance of bridges. It presents a control law based on computer vision for quasi-stationary flights above a planar target. The first part of the UAV's mission is the navigation from an initial position to a final position to define a desired trajectory in an unknown 3D environment. The proposed method uses the homography matrix computed from the visual information and derives, using backstepping techniques, an adaptive nonlinear tracking control law allowing the effective tracking and depth estimation. The depth represents the desired distance separating the camera from the target.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.51 no.7
• /
• pp.333-340
• /
• 2002

To secure a service continuity is one of the most important mission in the ower distribution system operation. In this paper the necessary and sufficient condition to guarantee 100% service restoration capability for any fault on the system is reported. An evaluation methodology of the restoration capability(or restorability) is developed based on the developed restoration conditions. Applications of the developed concept to the system operation in the normal and emergency states, that would enhance the supply reliability of the system are described. They include enhancement of restoration capability adapting to load change, identification of best open switch and supervised switch positions.

• Korean Journal of Computational Design and Engineering
• /
• v.22 no.2
• /
• pp.162-171
• /
• 2017

Unmanned military vehicles (UMVs) are most commonly characterized as dealing with dull, dirty, and dangerous tasks with automation. Although most of the UMVs are designed to a high degree of autonomy, the human operator will still intervene in the robot's operation, and teleoperate them to achieve his or her mission. Thus, operator capacity, together with robot autonomy and user interface, is one of the most important design factors in the research and development of the UMVs. Further, communication may affect the operator task performance. In this paper, we analyze the operator performance and the communication effects on the operator performance by using the extended Petri nets, called OTSim nets. The OTSim nets was designed by the authors, being extended using pure Petri nets.