• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.157-167
• /
• 2000

As the requirements of a software system become large and complex, it causes some problems such that requirements specification using formal methods becomes larger in its size and less understandable. In order to solve such problems, the concepts of modularity and object are adopted to specify the requirements. In addition, top-down and compositional approach to handle such requirements are also adopted. In our paper, we suggest an object-oriented Petri net, called HOONet, to hierarchically specify and verify the complex requirements by incorporating the concepts of modularity, object, abstraction and refinement into a formal method. Our HOONet method supports the incremental specification and verification of partially described or not yet fully analyzed requirements. We also show the applicability of our method by modeling and verifying the requirements of a reactor safety control system.

• Fire Science and Engineering
• /
• v.28 no.3
• /
• pp.29-33
• /
• 2014

Cleanroom fires were simulated by using Fire Dynamics Simulator. A grid size of $0.5{\times}0.5{\times}0.2m^3$ was selected following review of grid sizes. Fires in three large cleanrooms were investigated to confirm safety by applying the requirements on temperature, visibility, and carbon monoxide concentration in performance based design. The worst situation without sprinkler system and air flow of 0.1 m/s downward in the cleamrooms was considered. It was confirmed that all the three cleanrooms were safe in case without sprinklers since the temperature was below the safety requirement. Decrease in visibility and carbon monoxide concentration due to the fires were negligible.

• Journal of Electrical Engineering and Technology
• /
• v.12 no.2
• /
• pp.959-968
• /
• 2017

Electrical safety monitoring System (ESMS) is a critical component in modern power systems, which is characterized by large-scale access points, massive users and versatile requirements. For convenience of the information integration and analysis, the software development, maintenance, and application in the system, the cloud platform based ESMS is established and assessed in this paper. Firstly the framework of the system is proposed, and then the assessment scheme with a set of evaluation indices are presented, by which the appropriate cloud product can be chosen to meet the requirements of a specific application. Moreover, to calculate the weights of the evaluation indices under uncertainty, an improved interval AHP method is adopted to take into consideration of the fuzziness of expert scoring, the qualitative consistency test, and the two normalizations in the process of eigenvectors. Case studies have been made to verify the feasibility of the assessment approach for ESMS.

• Journal of the Korean Society of Systems Engineering
• /
• v.16 no.1
• /
• pp.68-77
• /
• 2020

The shipbuilding and offshore industry is a large and complex assembly industry, which causes many safety accidents. The major accidents in the shipbuilding and offshore industry workplaces are stenosis, falling objects, dust, fire, explosions, and gas poisoning. The accident by worker in this industry mainly has three factors: frequent movement, narrow work space, and increased use of subcontractors. To control these factors, it is necessary to monitor the worker's location and work status. In this paper, a worker location monitoring system using inaudible sound wave was designd that can be used in environments with many metal barriers. The process included deriving stakeholder requirements, transforming to system requirements, designing system architecture, and developing prototype. The prototype was validated by third-party testing agency. As a result, it satisfied the designed performance and verified its feasibility.

• Journal of the Korea Safety Management & Science
• /
• v.10 no.3
• /
• pp.117-126
• /
• 2008

RFID system the key technology of ubiquitous era, has been emphasized in logistics. Logistic enterprises are required to apply RFID systems considering their investment costs, actual effectiveness, operational satisfaction and so on. For such a purpose, many applicable methods of RFID system have been developed A method that RFID tags are directly attached to products or pallets is utilized in most cases. However, this method requires expensive investment cost, frequent replacement of damaged tags for the small and medium (SM) third party logistics. In this paper, we analyze statistically the current status and requirements of SM third party logistics. Based on their requirements, we propose the realtime warehousing-delivery management by the method to attach a RFID tag to each warehouse rack, together with the economy analysis index in order to evaluate economical efficiency. Consequently, this method is expected to reduce Investment cost and to improve operational effectiveness and satisfaction.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.1798-1805
• /
• 2010

