• Land and Housing Review
• /
• v.11 no.3
• /
• pp.83-92
• /
• 2020

In South Korea, problems caused by material deterioration of time-worn concrete structures have been increased recently. Because severe material deterioration could damage the structure's safety, it's important to evaluate the old structure's condition and structural capacity regularly to keep its proper performance. The safety evaluation of concrete structures has been initiated and performed periodically since 1995 according to a guideline in accordance with a law in Korea. The guideline prescribes the evaluation types, intervals and methods of the target structure. A lot of cost and labor have been invested every year to carry out the regular safety evaluation. However, it's not clear that the current manual could inspect the old structure's condition and assess the structural capacity precisely. Thus, the verification study initiated to figure out the Korean safety evaluation manual's practicalness. First, the Korean manual was analyzed and then compared with that of other countries for concrete bridges which are representative concrete structure. After that, the previously written evaluation reports were collected and analyzed to find out how the safety evaluation has been carried out. Based on the study results, the parts requiring verification of the manual were drawn. A research program is in progress in order to verify the parts by performing tests with actual structural members from decommissioned concrete bridges.

• Proceedings of the KSR Conference
• /
• 2005.11a
• /
• pp.575-580
• /
• 2005

In this study, safety requirement & criteria for high-speed rail system were developed for safety verification as a national rules and regulations. Safety criteria were presented through analysis of high-speed rail development specification, survey of related regulations for safety requirements. and review of operation compatibility with domestic rail system. Finally, safety rule consist of system safety requirements and safety criteria for technical parts.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.936-940
• /
• 2007

This paper is about the study on the verification method for railway system SIL which is frequency of hazard, composing Risk, one of the measurement standards for railway system safety. Frequency of hazard can be identified by using FMECA, or HAZOP, and the assessment of identified dangerous failure rate should be done by systematic methods such as FTA. Therefore, this paper provides the hazard identification level for SIL verification and the requirements necessary to verify the integrity of analysis activity.

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.20 no.1
• /
• pp.111-118
• /
• 2022

The denuclearization of North Korea was unpredictable and resulted in radical changes. Despite the skepticism and disappointment surrounding denuclearization, it is important for certain verification technologies to establish what is technically possible or practically impossible, and how reliable these technical means are. This article presents the technical hurdles in nuclear verification by systematically categorizing them into issues of correctness and completeness. Moreover, it addresses the safety and security risks during the denuclearization process, including the radiological impact on humans, environmental effects, and the illegal transfer of material, information, and technologies.

• The KIPS Transactions:PartD
• /
• v.12D no.7 s.103
• /
• pp.931-936
• /
• 2005

There may be subtle errors in embedded software since its functionality is very complex. Thus formal verification for detecting them is very needed. Model checking is one of formal verification techniques, and SLAM is a well-known software model checking tool for verifying safety properties of embedded C program. In this paper, we develop a software model checker like SLAM for verifying embedded Java program Compared to SLAM, our tool allows to verify liveness properties as well as safety ones. As a result, we verify some desired properties in embedded Java program for controlling REGO robot.

• Convergence Security Journal
• /
• v.8 no.4
• /
• pp.191-197
• /
• 2008

A safe computer environment is necessarily required for computer users, because of a damage is widely increased by a malicious software such as the warm, virus and trojan horse. A general vaccine program can detect after the malicious software intruded. This kinds of the vaccine program show good result against a malicious code which is well known, however, there is no function in the vaccine or not enough ability to detect an application software which a malicious code included. So, this paper proposes an application verification system to decide existence and nonexistence of a malicious code in the application software. The proposed application verification system with a mechanism that grasps the flow type of malicious code, can make a reduction of a damage for computer users before the application software executed.

• Human Ecology Research
• /
• v.53 no.6
• /
• pp.655-665
• /
• 2015

This study classified respondents by food-lifestyle and investigated differences in diet-related attitudes and demographic variables among food-lifestyle groups. Diet-related attitudes consisted of variables such as interest in diet, trial number of diet, diet period, weight loss, diet motivation, verification of products approved by the Ministry of Food and Drug Safety, verification of manufacturer's reliability, examination of damage cases and side effects, and awareness of consumer protection law. This study administered a questionnaire survey to adults between the ages of 20 and 39 who lived in Daegu and Uijeongbu from November 17th to December 14th 2014. Data collected from 293 respondents were analyzed using descriptive statistics, factor analyses, cluster analysis, analysis of variance (ANOVA) and chi-square tests. Four clusters (passive eating habit group, active eating habit group, convenience oriented group, and taste and health oriented group) were developed according to four factors of food-lifestyle (health-conscious, popularity-seeking, taste-seeking, convenience-seeking). The results of the ANOVA and chi-square tests indicated significant differences in interest in diet, awareness of consumer protection law, verification of products approved by the Ministry of Food and Drug Safety, verification of manufacturer's reliability, examination of damage cases and side effects, gender, education levels and household monthly income levels among food-lifestyle groups.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.1
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• Journal of the Korean Society of Safety
• /
• v.32 no.5
• /
• pp.96-102
• /
• 2017

The highest fatal accident ratio was recorded in the construction industry. According to the industrial insurance premium rate & business type example, among the construction industry, the architectural work has the highest fatal and loss time accident ratio. Previous literature has investigated various aspects of accident occurrence and prevention in architectural work. However, those studied were limited in that they only focused on the fatal accident without considering the loss time accident. But non fatal accidents were recorded more than 50 times of fatal accidents. Therefore non fatal accidents must be controlled to lessen industrial accidents. Based on this, the goal of this study was to investigate the nature of the loss time accident and derive the risk index of work type in architectural work. In this study, opinions of safety experts were gathered and the risk index of work type was derived using AHP(Analytic Hierarchy Process). And verification was accomplished by comparing the results of this study with the risk index derived by analysis of accident records. Results showed that the risk index of work type was significantly higher in steel frame work, temporary installation work, earth & foundation work, facilities work, concrete work. And statistical analysis for verification showed that coefficient of Pearson correlation was 0.686 and P-value was 0.001.

• International Journal of Aerospace System Engineering
• /
• v.9 no.1
• /
• pp.1-15
• /
• 2022

Pyrotechnic initiators provide a source of pyrotechnic energy used to initiate a variety of space mechanisms. Pyrotechnic systems build in electromagnetic environment that may lead to critical or catastrophic hazards. Special precautions are need to prevent a pulse large enough to trigger the initiator from appearing in the pyrotechnic firing circuits at any but the desired time. The EMC verification shall be shown by analysis or test that the pyrotechnic systems meets the requirements of inadvertent activation. The MIL-STD-1576 and two range safeties, AFSPC and CSG, require the safety margin for electromagnetic potential hazards to pyrotechnic systems to a level at least 20 dB below the maximum no-fire power of the EED. The PC23 is equivalent to NASA standard initiator and the 1EPWH100 squib is ESA standard initiator. This paper verifies the two safety margins for electromagnetic potential hazards. The first is verified by analyzing against a RF power. The second is verified by testing against a DC current. The EMC safety margin requirement against RF power has been demonstrated through the electric field coupling analysis in differential mode with 21 dB both PC23 and 1EPWH100, and in common mode with 58 dB for PC23 and 48 dB for 1EPWH100 against the maximum no-fire power of the EED. Also, the EMC safety margin requirement against DC current has been demonstrated through the electrical isolation test for the pyrotechnic firing circuits with greater than 20 dB below the maximum no-fire current of the EED.