• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.2056-2062
• /
• 2009

Recent advances in computer technology have brought more dependence on software to train control systems. Hence, the safety assurance of the vital software running on the railway system is very critical task and yet, not many works have been done. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety, especially for the vital software running on board train controllers. In this paper, we have developed the static software testing tool for railway signaling, especially Fagan Inspection supporting tool. This static testing tool for railway signaling can be utilized at the assessment phase, and also usefully at the software development stage also. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.2044-2049
• /
• 2009

Recent advances in computer technology have brought more dependence on software to railway signaling systems. Hence, the safety assurance of the vital software running on the railway signaling system is very critical task and yet, not many works have been done. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety. In this paper, we suggested an automated analysis tool for S/W change impact in railway signaling system, and presented its result of implementation. The analysis items in the implemented tool had referred to the international standards in relation to the software for railway signaling system, such as IEC 61508 and IEC 62279. In these international standards, 'change impact analysis' for railway signaling system S/W has to be required mandatorily. The proposed tool can be utilized at the assessment stage and also the software development stage.

• 항공우주시스템공학회지
• /
• 제9권1호
• /
• pp.19-27
• /
• 2015

The Technical Standard Order articles are the parts and appliances for which the civil aviation authority designates as it is necessary to standardize for the expedited certification process and aviation safety. TSO articles were used on the type certified aircraft as replacement parts in the early days of TSO authorization system, but those articles are widely used on the newly developed aircraft as well in these days. In this paper, we compared the differences of the TSO authorization systems between FAA and EASA, and proposed the rulemaking items to improve Korean TSO authorization system and to contribute to growth of aviation industry.

• Nuclear Engineering and Technology
• /
• 제48권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.

• International Journal of Internet, Broadcasting and Communication
• /
• 제14권1호
• /
• pp.209-218
• /
• 2022

Today, with the development of the Internet and mobile technology, consumers' purchasing patterns have shifted from offline to online. In addition, due to the recent COVID-19, online purchases have significantly increased, and accordingly, the courier industry for logistics delivery has also grown significantly. Various logistics robots are being operated in many industrial and can reduce the labor intensity and physical and mental fatigue of workers. However, if the logistics robot does not properly recognize the people or environment around it, it can lead to a serious accident. We conducted that how logistics robots can perform safe work in a working environment such as a logistics warehouse through the application of ISO/DIS 21448 (SOTIF) to autonomous logistics transport robots. This result is expected to contribute to the operation of unmanned logistics warehouses using AGV.

• 한국안전학회지
• /
• 제10권3호
• /
• pp.81-95
• /
• 1995

