• Journal of the Korean Society for Railway
• /
• v.13 no.4
• /
• pp.412-418
• /
• 2010

This paper presents the methods to acquire the Safety Certificate from Independent Safety Assessment based on the IEC standard62279 which is commonly applied to railway system for Automatic Train Control(ATC) system in accordance with Urban Maglev project. This also shows approach methods and relative activities for project life- cycle to accomplish and ensure the system requirements of ATC system, RAMS and S/W quality activities. Furthermore, the key tasks conducted with ISA are noted in detail. These kind of activities for software quality of ATC system to obtain S afety Certificate could be a CASE model to improve the quality of domestic railway system and products, and also contribute to the growth of railway business and toward the achievement of overseas' railway signaling markets.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2022.10a
• /
• pp.185-186
• /
• 2022

2012년 9월부터 건설현장 위험성평가는 안전관리 업무로 의무화되었으나, 해당 근로자가 사전위험성을 추정하고 대책을 수립하여 재해예방 활동으로 연계되기에는 위험성평가 작성부터 어려움이 있다. 위험성평가 운영시스템 구축을 통해 건설현장 근로자가 해당작업의 위험요인 및 안전대책을 쉽게 파악할 수 있도록, 작업 공종 선택만으로 해당작업의 다양한 위험요인과 안전대책을 제시하고, 해당 공종에서 발생한 재해사례를 보여줌으로써 동종 재해 재발방지 대책수립이 가능하도록 시스템을 구축하였다. 이러한 위험성평가 활동의 효과분석을 위해 H건설사의 운영평가에서, 위험성평가 운영시스템 구축 이후 건설현장 근로자가 위험성평가 활용에 쉽게 접근할 수 있고 해당공정의 위험요인 추정 및 위험예방 대책 수립이 가능하게 되었으며, 평가기간 동안 재해율 감소에도 영향이 있는 것으로 분석되었다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1994.11a
• /
• pp.45-50
• /
• 1994

대화형 영지식 증명시스템을 사용하여 D. Chaum의 undeniable signature에 대한 거짓말 탐지기 기능 문제를 해결한 안전성이 증명된 의뢰 undeniable signature 방식을 제안한다. 제안한 방식의 안전성은 영지식 대화형 증명시스템과 고차잉여류 문제에 기반을 두고 있다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.07a
• /
• pp.178-181
• /
• 2003

이동 환경과 관련된 기술이 발달함에 따라 모바일 티켓팅 서비스에 대한 관심이 높아지고 있다. 그러나 지금까지 제안된 모바일 티켓팅 시스템은 만족할 만한 확장성과 안전성을 제공하지 못하고 있다. 본 논문에서는 보다 안전한 모바일 티켓팅 시스템을 제안한다. 기존의 모바일 티켓팅 시스템의 문제점을 살펴보고 모바일 환경에 적합한 프레임 워크를 바탕으로 티켓의 복사, 수정을 방지할 수 있는 시스템을 제시한다. 기존의 시스템에서 티켓의 수정이 가능한 것을 서명을 사용함으로서 해결하고 그에 대한 안전성을 분석한다.

• Journal of Korea Multimedia Society
• /
• v.15 no.1
• /
• pp.115-130
• /
• 2012

These days, most of safety-critical systems, which are systems those failures or malfunction may result in death or serious injury to people, or loss or severe damage to social systems, or environmental harm, are being built of embedded software or loaded controlling software systems on computers, electrical and electronic components or devices. There are a lot kind of fault analysis methods to evaluate safety of the safety-critical systems equipped computers, electrical and electronic components or devices with software. However, the only assessment method to evaluate software safety of a safety-critical system is not enough to analysis properly on account of the various types and characteristic of software systems by progress of information technology. Therefore, this paper proposes the integrated evaluation method and carries out a case study for the software safety of safety-critical system which embedded or loaded software sizes are small and control response times are not sensitive by use of two security analysis methods which are Fault Tree Analysis (FTA) and Fault Modes and Effect Analysis (FMEA) for ubiquitous healthcare system.

• Journal of Advanced Navigation Technology
• /
• v.18 no.6
• /
• pp.562-568
• /
• 2014

This study is safety assessment standard for advanced surface movement guidance control system (A-SMGCS) and case study of the past research project. A-SMGCS providing routing, guidance and surveillance for the control of aircraft and vehicles in order to maintain the declared surface movement rate under all weather conditions within the aerodrome visibility operational level while maintaining the required level of safety. Recently, in korea and europe are developing A-SMGCS system for the safety control of the airport movement area. In safety oriented industry such as aviation that it is necessary to verify and ensure for operating system. In this case study, analysis of safety assessment standard for verified A-SMGCS target level of safety (TLS) and previous developed A-SMGCS research project.

• 한국상하수도협회지
• /
• s.26
• /
• pp.4-7
• /
• 2009

21세기 들어 도시물관리스템의 안전성은 많은 도전에 직면해 있는 게 현실이다. 사회기반시설인 물관리시스템의 안전하고 효율적인 운영은 국민의 안전과 행복을 위해 반드시 필요하지만, 최근 물관리시스템의 안정성은 많은 위험 요인에 노출되고 있다. 이제는 안전한 물공급에 총력을 기울이고, 물부족 해소에 크게 기여할 '빗물 재이용' 시스템 개발에 힘써야 할때다.

• Journal of KIISE:Information Networking
• /
• v.27 no.3
• /
• pp.288-300
• /
• 2000

본 논문에서는 효율성, 안전성 및 이중사용방지 요구 조건을 만족하면서 동시에 시스템 사용과정에서 생길 수 있는 여러 분쟁 유형에 대해서 효과적으로 대처할 수 있는 초소액 지불시스템을 제안한다. 이를 위하여 기존의 시스템들이 효율성 향상을 위해 많이 사용해 온 S/KEY 방식의 해쉬 체인을 변형한 이중 해쉬체인 구조를 제안한다. 제안 시스템인 mPay-1, mPay-2는 이 구조를 기반으로 하였으며 안전성 및 분쟁해결성 측면에서 좋은 결과를 보인다. mPay-1은 기존의 시스템과 동일한 효율성을 갖으나 보다 안전하다. mPay-1의 확장형인 mPay-2는 추가적으로 여러 분쟁 유형들에 대해 효과적으로 대처할 수 있다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.12
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.11
• /
• pp.31-45
• /
• 2017

According to the railway accident statistics in recent years, the frequency of accidents has been significantly reduced, due to the advance of related technologies and the establishment of safety information management systems. Nonetheless, accidents due to errors in the operation and maintenance phase and faults in safety design continue to occur. Therefore, to prevent accidents, guidelines for the safety design and manufacture of railway vehicles were established, and a request for the independent safety evaluation of safety designs was made. To respond to this, rail system developers must prepare safety cases as a safety activity product. One of the main items of these safety cases is the safety-related application conditions (SRAC) and, thus, the question of how to develop these SRAC is an important one. The SRAC studies reported so far focused only on the simplicity of the derivation procedure and the specific safety activities in the design phase. This method seems to have the advantage of quickly deriving SRAC items. However, there is a risk that some important safety-related items may be missing. As such, this paper proposes an improved method of developing the SRAC based on the idea of performing both the safety design and safety evaluation activities throughout the whole system lifecycle. In this way, it is possible to develop and manage the SRAC more systematically. Especially, considering the SRAC from the initial stage of the design can allow the safety requirements to be reflected to a greater extent. Also, an application case study on railway signaling systems shows that the method presented herein can prevent the omission of important safety-related items, due to the consideration of the SRAC throughout the system lifecycle.