• Journal of the Korean Society for Railway
• /
• v.20 no.1
• /
• pp.55-63
• /
• 2017

Railway interlocking systems which are safety-critical systems are rapidly changed from relay-based systems to computer-based systems which have high flexible. Computer-based interlocking systems (CBI) are consisted of hardware and software in which system safeties arise one of important problems. The interlocking software of the CBI influences directly to the system safeties. "z" notation is one of formal methods have been used for system software specification to secure system safety. In this paper, the specification of interlocking logics for CBI systems is realized using "z" notation and verifies it with Z/EVES.

• Journal of the Korean Society for Railway
• /
• v.11 no.1
• /
• pp.101-106
• /
• 2008

Recently, Architecture Frameworks are used to develop Information Management System (IMS). This paper describes an operational architecture development method for railway system safety assessment. using DoDAF (Department of Defense Architecture framework). The need of IMS is increasing to perform safety assessment task effectively and efficiently as safety-critical system like railway System. It is necessary that operational architecture based IMS requirements generated fir safety assessment. ARP(Aerospace Recommended Practice)4761 are referred to develop safety assessment operational architecture applicable to railway system. Firstly, schema and template was developed to perform the operational architecture development process using a commercial CASysE(Computer-Aided Systems engineering) tool, CORE. Not only the operational architecture allows building flexible IMS, but also helps business process solving.

• Proceedings of the Safety Management and Science Conference
• /
• 2013.11a
• /
• pp.597-602
• /
• 2013

최근 산업기술의 비약적인 발전으로 인해 오늘날 우리가 개발하거나 사용하는 시스템은 기술적 완성도 측면에서 수준이 매우 높아지고 있다. 한편 고속열차, 첨단 신무기체계 등 대형복합 시스템의 경우, 새로운 시스템을 개발하기 위해서는 기존의 단일화된 개발 방법으로는 개발과정 및 개발 후에 많은 문제점이 잠재적으로 존재한다. 따라서, 기존의 시스템 개발방법인 순공학적인 방법뿐만 아니라 역공학, 동시공학 등을 고려한 통합 프로세스의 고려를 통한 접근이 필요한 시점에 와있다. 이러한 통합적인 접근법을 수행하기 위해서는 체계적인 관리가 필수적이다. 따라서 무수히 많은 설계 산출물이 파생되는 오늘날 산출 DB의 체계적 관리 및 접근을 통한 설계의 중요성이 강조되고 있다. 본 연구를 기반으로 향후 추가 연구를 수행한다면, 국내 대형복합시스템의 설계단계에서의 안전성을 동시 고려한 시스템 설계 신뢰성 확보를 위해 도움이 될 것으로 기대 된다.

• Journal of the Korean Society for Railway
• /
• v.10 no.4
• /
• pp.438-443
• /
• 2007

This paper proposes an integrated SE process for the development of railway systems with safety assessment included. Although the safety assessment process must be performed with SE process properly with good coordination, the interfaces between the two processes have not been clear. Thus, in many of safety critical system developments in Korea, it is difficult to assess safety in proper development phase. The process model proposed in this paper is based on both the concept of system life cycle and the repetitive use of SE process. In each of development phases, appropriate safety assessment methods are described. Also the evaluation of the integrated system incorporating safety factors is described. The resultant process model is expressed by the Enhanced Functional Flow Block Diagram (EFFBD) using a CASE tool. The model also allows timeline analysis for identifying activity flow and data flow, resulting in the effective management of process. In conclusion, the integrated process enable both the SE process and safety assessment process to cooperate with each other from early development phase throughout the whole system life cycle.

• Journal of Korea Multimedia Society
• /
• v.17 no.2
• /
• pp.170-179
• /
• 2014

Recently the U-Healthcare system has been rapidly advanced to manage emergence rescue for seniors. We can access emergency rescue systems with high quality services anytime, anywhere under ubiquitous healthcare systems. The more the various systems develop, the more software security systems become important. Therefore, the safety-critical system has been widely spread to the world by advancement of the information and communication technologies. There are a lot kind of fault analysis methods to evaluate software security systems. However due to characteristics of software that is not applied by human error, it can be prevented the enormous damages and losses from improving the safety of safety-critical system. So this paper proposes an integration method of FTA and Forward and Backward FMECA. This method has each strength of FTA and FMECA which is visual and numeric in normalization. First, by use of FTA, we can redraw FTA with Forward FMECA and Backward FMECA in consideration of occurrence, severity, detection, correctness, robustness, and security. Also according to value of NRVP at each event, we can modify FTA diagrams as shown critical paths given by severity and occurrence. Also, we propose the improved emergency rescue service platform of ubiquitous healthcare systems through identifying priorities of the criticality according to normalized risk priority values (NRPV).

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.31 no.5
• /
• pp.46-55
• /
• 2013

• IEMEK Journal of Embedded Systems and Applications
• /
• v.16 no.6
• /
• pp.267-276
• /
• 2021

The automotive industry and academic research have been continuously conducting research on standardization such as AUTOSAR (AUTomotive Open System ARchitecture) and ISO26262 to solve problems such as safety and efficiency caused by the complexity of electric/electronic architecture of automotive. AUTOSAR is an automotive standard software platform that has a layered structure independent of MCU (Micro Controller Unit) hardware, and improves product reliability through software modularity and reusability. And, ISO26262, an international standard for automotive functional safety and suggests a method to minimize errors in automotive ECU (Electronic Control Unit)s by defining the development process and results for the entire life cycle of automotive electrical/electronic systems. These design methods are variously applied in representative automotive safety-critical systems. However, since the functional and safety requirements are different according to the characteristics of the safety-critical system, it is essential to research the AUTOSAR functional safety design method specialized for each application domain. In this paper, a software functional safety mechanism design method using AUTOSAR is proposed, and a new failure management framework is proposed to ensure the high reliability of the product. The AUTOSAR functional safety mechanism consists of memory partitioning protection, timing monitoring protection, and end-to-end protection. The fault management framework is composed of several safety SWCs to maintain the minimum function and performance even if a fault occurs during the operation of a safety-critical system. Finally, the proposed method is applied to the Shift-by-Wire system design to prove the validity of the proposed method.

• Journal of Korean Society for Quality Management
• /
• v.33 no.3
• /
• pp.41-46
• /
• 2005

The production, processing, sale and service of food materials are not subject to attainment via a single country. In accordance with internationalization of the world, issues related to food safety have emerged as critical international concerns and they are closely associated with the health and interest of domestic consumers, producers, manufacturers, and distributors. As a third party certification standards, ISO 22000 is in progress International Organization for Standardization(ISO) and the Draft International Standard(DIS) has already been presented on December 2004. The purpose of this study is to analyze the international standards, guidelines and legislation in regard of Food Safety Management System(FSMS) including ISO 9001, Hazard Analysis Critical Control Point(HACCP) and Product Liability(PL) so as to present Korean-model Food Safety Management System requirements and system establishment model.

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

• Journal of Aerospace System Engineering
• /
• v.13 no.1
• /
• pp.62-68
• /
• 2019

The software installed on an aircraft is directly related to its safety. Therefore, it shall comply with the standards of the airworthiness certification to ensure safety of flight. Airborne software should be developed in accordance with the DO-178 (Software Consideration in Airborne Systems and Equipment Certification) to comply with the airworthiness certification criterion. However, the military airborne software has been developed in accordance with the DAPA weapons system software development and management manual. In this paper, we completed a questionnaire survey of software experts. We also suggest a military airborne software development/certification process based on DO-178.