• Journal of the Korean Society for Railway
• /
• v.19 no.1
• /
• pp.29-37
• /
• 2016

The type approval system of the railway safety law, which was enforced in 2014, has been preferentially applied to the field of railway vehicles. The type approval system addresses railway vehicles and railway constituents. Unlike the previous system, it requires serial verification stages divided, in consecutive order, into verification of design compatibility and conformity and type test. These stages are in accord with international certification systems including TSI certification of the European commission. This study has been carried out to find and meet the design requirements for a coupler head, which is a part of the automatic coupler system; requirements were drawn from TSI and technical specifications that are subordinate to the domestic railway approval system. Through this study, it has been found that there exist 34 design requirements to acquire a complete coupler head. Among those requirements, 32 were verified by document inspection and two were able to be verified by performing FEA and gathering range analysis data.

• Journal of the Health Care and Life Science
• /
• v.11 no.2
• /
• pp.173-180
• /
• 2023

In this study, senior general hospital, general hospital medical institutions certified by the Electronic Medical Record System Management Portal in 2021 were surveyed on the recognition of changes in medical information management and EMR system functionality. Through verification, it was implemented to promote future development of the certification system and long-term development of the electronic mandatory record certification system. A total of 1,189 respondents were used for final analysis using structured questionnaires, and in particular, differences in recognition of certification systems and system functionality after EMR certification were verified by conducting average analysis and ANOVA. As a result of analysis, the electronic mandatory record certification system was confirmed to affect positive work changes and perceptions on medical institution workers, and after certification of the electronic mandatory record system, it showed operational effects in many ways. Based on the results of this study in the future, communication follow-up research is needed.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.1669-1679
• /
• 2010

Related to the on-going "Train Control System Project of Pilot Line Construction for Urban MAGLEV Train", activities by each phase shall be conducted to achieve SIL4 level and obtain safety certification from the Independent Safety Assessment(ISA), based on the IEC standards((IEC 62278/62279 and IEC 62425) for the first time in Korea. This thesis describes the introduction of IEC standards, system assurance activities (such as plan, analysis, test, verification and validation) in compliance with requirements management and project life-cycle and relations with the safety assessment activities; and certification activities (such as document reviews and audits) through system RAMS activities, software quality assurance activities and safety assessment, for the purpose of achieving a successful safety certification at the time of completing the project as system assurance activities including software and safety certification activities in order to acquire the safety certification for train control system which does not exist at all in domestic cases. It is believed that overall system safety assurance activities in this project will contribute to develop more upgraded products of the domestic train control system on the quality and safety point of view, find overseas markets and establish a bridgehead in the future.

• Journal of Aerospace System Engineering
• /
• v.15 no.4
• /
• pp.64-74
• /
• 2021

Unmanned Aircraft Systems (UAS) are rapidly emerging not only as a key military power, such as surveillance and reconnaissance for military purposes but also as a new air transportation means in the form of Urban Air Mobility (UAM). Currently, airworthiness certification is carried out focused on the verification of technical standards for flight safety suitability of aircraft design in accordance with the Military Aircraft Flight Safety Certification Act and does not employ the model for operational risk assessment for mission areas and airspace. In this study, in order to evaluate the risk of the mission area from the perspective of the UAS operator, a risk assessment simulation has been conducted by applying the Specific Operations Risk Assessment (SORA) model to the operating environment of the Korean military UAS. Also, the validity of the SORA model has been verified through the analysis of simulation results, and a new application plan for airworthiness certification of the military unmanned aerial system has been presented.

• Journal of the Society of Disaster Information
• /
• v.16 no.3
• /
• pp.558-576
• /
• 2020

Purpose: This study wanted to empirically study the effects of ISO 22301 and ISMS certification requirements on Business Performance. Method: For research, a survey was conducted on ISO 22301 and ISMS-certified companies to collect data and use SPASS18 and AMOS18 for statistical analysis. Results: Verification of the hypotheses through the questionnaire demonstrated that BCP, BCM operation, management, and access control of ISO 22301 and ISMS certification requirements, including BIA, risk assessment, BCP, BCM, BCM operation, management, and access security requirements, affect the enterprise's performance (quality improvement, customer satisfaction, financial performance) through the intermediation of the enterprise culture, and the feasibility of the survey paper is high. Conclution: This study has derived the impact of ISO 22301 and ISMS certification requirements on business performance, and based on this, it is deemed necessary to present improvements to ISO 22301 and ISMS certification, and to study future ISO 22301 certification activation and domestic certification, BCMS.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.22 no.2
• /
• pp.85-91
• /
• 2021

The DAPA (Defense Acquisition Program Administration) has been operating the DQ mark certification since 2012 to certify the superior technology and quality of munitions. On the other hand, the current DQ mark certification can not directly provide DQ mark certification to software because it is impossible to verify the quality of software alone. Therefore, this study analyzed domestic/overseas software quality evaluation/certification standards to find a way to verify the quality of software in the DQ mark certification. Among them, the method of applying the GS certification according to the international standard ISO/IEC 25000 series to the DQ mark certification was suggested as an improvement plan, and DQ mark certification verified the quality of software and provided certification. An attempt was made to expand the certification scope of DQ mark certification. This paper proposes that the DQ mark can be given to the system software by introducing GS certification to the DQ mark certification. To this end, an improved procedure for omitting the factory audit and verification by submitting a GS certificate for product evaluation is proposed. This is expected to increase defense exports using the granted DQ mark and improve the quality of defense software products through GS certification.

• Journal of Aerospace System Engineering
• /
• v.17 no.1
• /
• pp.33-41
• /
• 2023

As seen in the case of the Boeing 737 Max accident, the proportion of aircraft software is rapidly increasing. However, it is vulnerable to safety issues. In case of domestic aircraft software, to operate a Light Unmanned Aerial Vehicle (LUAV) less than an empty weight of 150 kg, safety certification is required for an Ultra-Light Vehicle (ULV). However, software certification procedure is not included. Since the use of LUAVs has increased recently, software verification is required. This paper proposed a checklist of LUAV software that could be applied to LUAV referring DO-178C, an aviation software certification standard. A case study of applying the proposed checklist to the Model-based Development-based Helicopter Flight Control Computer (FCC) project currently used by domestic and foreign advanced companies and institutions was conducted.

• Nuclear Engineering and Technology
• /
• v.48 no.2
• /
• pp.404-418
• /
• 2016

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.

• IEIE Transactions on Smart Processing and Computing
• /
• v.3 no.5
• /
• pp.298-305
• /
• 2014

In this study, a novel Randomly Shifted Certification Authority Authentication protocol was used in ad hoc networks to provide authentication by considering the MAC layer characteristics. The nodes achieve authentication through the use of public key certificates issued by a CA, which assures the certificate's ownership. As a part of providing key management, the active CA node transfers the image of the stored public keys to other idle CA nodes. Finally the current active CA randomly selects the ID of the available idle CA and shifts the CA ownership by transferring it. Revoking is done if any counterfeit or duplicate non CA node ID is found. Authentication and integrity is provided by preventing MAC control packets, and Enhanced Hash Message Authentication Code (EHMAC) can be used. Here EHMAC with various outputs is introduced in all control packets. When a node transmits a packet to a node with EHMAC, verification is conducted and the node replies with the transmitter address and EHMAC in the acknowledgement.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.65 no.4
• /
• pp.242-249
• /
• 2016

The railway system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for railway system was started to become influential as the important issue. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented a software coding analysis tool using symbolic execution for railway system, and presented its result of implementation.