• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.7
• /
• pp.701-708
• /
• 2009

The flight control law of developed flight control computer(DFLCC) is developed based on operation flight program of advanced trainer aircraft full scale development final configuration. The flight control law design is used common use development tool in GUI(Graphic User Interface) environment. The flight control law transformed to C-Code is reflected in OFP. The OFP is verified by the standardized verification process. But, before standardized verification process, we need preliminary verification process such as similarity of flight control law and reliability of developed HILS. Similarity of flight control law is verified by comparing the aircraft response of advanced trainer aircraft and those of the developed control law. Also, reliability of developed HILS is verified by comparing the aircraft response of HILS and Non-real time simulation result. This paper verifies similarity of developed control law and reliability of HILS environment as comparing aircraft response.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.23 no.2
• /
• pp.95-103
• /
• 2019

Control systems of compressed gas supply facility are responsible for storing and supplying compressed gases required for launch complex qualification test and launch operation. Most of the facilities that make up the launch complex require compressed gas for their operation. Therefore, such control systems should be developed and verified earlier rather than the other systems that constitute the launch complex. Each verification for hardware and software is performed separately. In particular, software verification of control algorithms loaded on the controller takes a lot of time and man power during the development period of the control system. Thus, specific test procedures and methods should be prepared in advance for efficient development. This paper introduces the configuration of a compressed gas supply facility and its control system with the verification procedure and results of major algorithms.

• Journal of Digital Convergence
• /
• v.19 no.6
• /
• pp.233-238
• /
• 2021

Recently, blockchain technology accumulates and stores all transactions. Therefore, in order to verify the contents of all transactions, the data itself is compressed, but the scalability is limited. In addition, since a separate verification algorithm is used for each type of transaction, the verification burden increases as the size of the transaction increases. Existing blockchain cannot participate in the network because it does not become a block sink by using a server with a low specification. Due to this problem, as the time passes, the data size of the blockchain network becomes larger and it becomes impossible to participate in the network except for users with abundant resources. Therefore, in this paper, we are improved transaction as studied the zero knowledge proof algorithm for general operation verification. In this system, the design of zero-knowledge circuit generator capable of general operation verification and optimization of verifier and prover were also conducted.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.5
• /
• pp.738-744
• /
• 2017

Recently, the installation of energy storage systems (ESSs) has increased in parallel with the extension of renewable energy resources. However, there has been no concrete analysis ofthe performance verification and economic evaluation of ESSs,which makes it difficult to perform aneffective installation and operation of an ESS. In particular, there are no international technical standards and guidelines on electric ESS for frequency regulation applications. Therefore, acomprehensive study on the power quality, impact on grid, extent of contribution, and cost benefit study of ESS are strongly being required. Under these backgrounds, this paper proposes a performance verification algorithm on ESS for frequency regulation application based on ananalysis of the AGC(Automatic Generation Control) performance verification method of PJM in USA. In addition,this paper proposes an economic evaluation algorithm on a 500 MW installation of ESS for frequency regulation applications using the account settlement of an expensive gas-fired generation plant and coal-fired power generation plant. From the simulation with real ESS operation data and 500 MW installation case, it wasconfirmed that the ESS showssuperior performance toany other conventional generators and provides anannual benefit of 500 MW ESS are between 345~429 billon won.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.9 no.5
• /
• pp.169-174
• /
• 2009

In this paper, We define convert rules objects and relation presented in object model to the state and operation domain in formal specification. we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.

• Journal of the Korean Society for Precision Engineering
• /
• v.17 no.2
• /
• pp.114-120
• /
• 2000

Fossil power plant availability is significantly affected by gradual degradations of equipment as operation of the plant continues. It is quite important to determine whether or not to replace some equipment and when to replace the equipment. Performance calculation and analysis can provide the information. Robustness in the performance calculation can be increased by using verification ＆ validation of measured input data. We suggest new algorithm in which estimation relation for validated measurement can be obtained using correlation between measurements. Input estimation model is obtained using design data and acceptance measurement data of domestic 16 fossil power plant. The model consists of finding mostly correlated state variable in plant state and mapping relation based on the model and current state of power plant.

• 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.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.22 no.3
• /
• pp.68-74
• /
• 2014

As the number of ECUs (Electronic control units) are increasing, reliability and functional stability of a software in an ECU is getting more important. Therefore the application of functional safety standards ISO 26262 is making the software more reliable. Software fault injection test (SFIT) is required as a verification technique for the application of ISO 26262. In case of applying SFIT, an artificial error is injected to inspect the vulnerability of the system which is not easily detected during normal operation. In this paper, the basic concept of SFIT will be examined and the application of SIFT based on ISO26262 will be described.

• Proceedings of the Korea Contents Association Conference
• /
• 2008.05a
• /
• pp.236-241
• /
• 2008

The Police are classed special service on civil service system. Most of special service officers are applied special personnal law. It is for this reason that organization and mission are different from general public officials. The police performance evaluation is enforced in dissimilar form with another civil services for these cause. This study proposed to verification formality about appraisal result to desirable operation of police performancce evaluation system. At system enforcement early, it may be desirable that verification is limited finally supervisors rating.

• Proceedings of the KIEE Conference
• /
• 2004.11b
• /
• pp.266-268
• /
• 2004

This paper presents the greenhouse gas emission trading scheme which is under progress as a pilot project at the power sector in preparation for UNFCCC. By referring UK's, Emission Trading is introduced incentive auction to maximize the reduction of greenhouse gas emission. At the 1st step, from year 2006 to 2008, only CO2 is regarded as an objective target to decrease but emission credit is excluded with an assumption and only 5 Generation company take part in as participants. The market operating procedure is composed of participants' registration, baseline verification, incentive auction, the registration of initial and yearly allocation, emission trading, yearly emission verification & approval, yearly obligation conformity, carry forward & incentive grant. It can be serve a guideline the whole aspects of emission trading which will start in 2006 including operation, verification and profit sharing.