Now, safety assurance in construction sites should be accomplished by its own organization rather than control of the code or government. It is believed that the safety assurance can be considerably improved by a lecture or an education using the existing theories or literatures up to now, but it is thought that fundamental safety assurance we not able to be accomplished without developing safety devices '||'&'||' equipment or taking fundamental measures, based on the result analyzed from workers behaviors. There are various behaviors of the workers showed in construction site, but only tests for hammerusing works such as form, re-bar, stone workers directly related to the grip strength are mainly performed, investigated and measured here for the study. The above works are similar to power grip, 7th picture on seven items which are categorized for hand grip types(Ammermin 1956 ; Jones ; Kobrick 1958). Measurements of grip strength are commonly taken in anthropometric surveys. They are easy to administer but unfortunately it is rather dubious whether they yield any data that are of interest to the engineer. Very fewer controls of tools are grasped and squeesed studies showed very little overall correlation between grip strength and other measures of bodily strength (Laubach, Kromer, and Thordsen 1972), but hammer-using work which is practically progressed in construction site are mainly influenced with grip strength. According to the investigation on work measurement, it is shown that 77% of form worker are using hammer to be related to grip strength. In this study, it is particularly noticed that wearing safety gloves in construction site is required for workers safety but 20% difference between grip strength with safety gloves and without ones are commonly neglected in the site(Fig. 1). Nevertheless, safety operation with consideration of the above 20% difference is not considered in the construction site. Factors of age, kinds of work, working time, with or without safety gloves are in vestigated '||'&'||' collected at the sites for this study. Test, not at each working hour but at 14 : 00 when the almost all of the workers think the most tired, resulting from the questionaires, also when it is shown on the research report has been performed and compared for main kinds of works : form '||'&'||' re-bar work. Tests were performed with both left SE rightand of the workers simultaneously in construction site using Rand Dynamometer(Model 78010, Lafayette Instrument Co., Indiana, U.S.A) by reading grip strength on the gauge while they are pulling, and then by interviewing on their ages, works, experiences and etc., directly. The above tests have been performed for the dates of 15th march-26th May '95 with consideration of site condition. And even if various factors of ambient temperature on the testing date, working condition, individual worker's habit and worker's condition of the previous ate are concerned with the study. Those are considered as constants in this study. Samples are formwork 53, rebar 62, electrician 5, plumber 4, welding 1 from D construction Co., Ltd, ; formwork 12, re-bar 5, electrician 2, from S construction Co., Ltd, , formwork 78, re-bar 18, plumber 31, electrician 13, labor 48, plumber 31, plasterer 15, concrete placer 6, water proof worker 3, maisony 5 from B construction Co., Ltd. As In the previously mentioned, main aspect to be investigated in this study will be from '||'&'||' re-bar work because grip strength will be directly applied to these two kinds of works ; form '||'&'||' re-bar work, eventhough there are total 405 samples taken. It is thought that a frequency of accident occurrence will be mainly two work postures "looking up '||'&'||' looking down" to be mainly sorted, but this factor is not clarified in this study because It will be needed a lot of work more. Tests has been done at possible large scale of horizontally work-extended sites within one hour in order to prevent or decrease errors '||'&'||' discrepancies from time lag of the test. Additionally, the statistical package computer program SPSS PC＋has been used for the study.

• 한국군사과학기술학회지
• /
• 제10권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.

• 한국안전학회지
• /
• 제30권2호
• /
• pp.41-47
• /
• 2015

Recently, a lot more disasters in the temporary structures happen because the stabilities of the temporary structures are disregarded by the reduction of the unit cost, using defective materials, the existing materials and so on. Pipe supports, which are one of the temporary structures, are basically used for the most constructing works such as buildings, bridges, plants and so on. In the most sites, adequate support installations of the pipe supports have not been performed although the presence of the guideline legally and institutionally. In this study, therefore, the collapse accidents of the pipe supports were investigated on the basis of theoretical analysis as well as the buckling tests by simulating the site support condition. Both the theocratical analysis and test results show that the buckling load in the fixed ends is at least 4 times larger than one in the pinned ends. This results will be utilized for safety assurance as well as accident prevention the in the field application.

• 한국자동차공학회논문집
• /
• 제24권3호
• /
• pp.273-278
• /
• 2016

This study makes a relative comparison of the results of tensile test and quasi-static analysis using AGL(Adjuster Guide Loop) model that plays a role in adjusting the height of shoulder belt, of the components of the vehicle seatbelt system and attempts to propose a method of reducing the error rate of the quasi-static analysis technique effectively. This study selects two major factors affecting the result of an analysis, draws the result of analysis through the method of experimental design, one of the statistical techniques and understands the contribution rate of the major factors affecting the result of the analysis through ANOVA(Analysis of Variance).

• 한국항공운항학회지
• /
• 제21권1호
• /
• pp.51-56
• /
• 2013

Risk assessment should be processed when physical circumstances of airspace such as establishment of new flight procedures or reconstruction of existing airspace are planned to change and one of the alternatives for the change have to be selected. This is an effort to find the best alternative which is able to maintain at or above the acceptable risk level. ICAO and its contracting states provide specialized guidance material for 'Safety Management System' relating to handing airspace matters. These manuals include a conceptual framework for managing safety as well as some of the systemic processes and criteria used to meet the objectives of a State's safety programme. This criteria must be established in compliance with the State's laws and regulations for air safety and for the fulfillment of the State's safety goals. This study is to carry out the risk assessment criteria through literature reviews relevant to the safety management, and to propose the results of criteria to be applicable for establishing flight procedure design process.