• Journal of the Korea Safety Management & Science
• /
• v.19 no.2
• /
• pp.51-61
• /
• 2017

The purpose of this study is to investigate EU, UK and USA's laws and standards related to safety criteria for commercial kitchen machines. The study was based on literature survey and web surfing. The results revealed that EU has relevant directives by kitchen machines and harmonized standards according to the directives. The directives and harmonized standards are translated into the laws and standards of EU member countries, respectively. The kitchen facility relevant legal systems of UK and USA do not prescribe the safety devices or measures, but only the basic health and safety requirements. The requirements were forcefully implemented through the certificate systems such as CE(Confommite European), UL(Underwriters Laboratories), etc. Only products with CE, UL or NRTL(ationally Recognized Testing Laboratory) certificate marking can be placed on the market of EU and USA, or put into service. For achieving the certificates, all requirements regulated in the relevant standards should be met. The standards of UK and USA were presented by kitchen machines or by standards themselves, respectively. Safety devices required by the standards were also summarized by kitchen machines and their risk factors.

• Journal of the Korean Society of Safety
• /
• v.25 no.3
• /
• pp.66-70
• /
• 2010

This paper analyzes difference between current tunnel ventilation calculation method and advanced one which considers effects of polluted air recirculation near tunnel portals. For the calculation, CFD(Computational fluid dynamics) technique was utilized. From the result, it was found that 4.38% more fresh air is required when there is polluted air recirculation near tunnel portal areas. Hence, it is recommanded that the consideration of polluted air recirculation should be made when deciding the ventilation requirements for tunnel.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1416-1423
• /
• 2007

Dynamic instability of the railway bridge can cause track irregularities and be directly connected with unstable passenger comfort and derailment of the train. Europe and Japan had studied on this problem for a long time since 1960's, Results of those studies are reflected in recent Eurocode and the bridge design code of Japanese railway bridges. However, even though some traffic safety requirements were applied in Kyoung-bu highspeed railway by French engineers, we experienced many difficulties from insufficient information of criteria background and application procedures. In this paper, a investigation of recent traffic safety requirements of Europe and Japan for railway bridges will be introduced and application procedures for the estimation of dynamic performance will be proposed.

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

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.8
• /
• pp.49-55
• /
• 2016

In this study, we proposed the social map system prototype for intelligent crime prevention. For developing the social map system prototype, functional requirements were derived through the analysis of related cases and preceding studies. Derived requirements are providing a variety of map-based safety information, using crowdsourcing data such as SNS, connecting to intelligent CCTV. To satisfy these requirements, the prototype is developed with four main menus: the integrated search menu including social media data, the safety map menu providing a variety of safety and danger information, the community map menu to collect safety and danger information from users, and the CCTV menu providing the link to intelligent CCTV. The social map for intelligent crime prevention in this study is expected to greatly enhance the safety of local community with the provision of prompt response to risk information, safe route, etc. through actual service and user participation.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.731-740
• /
• 2008

A railway control system is one of the typical safety-critical systems. It is required to use formal methods for the requirements specification and verification in order to develop the global-standard railway control systems based on the computer systems. In this paper, we develop a guideline for requirements specification using formal methods, and present a case study of the development of a computer-based railway control system through the application of the proposed guideline. We use the Statechart and the Z method for the formal requirements specifications and verify the consistency and completeness of the formal specifications of the requirements.

• Nuclear Engineering and Technology
• /
• v.31 no.6
• /
• pp.66-82
• /
• 1999

The national long-term R&D program, updated in 1997, requires Korea Atomic Energy Research Institute(KAERI) to complete by the year 2006 the basic design of Korea Advanced Liquid Metal Reactor(KALIMER), along with supporting R&D work, with the capability of resolving the issue of spent fuel storage as well as with significantly enhanced safety. KALIMER is a 150 MWe pool-type sodium cooled prototype reactor that uses metallic fuel. The conceptual design is currently under way to establish a self-consistent design meeting a set of major safety design requirements for accident prevention. Some of the current emphasis includes those for inherent and passive means of negative reactivity insertion and decay heat removal, high shutdown reliability, prevention of and protection from sodium chemical reaction, and high seismic margin, among others. All of these requirements affect the reactor design significantly and involve extensive supporting R&D programs. This paper summarizes some of the results of conceptual engineering and design analyses performed for the safety of HAMMER in the area of inherent safety, passive decay heat removal, sodium water reaction, and seismic isolation.

• Proceedings of the Korean Reliability Society Conference
• /
• 2011.06a
• /
• pp.271-279
• /
• 2011

Automotive safety integrity level of hardware components can be achieved by satisfying quantitative and qualitative requirements. Based on ASIL, quantitative requirements are composed of hardware architectural metrics and evaluation of safety goal violations due to random hardware failures in ISO 26262. In this paper, the types of hardware failures will be defined and classified. Based on various metrics related with hardware failures, design essentials to achieve hardware safety integrity will be studied specifically. Issues associated with hardware development and assessment process are presented briefly.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.2070-2074
• /
• 2008

It is necessary to develop the requirement management system that could trace hazards and manage safety requirements for risk control of railway accident as low as reasonably practicable. In this paper, the requirement management system for control of railway accident risk is introduced. The requirement management system is containing the railway system configuration and safety activity related with identified hazards. The system shall be used to derive safety requirements for risk controland support the traceability of hazards on railway's operation & management. In the future, the system will be applied in the areas such as risk assessment and management, performing safety assurance and revising national regulations etc. for continuous safety improvement in the railway.

• Journal of the Korean Society of Safety
• /
• v.36 no.5
• /
• pp.36-42
• /
• 2021

Portable ladders are widely used as ascend and descend pathways and platforms for works at height at residential and industrial sites. In the last 10 years, 267 fatalities and 36,571 accidents related to portable ladders have been reported, suggesting a need to develop countermeasures to prevent such accidents. In this study, an in-depth focus group interview (FGI) was conducted with various stakeholders of portable ladders to survey the current usage and requirements for improving work safety. A new portable ladder called active platform ladder was developed based on the requirements suggested by the FGI. A stability test confirmed that the developed ladder is more stable than conventional ones, suggesting that it can reduce the fall accidents.