• Journal of Information Processing Systems
• /
• 제8권2호
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 1999년도 춘계학술대회 논문집
• /
• pp.299-306
• /
• 1999

The ${\mu}$-processor based-controlled system is widely used in railway signaling system. The railway signaling systems are highly required safety and reliability. It is necessary to have a fault-tolerant and fail safe concept in ${\mu}$-processor based railway signaling system. In this paper, several architectures and circuits of fault-tolerant computer system is reviewed. The basic concept of the fault-tolerant computer system will be adapted total self checking, strong fail safe, fault display circuit, logic testing circuit and system switching concepts.

• 한국철도학회논문집
• /
• 제3권3호
• /
• pp.147-153
• /
• 2000

The train control and monitoring system (TCMS) is an on board computer system in railway vehicles performing the control, supervisory and diagnostic functions of the complete train system. This system replaces a lot of hard-wired relays and minimizes the necessary vehicle wiring thus increasing the reliability of the train. It is also one of more important equipment on vehicle to implement much higher safety and reliability train system. We studied a software design technique of TCMS using a CASE tool that is a kind of safety critical software engineering tool (SCADE). This tool has mainly four functions such as the graphical editor, the document maker, tile automatically code generator, and the test simulator. The several functions of TCMS are implemented in this software easily programmed using a functional block diagram and a graphic programming language. We applied to automatically generated TCMS modules on the SCADE each functional block for the Standard type EMU in Korea. We performed the combination test using TCMS simulator and the running test in Seoul subway 7 Line. We proved that this technique is more useful for the software design of TCMS in urban transit

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• pp.378-383
• /
• 2008

One of the main concerns of railway system is to secure safety. Nowadays digital technology has been rapidly applied to safety critical system. The digital system performs more varying and highly complex functions efficiently compared to the existing analog system because software can be flexibly designed and implemented. The flexible design makes it difficult to predict the software failures. For this reason, the safety criteria are suggested to secure the software safety for the field of railway system. Following them, the railway software have to be examined whether it is properly developed according to the safety criteria and certification process. Because the articles suggested in safety criteria are written in legal term, it is difficult to apply the criteria to develop railway software. This paper suggests and discusses a development and assessment procedure to solve these issues for railway software with more detail description.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 1998년도 추계학술대회 논문집
• /
• pp.288-295
• /
• 1998

In this paper the system safety program plan(SSPP) for the development of Korea high speed railway system was presented. The plan for the design phase built up base upon MIL-STD 882C, manual for the development of rail transit system safety program plans by American Public Transit Association, and SSPP for Seoul-Pusan High Speed Rail project should be modified and then applied to the phases of manufacturing, test and commissioning. The plan deals with the safety program, the reference standards, the management and responsibility for the safety related activities, the methods to be used for early identifying safety critical items and functions and eliminating or controlling all hazards in a timely and cost-effective manner, and the documentation generated for safety assessment.

• 시스템엔지니어링학술지
• /
• 제15권2호
• /
• pp.108-115
• /
• 2019

The activities of managing and controlling the configuration of a system component over its life cycle are critical tasks in developing a high safety system as well as general system development. These configuration management activities should be defined through the management plan at the beginning of the life cycle, and should be performed continuously and systematically until the end of the project after the system or product development is completed. In this study, the configuration management process applied in the development of high safety railway signaling system was introduced and an efficient application proposals of it was proposed. In particular, configuration management through the establishment of a configuration management system based on computer tools is one of the important activities of maintaining the configuration integrity of the system or product.

• 제어로봇시스템학회논문지
• /
• 제13권10호
• /
• pp.933-939
• /
• 2007

Safety critical systems such as x-by-wire systems require in-vehicle network systems that can interconnect various sensors, actuators, and controllers. These networks need to have high data rate, deterministic operation, and fault tolerance. Recently, FlexRay protocol that is a time-triggered protocol has been introduced, and many automotive companies have been focusing on this protocol. This paper presents a design method of FlexRay network system and implementation of FlexRay-based motor control system.

• 대한안전경영과학회지
• /
• 제9권6호
• /
• pp.89-96
• /
• 2007

It is well known that the test and evaluation plan (TEP) is very crucial in the successful development of safety-critical systems. As such, this paper discusses an approach to the development of the TEP for a system that should meet safety requirements in the systems development process. It is studied how to incorporate the result of preliminary hazard analysis (PHA) in generating the safety requirements. It is also discussed how to deal with them when the system requirements (i.e., functions, performance, constraints, components, etc) and the safety requirements are integrated into one model. While doing so, we have constructed the required traceability among them, which is necessary and very useful when the safety requirements need to be corrected or be changed. The use of the traceability makes it possible to easily check out whether and how the safety requirements are properly incorporated in the system design process. Furthermore, without the verified traceability, the system cannot be changed or upgraded later. In order to implement the model on a computer-aided tool, we have constructed a database (DB) schema. As a result, the implemented model/DB allows to automatically generate TEP which can be used to measure the performance and safety level of the developed system.

• Safety and Health at Work
• /
• 제8권3호
• /
• pp.267-275
• /
• 2017

Background: The mining industry is known worldwide for its highly risky and hazardous working environment. Technological advancement in ore extraction techniques for proliferation of production levels has caused further concern for safety in this industry. Research so far in the area of safety has revealed that the majority of incidents in hazardous industry take place because of human error, the control of which would enhance safety levels in working sites to a considerable extent. Methods: The present work focuses upon the analysis of human factors such as unsafe acts, preconditions for unsafe acts, unsafe leadership, and organizational influences. A modified human factor analysis and classification system (HFACS) was adopted and an accident predictive fuzzy reasoning approach (FRA)-based system was developed to predict the likelihood of accidents for manganese mines in India, using analysis of factors such as age, experience of worker, shift of work, etc. Results: The outcome of the analysis indicated that skill-based errors are most critical and require immediate attention for mitigation. The FRA-based accident prediction system developed gives an outcome as an indicative risk score associated with the identified accident-prone situation, based upon which a suitable plan for mitigation can be developed. Conclusion: Unsafe acts of the worker are the most critical human factors identified to be controlled on priority basis. A significant association of factors (namely age, experience of the worker, and shift of work) with unsafe acts performed by the operator is identified based upon which the FRA-based accident prediction model is proposed.

• 대한안전경영과학회지
• /
• 제14권3호
• /
• pp.1-10
• /
• 2012

Recently, we have witnessed the definitely negative impacts of large-scale accidents happened in such areas as atomic power plants and high-speed train systems, which result in increased fear for the potential danger. The problems appear to arise due to the deficiency in the design of large-scale complex systems. One of the causes can be attributed to the design process that does not fully reflect the safety requirements in the early stage of the system development because of the substantially increased complexity. In this paper, to enhance the systems safety an integrated process is studied, which considers simultaneously both the system design process and system safety process from the beginning of the system development. In the conceptual system design phase an integrated process model is constructed by analyzing the activities of both the system design and safety processes. As a case study example, an inner city train system is described with the application of the developed process. The computer simulation of the example case is followed by the result discussed. The results obtained in the paper are expected to be the basis for the future study where a detailed process and its associated activities can be developed.