The Railroad Safety Technology R&D Program has been supported by the Ministry of Land, Transport and Maritime Affairs. The Program consists of dozen or more projects and thus is quite complex, which requires effective project management. This paper is discussing how to effectively manage the railroad safety technology R&D program based on systems engineering management plan (SEMP). The key issues dealt in this paper include the SE management, requirements management, verification and validation, integrated data base management, and traceability management. To achieve the goal, we first defined an appropriate SE process to be adopted in the program and the result was documented in the systems engineering management plan. According to the process defined, we set up the environmental frame in database. Using the database and SEMP, each project of the program was verified with respect to the corresponding requirements utilizing the traceability. All these efforts were carried out using a computer-aided SE tool, which enables efficient management of complex database.

• Safety and Health at Work
• /
• v.5 no.3
• /
• pp.165-167
• /
• 2014

The Dutch construction industry has introduced a compulsory preemployment medical examination (PE-ME). Best-evidence contents related to specific job demands are, however, lacking and need to be gathered. After the identification of job demands and health problems in the construction industry (systematic literature search and expert meeting), specific job demands and related requirements were defined and instruments proposed. Finally, a work ability assessment was linked to the instruments' outcomes, resulting in the modular character of the developed PE-ME. Twenty-two specific job demands for all Dutch construction jobs were identified, including kneeling/squatting, working under time pressure, and exposure to hazardous substances. The next step was proposing self-report questions, screening questionnaires, clinical tests, and/or performance-based tests, leading to a work ability judgment. "Lifting/carrying" is described as an example. The new modular PE-ME enables a job-specific assessment of work ability to be made for more than 100 jobs in the Dutch construction industry.

• International Journal of High-Rise Buildings
• /
• v.2 no.2
• /
• pp.123-130
• /
• 2013

In the past two decades, researchers from different countries have conducted series of experimental and theoretical studies to investigate the behaviour of structures in fire. Many new insights, data and calculation methods have been reported, which form the basis for modern interdisciplinary structural fire engineering. Some of those methods are now adopted in quantitative performance-based codes and have been migrated into practice. Mainly based on the achievements in structural fire research at China, the Chinese national code for fire safety of steel structures in buildings has been drafted and approved, and will be released in this year. The code is developed to prevent steel structures subjected to fire from collapsing, ensure safe evacuation of building occupants, and reduce the cost for repairing the damages of the structure caused by fire. This paper presents the main contents of the code, which includes the fire duration requirements of structural components, fundamental requirements on fire safety design of steel components, temperature increasing of atmosphere and structural components in fire, loading effect and capacity of various components in fire, and procedure for fire-resistant check and design of steel components. The analytical approaches employed in the code and their validation works are also presented.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.4 no.3
• /
• pp.19-28
• /
• 2000

In general the data such as thrust, pressure, temperature and combustion time are measured in developing the propulsion system of solid rocket motor through static firing test. But in the case of personal surface to air missile there are required a severe safety specifications in order to eliminate gunner hazard from the exhaust plume of motors. The safety requirements lead to the design of separation device and safety igniter device. The dynamic firing test for the designed two devices should be conducted under the flight environmental conditions to verify the requirements compliance. In this study the technique for dynamic firing test of propulsion system of personal surface to air missile is proposed and the method to design the dynamic test bench is also studied.

• Journal of the Korea Safety Management & Science
• /
• v.19 no.1
• /
• pp.103-114
• /
• 2017

The objective of this study is to analyze the needs and determine the requirements of elder drivers for effectively using In-vehicle Information System (IVIS), by reducing cognitive and physical impact on this vulnerable group. The persona method was used to determine the relevant characteristics of older drivers. Task analysis was performed in order to obtain general interaction problems of the personas when using a common function of recent days IVIS. The results were classified in the different usability goals as general requirements, specific needs. This study suggest improvement directions in order to develop an elderly friendly IVIS; in addition, different usability metrics were suggested. In this way, elder drivers would easily interact with new powerful functions supplied by IVIS of modern cars; while improving safety and comfort of an rapidly aging society.