• Smart Structures and Systems
• /
• v.1 no.2
• /
• pp.159-184
• /
• 2005

The paper intends to summarize some guidelines for future smart structure system application in military aircraft. This preview of system integration is based upon a review on approximately one and a half decades of application oriented aerospace related smart structures research. Achievements in the area of structural health monitoring, adaptive shape, adaptive load bearing devices and active vibration control have been reached, potentials have been identified, several feasibility studies have been performed and some smart technologies have been already implemented. However the realization of anticipated visions and previously initial timescales announced have been rather too optimistic. The current development shall be based on a more realistic basis including more emphasis on fundamental aircraft strength, stiffness, static and dynamic load and stability requirements of aircraft and interdisciplinary integration requirements and improvements of integrated actors, actuator systems and control systems including micro controllers.

• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.750-759
• /
• 2004

The software of the nuclear power plant digital control system is a safety-critical system where many techniques must be applied to it in order to preserve safety in the whole system. Formal specifications especially allow the system to be clearly and completely specified in the early requirements specification phase therefore making it a trusted method for increasing safety. In this paper, we discuss the NuSCR, which is a qualified formal specification method for specifying nuclear power plant digital control system software requirements. To investigate the application of NuSCR, we introduce the experience of using NuSCR in formally specifying the plant protection system's software requirements, which is presently being developed at KNICS. Case study that shows that the formal specification approach NuSCR is very much qualified and specialized for the nuclear domain is also shown.

• Journal of KIISE:Software and Applications
• /
• v.32 no.2
• /
• pp.108-118
• /
• 2005

The software of the nuclear power plant digital control system is a safety-critical system where many techniques must be applied to it in order to preserve safety in the whole system. Formal specifications especially allow the system to be clearly and completely specified in the early requirements specification phase, therefore making it a trusted method for increasing safety. In this paper, we discuss a systematic method, which generates PLC-based FBD programs from the requirements specification using NuSCR, a formal requirements specification method. This FBD programs takes an important position in design specification. The proposed method can reduce the possible errors occur in the manual design specification, and the software development cost and time. To investigate the usefulness of our proposed method, we introduce the fixed set-point rising trip example, a trip logic of BP in DPPS RPS, which is presently being developed at KNICS.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.3
• /
• pp.613-628
• /
• 2019

In-Vehicle Infotainment provides navigation and various functions through the installation of the application. And infotainment is very important to control the entire vehicle by sending commands to the ECU. Infotainment supports a variety of wireless communication protocols to install and update applications. So Infotainment is becoming an attack surface through wireless communcation protocol for hacker's access. If malicious software is installed in infotainment, it can gain control of the vehicle and send a malicious purpose command to the ECU, affecting the life of the driver. Therefore, measures are needed to verify the security and reliability of infotainment software updates, and security requirements must be derived and verified. It must be developed in accordance with SDL to provide security and reliability, and systematic security requirements must be derived by applying threat modeling. Therefore, this paper conducts threat modeling to derive infotainment update security requirements. Also, the security requirements are mapped to the Common Criteria to provide criteria for updating infotainment software.

• Smart Media Journal
• /
• v.6 no.4
• /
• pp.65-71
• /
• 2017

In this paper, we propose a design method for the construction of LTE-based small unmanned aerial vehicle control system to quickly and reliably collect multiple small unmanned aerial vehicle position information simultaneously flying all over the country. In particular, the main requirements are the network (N/W), hardware (H/ W), software(SW), Database(DB), development architecture, and business needs. To satisfy these requirements, N/W, H/W, SW, DB design, and architectural design plan were suggested regarding the design requirements of a small UAV system. To effectively control the small unmanned multi-party system in the system design, the architecture is divided into the front-end service area and the back-end service area according to the function and role of the unit system. In the front-end service area that grasps and controls the position and state of small unmanned aerial vehicles (UAVs), we have studied the design part that can be expanded to N through TCP/IP network by applying Client PC method.

• Journal of the Korean Society for Railway
• /
• v.16 no.6
• /
• pp.519-527
• /
• 2013

Mobile radio technologies have evolved in the railway industry offering seamless connectivity and various functionalities to improve railway service. Recently, advanced mobile communication technologies have enabled a new level of railway customer services with more efficient railway operation. Since the LTE mobile communication technology offers many benefits and better performance for new railway services, it is considered to be a strong candidate for the future railway mobile telecommunication. However, communication networks in the railway sector are critical for secure operation and have stringent requirements for reliability and safety. In this paper, we explain the requirements for the future railway mobile telecommunication. The LTE, which would be the future railway mobile technology, is analyzed against these requirements. We also introduce the current state of standardization for the future railway mobile telecommunication and its implementation plan.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.35 no.6
• /
• pp.237-245
• /
• 1986

Most fossil steam generating units are currently being designed for base load operation and are not therefore generally suitable for large and rapid recurring load fluctuations. In particular the control systems adopted for such units are not adequate for the severe recurrent load fluctuations. In particular the control systems adopted for such units are not adequate for the severe recurrent load fluctuations that are expected by the plant supplying the power requirements of the electric are furnaces and rolling mills employed by the steel industry. This paper presents a feasible Anticipatory Control Algorithm which ensures that the fossil fuel fired plant can meet such severe requirements from the control point of view. Details of such a control algorithm and its dynamic simulation on a sample power system are also presented.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.48 no.6
• /
• pp.760-772
• /
• 1999

The CAN is a serial communication protocol for distributed real-time control and automation systems. Data generated from field devices in the distributed control of power plant are classified into three categories: real-time event data, real-time control data, non-real-time data. These data share a CAN medium. If the traffic of the CAN protocol is not efficiently controlled, performance requirements of the power plant system could not be satisfied. This paper proposes a bandwidth allocation algorithm that can be applicable to the CAN protocol. The bandwidth allocation algorithm not only satisfies the performance requirements of the real-time systems in the power plant but also fully utilizes the bandwidth of CAN. The bandwidth allocation algorithm introduced in this paper is validated using the integrated discrete-event/continuous-time simulation model which comprises the CAN network and distributed control system of power plant.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.62 no.12
• /
• pp.1777-1783
• /
• 2013

This study aims to implement an instrumentation system measuring and analysing real-time data of information flow between respective subunits composing train control system as the performance evaluation method for wireless communication based urban railway train control system under development for a Korean model. It analyses system functional requirements regarding subsystems composing wireless communication based train control system and test items for functions presented in each specification and examines data and measurement point for measuring according to test items in order to implement an instrumentation system. And, it clearly defines requirements of an instrumentation system to avoid malfunction or error in operation of train control system. It reviews data processing method and display method for effective analysis of data flow between respective subunits with measured data, designs and makes an instrumentation system. Ultimately, it applies to a performance test of train control system and makes sure an instrumentation system in normal working order.

• Convergence Security Journal
• /
• v.20 no.1
• /
• pp.69-75
• /
• 2020

The command control system, like the human brain and nervous system, is a linker that connects the Precision Guided Missile(PGR) in information surveillance and reconnaissance (ISR) and is the center of combat power. In establishing the future command and control system, the ROK military should consider not only technical but also institutional issues. The US Department of Defense establishes security policies, refines them, and organizes them into architectural documents prior to the development of the command and control system. This study examines the security architecture applied to the US military command control system and analyzes the current ROK military-related policies (regulations) to identify security requirements for the future control system. By grouping the identified security requirements, this study identifies and presents field-specific enhancements to existing security regulations.