• IEMEK Journal of Embedded Systems and Applications
• /
• v.13 no.6
• /
• pp.279-288
• /
• 2018

As a result of the technological advances in the E / E system, automotive system can provide advanced functions for safety and comfort. In addition, mechanical systems is changed to the electronic system. And the systems perform cooperative functions through communication. So the E / E system becomes more complicated as the size of the system increases. In order to secure the safety of complicated E / E system, ISO26262 standard require that Freedom from Interference and Sufficient Independence be met. In this paper, we propose a software scheduling method that can guarantee the independence between decomposed components after software decomposition and software development of ASIL D level EPB (Electronic Parking Brake) system.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.5 no.3
• /
• pp.191-201
• /
• 2001

In spite of the increasing construction of segmental PSC box girder bridges, the techniques associated with real-time monitoring, construction control and safety assessment during construction have been less developed compared with the construction techniques. Thus, the development of an integrated system including real-time measurement and monitoring, control and safety assessment system during construction is necessary fur more safe and precise construction of the bridges. This study presents a prototype integrated monitoring system for preventing abnormal behavior and accidents under construction stages, that consist of behavior control system for precise construction, reliability-based safety assessment system, and structural analysis. Also, a prototype software system is developed on the basis of the proposed model. It is successfully applied to the Sea-Hae Grand Bridge built by FCM. The integrated system model and software system can be utilized for the safe and precise construction of segmental PSC bridges during construction.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.62 no.1
• /
• pp.30-35
• /
• 2013

Many function of railway signalling system which is in charge of most core function in a railway system are being operated by the software according to the development of computer technology. Accordingly, the source code testing to verify the safety of the railway signalling system software becomes to be more important, and related international standards highly recommend verifications on the source code also. For this reason, several related studies on vital source code verification were executed from several years ago in Korea. This paper performed tests through the application to railway signalling system being applied to the existing actual domestic railway sites through automated testing tools for coding rules of signalling system software and another signaling system software under development in Korea recently, and analyzed their results.

• Journal of Aerospace System Engineering
• /
• v.7 no.2
• /
• pp.29-34
• /
• 2013

Safety requirements for aircraft and system functions include minimum performance constraints for both availability and integrity of the function. These safety requirements should be determined by conducting a safety assessment. The depths and contents of aircraft system safety assessment vary depending on factors such as the complexity of the system, how critical the system is to flight safety, what volume of experience is available on the type of system and the novelty and complexity of the technologies being used. Requirements that are defined to prevent failure conditions or to provide safety related functions should be uniquely identified and traceable through the levels of development. This will ensure visibility of the safety requirements at the software and electronic hardware design level. This paper has prepared to study on promoting the efficiency of establishing hierarchical safety requirements from aircraft level function to item level through system safety processes.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.18 no.36
• /
• pp.175-182
• /
• 1995

Industrial safety management program can be divided three part that is education, technology, and management. The effectiveness of a industrial safety management program depends on the ability to manage hardware which is technology and software, education and management, In this research, it will be described that how to design and develop Computer Integrated Safety System and Computer Based Training System for Press operations which is how to integrated industrial safety program wi th production planning and control in order to control efficiently using personnel computer system.

• Nuclear Engineering and Technology
• /
• v.27 no.3
• /
• pp.385-392
• /
• 1995

A software engineering process has been developed for the design of safety critical software for Wolsong 2/3/4 project to satisfy the requirement of the regulatory body. Among the process, this paper described the detail process of validation testing peformed to ensure that the software with its hardware, developed by the design group, satisfies the requirements of the functional specification prepared by the independent functional group. To perform the test, test facility and test software ore developed and actual safety system computer was connected. Three kinds of test cases, i.e., functional test performance test and self-check test were programmed and run to verify each functional specifications. Test failures ore fedback to the design group to revise the software and test result were analyzed and documented in the report to submit to the regulatory body. The test methodology and procedure were very efficient and satisfactory to perform the systematic and automatic test. The test results were also acceptable and successful to verify the software acts as specified in the program functional specification. This methodology can be applied to the validation of other safety-critical software.

• Journal of Ocean Engineering and Technology
• /
• v.22 no.3
• /
• pp.47-57
• /
• 2008

Many accidents occur on the oceans. Accidents involving ships can cause enormous damage. When an accident occurs, the cost of environmental restoration can bankrupt even a top-ranked international company. The potential damages resulting from ship accidents have resulted in many international agreements such as MARPOL, SOLAS, ISM Code, etc. The viability of damaged ships has become more and more important. A damaged ship's viability and cargo safety can be improved by a safety assessment design procedure. We consider th￡ shipbuilding industry's distributed characteristics to define a safety assessment system with software engineering-based requirements analysis. We used a distributed network-based simulation method (HLA - High level architecture), because of ease of reuse and expansion of existing components to other situations, and because it is a military standard. HLA is the standard for distributed network-based simulation in many countries including the United States, Canada, Israel, and Korea. The paper describes research to develop a prototype of a network-based safety assessment simulation system by software engineering based analysis.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1467-1473
• /
• 2004

It requires different safety programs from those of the typical train control systems to develop AGT systems applying train control system based on communication technology. Especially Advanced LRT system involves the processes that have the various safety functions being conducted by softwares and also have characteristics that should have special interest in validation of interface specification. The core items for the safety engineering for LRT control systems are hardware & software engineering, safety-critical system safety engineering, application software validation & verification technologies. In this paper the trends of the technologies for the mentioned core-items are described.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.20 no.44
• /
• pp.475-483
• /
• 1997

Industrial safety management program consists of three part which is education, technology and control. The effectiveness of industrial safety control program rely on the ability of controlling hardware system, technology and software, training and management. How to design and develop the sharing machine fault and safety diagnosis system using expert system technique is presented on this paper.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.486-488
• /
• 2000

본 연구는 정형기법을 사용하여 Safety-Critical System의 개발 방법론을 제시한다. Safety-Critical System의 전체적인 개발 과정을 제시하고 Safety-Critical System 중의 하나인 원자력 발전소 시스템 중 Reactor Protection System(RPS)을 정형 명세(Formal Specification)하고 정형 검증(Formal Verification)하는 과정과 그에 따른 각 과정의 Compliance를 확인하는 예를 든다. 여기서 정형 명세에는 Software Cost Reduction(SCR)이하는 도구가 사용되었고, 정형 검증에는 SPIN이, Compliance를 확인하는 데에는 Prototype Verification System(PVS)를 사용하였다.