• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.227-232
• /
• 1997

본 연구에서는 원자로의 충수 및 배기가 완료된 상태에서부터 원자로 출력 2%까지의 운전을 자동화한 원전 가열운전 자동화시스템을 개발하였다 본 시스템을 개발하기 위해 운전절차서와 운전원 업무경험을 바탕으로 운전모드, 자동화 범위, 자동제어대상 등을 선정하였고, 이를 기반으로 지능형 감독자시스템, 디지털 분산제어시스템, 그리고 신호연계시스템으로 구성된 가열운전 자동화시스템을 개발하였다. 개발된 시스템의 성능을 확인하기 위해 993 MWe급 가압경수로를 모의화한 계측제어 시험검증설비와 연계하여 검증 실험을 수행하였다.

• Journal of the Institute of Convergence Signal Processing
• /
• v.10 no.4
• /
• pp.274-279
• /
• 2009

The flow of a universal system-level design methodology consists of system specification, system-level hardware/software partitioning, co-design, co-verification using virtual or physical prototype, and system integration. In this paper, verification environments based-on SystemVerilog and SystemC, one is native-code co-verification environment which makes prompt functional verification possible and another is SystemVerilog layered testbench which makes clock-level verification possible, are implemented. In native-code co-verification, HW and SW parts of SoC are respectively designed with SystemVerilog and SystemC after HW/SW partitioning using SystemC, then the functional interaction between HW and SW parts is carried out as one simulation process. SystemVerilog layered testbench is a verification environment including corner case test of DUT through the randomly generated test-vector. We adopt SystemC to design a component of verification environment which has multiple inheritance, and we combine SystemC design unit with the SystemVerilog layered testbench using SystemVerilog DPI and ModelSim macro. As multiple inheritance is useful for creating class types that combine the properties of two or more class types, the design of verification environment adopting SystemC in this paper can increase the code reusability.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.11
• /
• pp.479-486
• /
• 2015

Model checking method is able to check all possible cases automatically and is applicable to specifications or design before actual implementation so that some critical systems have adopted this method actively. However, the current practice of software verification is largely dependant on basic methods such as manual testing because of lack of understanding about this rigorous method and high verification cost. In this paper we conducted an experimental research for the automated verification using the SPIN model checker on an online-game server to study the applicability of the technique in this domain. The results show that we could verify major features of the online-game server party system with 5~7 GB memory and within 10 minutes execution time, and also found a hidden system error that passed existing testing process. This result shows the possibility of rigorous and effective verification with reasonable cost in comparison to manual testing.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.11 no.2
• /
• pp.45-58
• /
• 2001

There are relatively many research results of the validation of the cryptography. But few researches on the validation of cryptography implementations were accomplished. However, developer\`s misunderstanding the crypto-algorithm or a mistake in implementation of the crypto-a1gorithm leads to lose reliability of security products. Therefore, as validation of the crypto-algorithm itself also validation of the implementation is important. The major objective of this paper is to propose Security Products Validation Tool. Our tool validates implementation of the public key algorithm (RSA. KCDSA) and hash algorithm (SHA-1, HAS-170). The validation process is composed of several items and our tool performs validation teats for conformance to related standard.

• Journal of Broadcast Engineering
• /
• v.21 no.5
• /
• pp.792-802
• /
• 2016

Real time verification is necessary, since there are several features that cannot be verified through design simulation in the design of multiband soundbar system. And then this paper describes an implementation of an FPGA-based real-time verification system for a soundbar SoC with an embedded processor. It is verified a real-time performance test and a listening test which are several features in the design stage that cannot be verified through a design simulation. The measurement of quantitative specifications such as SNR, THD+N, frequency response, etc. as well as the listening test were performed through the implemented FPGA system, and it was verified that test results satisfied the target specifications.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.06a
• /
• pp.88-90
• /
• 2022

For the quality management of software developed in Marine digital AtoN Information management and service system development project, an international standard-based quality process and a project management system-based communication and information sharing system were established. In addition, high-quality software development is achieved by monitoring the status of project output creation and supporting software quality inspection and verification.

• Journal of Industrial Convergence
• /
• v.20 no.11
• /
• pp.57-63
• /
• 2022

If ECU data, which is responsible for collecting and processing data such as sensors and signals of automobiles, is manipulated by an attack, it can cause damage to the driver. In this paper, we propose a system that verifies the integrity of automotive ECU data using blockchain. Since the car and the server encrypt data using the session key to transmit and receive data, reliability is ensured in the communication process. The server verifies the integrity of the transmitted data using a hash function, and if there is no problem in the data, it is stored in the blockchain and off-chain distributed storage. The ECU data hash value is stored in the blockchain and cannot be tampered with, and the original ECU data is stored in a distributed storage. Using the verification system, users can verify attacks and tampering with ECU data, and malicious users can access ECU data and perform integrity verification when data is tampered with. It can be used according to the user's needs in situations such as insurance, car repair, trading and sales. For future research, it is necessary to establish an efficient system for real-time data integrity verification.

• Digital Contents
• /
• no.1 s.68
• /
• pp.37-41
• /
• 1999

지식공유시스템은 업무 노하우를 어떻게 지속적으로 축적하고 검증하며, 사용을 활성화 할 수 있도록 하는가가 성패의 열쇠라 할 수 있다. 이를 위해서는 지식의 창조, 수집, 검증 및 활용을 지원하기 위한 전담조직과 지식창조의 동기부여를 위한 제도적인 지원이 필수적이다. 삼성SDS 지식공유시스템인 아리샘의 구축 및 운영 과정에 대해 기술해본다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.8
• /
• pp.77-83
• /
• 2016

International standards for systems safety have been established in various areas of industry. Such standards recommend that safety design activities be carried out early on in the beginning of systems development. Hazard analysis should be done in close interaction with the conceptual design of the system. This paper focuses on how to verify whether the safety goals are met while considering system design issues. The architecture of the underlying system was first modeled using SysML, a systems modeling language, and then hazard analysis was performed based on architectural information to obtain a system failure model. Thereafter, an integrated model was developed by combining the SysML failure model and the architectural model, and then safety designs were added to prevent system failure. Finally, a simulation of the developed model was performed to see if a system functions even when some components are failing.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2015.10a
• /
• pp.133-134
• /
• 2015

전처리 공정장치 구축에 앞서 정확한 설계와 검증이 선행되어야 한다. 우선 디지털 목업 기술을 통해 설계검증을 철저히 함으로써 공정의 품질을 높이고 공정하자를 최소화 할 수 있다. 전처리 공정 중 집합체해체 핵심장치의 유지보수를 쉽게 하고, 원격 제어 효율을 높이기 위한 모듈화와 그에 대한 사전 검증을 수행하였다. 이를 위해해 전처리 디지털 목업 시스템 검증 대상과 집합체 해체핵심장치 주요모듈을 선정하였으며, 주요 모듈의 모듈화 방안 과 모듈 탈착 시간 검증하였다. 그 결과, 집합체해체 핵심장치에서는 5개의 주요 모듈로 구성되었으며, 모듈 탈착 시간 검증에서 작업시간은 클램프모듈이 약 130초, 언볼팅, 드릴링 모듈이 140초 소요될 것으로 분석되었다. 향후 전처리장치별 모듈 분석과 LAYOUT 운영을 포함해서 MSM 시뮬레이터의 디바이스 및 시뮬레이터 시스템 구축을 수행할 것이다.