• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.369-377
• /
• 1997

오늘날 우리는 소프트웨어 시스템의 안전성에 대해 관심이 집중되고 있다. 본 논문 에서는 시스템의 안전성에 대해 설명하고, 시스템 특히 소프트웨어 안전성을 유기하기 위한 요구사항을 점검하며, 소프트웨어 안전성과 관련된 메트릭스를 활용한 개발 점검은 시스템 의 안전성을 높이는 중요한 역할을 할 것이라 제안한다.

• The KIPS Transactions:PartD
• /
• v.14D no.6
• /
• pp.633-640
• /
• 2007

As the embedded systems closely related with our living become complex by interoperating each other via internet, the safety issue of embedded systems begins to appear For checking safety properties of the system interactions, it is necessary to describe the system behaviors in formal methods and provide a systematic safety analysis technique. In this research, the behaviors of an embedded system are described by Labeled Transition Systems(LTS) and its safety properties are checked on the system model. For enhancing the existing compositional safety analysis technique, we perform the safety analysis techniques by checking the behavioral equivalence of the reduced model and a property model after reducing the system model in the viewpoint of the property.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.07a
• /
• pp.617-618
• /
• 2023

본 논문은 모바일 환경에서의 안전한 결제시스템을 위한 기술 연구에 대해 다룬다. 모바일의 급속한 발전은 보안에 악영향을 끼쳤는데, 기기 내에서 많은 개인정보가 처리되기 때문에 해커들의 놀이터가 된 만큼 보안 이슈가 증가 되었다. 이를 해결하기 위해서는 기존의 결제 시스템과 다른 방식의 보안기술이 필요하다. 그리하여 모바일 보안기술과 결제시스템 기술을 연계하여 안전한 결제시스템을 구현하는 방안에 대해 연구하였다. 안전한 결제 시스템을 구현하기 위해 필요한 기술 요소들을 제안하고 이를 바탕으로 안전한 결제시스템을 구현하기 위한 시스템 아키텍쳐를 제안하고, 구현된 시스템을 통해 안전성을 검증하고자 한다. 본 논문에서는 모바일 환경에서 안전한 결제시스템을 위해 모바일 보안기술과 결제시스템 기술을 연계하여 안전성을 확보할 수 있는 방법에 대해 제안하고, 이를 통해 모바일 환경에서 안전하게 결제를 이루어낼 수 있는 기술적인 기반을 마련할 수 있을 것으로 기대해본다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.533-537
• /
• 2003

보안 시스템의 안전성을 분석하기 위해서는, 정형적 방법론을 사용하여 보안 시스템에 대한 이론적인 수학적 모델을 정형적으로 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 보안 시스템의 안전성을 검증하기 위한 보안모델의 구성요소와 안전성 검증방법을 설명한다. 그리고 보안모델을 설계하고 안전성을 분석하기 위한 SEW(Safety Evaluation Workshop)의 전체 구조와 SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.389-402
• /
• 1997

컴퓨터 소프트웨어를 내장한 시스템의 안전성을 평가하기 위한 여러 가지의 결함 분석 기법들이 있다. 이러한 결함 분석 기법들은 전통적으로는 하나의 시스템을 분석하는데 단지 하나의 방법으로만 분석해 왔으나, 시스템의 종류와 특성이 다양해지면서 시스템에 가 장 알맞는 분석 기법이 동원되어야 함은 이제 필수적이다. 여기에 착안하여, 시스템 내에서 소프트웨어의 크기가 비교적 작고, 안전성과 관련한 시스템의 반응 시간이 특별히 민감하지 않는 소프트웨어의 안전성을 평가하는 방법으로 결함 트리 분석(FTA)과 소프트웨어 오류경 향 및 영향 분석(소프트웨어 FMEA)을 결합한 시스템 결함 분석 방법을 제안하고자 한다.

• Review of KIISC
• /
• v.24 no.2
• /
• pp.50-55
• /
• 2014

자동차 전장제품 활용의 급속한 증가에 대응하기 위하여 자동차 분야에서는 ISO 26262 안전설계절차를 도입하여 차량용 임베디드 시스템의 안전성을 확보하려고 노력하고 있다. ISO 26262는 자동차에서 발생 가능한 비정상상태(abnormal state)를 식별하고 그의 영향을 분석하며 전체 시스템의 안전을 검증하는 것을 목표로 하고 있다. 다양한 종류의 부품이 연동되는 복잡한 시스템의 안전 검증은 결함수목법과 고장모드영향분석법을 활용하는 위험분석법이 보편적으로 사용된다. 결함주입시험은 이러한 위험분석의 기반도구로서 안전성을 향상시키기 위하여 사용된 고장감내 기능의 동작여부 및 그에 따른 시스템의 안전성을 검증하는 목적으로 사용된다. 본 논문에서는 차량용 고신뢰성 임베디드 시스템에서 사용되는 고장감내 메카니즘들의 기능과 안전을 검증하는 방법과 사례를 소개한다. 최근의 복잡한 차량용 임베디드 시스템의 개발은 상위수준의 모델을 개발하여 지정된 위험 및 고장을 초래하는 결함을 시스템에 주입하고 그의 결과를 분석하여 안전을 검증하는 것이 일반적인 방법이다. 개발 목표 차량의 임베디드 시스템 모델을 개발하고, 식별된 결함의 결함모델을 준비한 뒤, 시스템 모델 기반 결함주입 도구를 이용하여 결함주입을 수행하는 시험방법과 그 결과에 대하여 논의한다. 하드웨어는 SystemC 하드웨어 설계언어를 이용하여 개발하고, 소프트웨어를 컴파일하여 실행화일을 확보하여 시험대상인 결함모델을 개발하고 이를 대상으로 결함주입시험에 대해 설명한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 1998.04a
• /
• pp.432-437
• /
• 1998

컴퓨터 시스템들이 인간 생활의 많은 부분에서 사용되어지면서 하드웨어 또는 소프트웨어 시스템의 안전성 문제에 대한 관심이 커지고 있다. 소프트웨어 시스템에 있어서 각각의 소프트웨어 개발 단계가 가지는 특성이 다르므로 안전성 활동들도 그 활동 관점이나 방법이 달라져야 할 것으로 판단된다. 소프트웨어의 안전성 평가의 방법론, 안전성을 분석하기 위한 결함분석 기법들에 대한 고찰을 본 연구의 기반으로 하여 소프트웨어 라이프사이클 동안에 안전성 확보를 위한 최선의 활동의 방안들에 대하여 연구하였다.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 1997.05a
• /
• pp.85-90
• /
• 1997

시스템의 안전성을 확보하기 위하여 각 부품들은 주기적으로 점검되어야 하고, 필요시 교체되어야 한다. 시스템의 신뢰성은 부품 고장률, 점검주기, 점검시간, 인적오류의 함수이다. 시스템의 너무 잦은 보수점검은 보수시 인적오류가능성을 증대시켜 시스템의 신뢰성을 저하시키는 효과가 있으며, 반면에 너무 긴 주기를 갖는 보수점검도 고장시스템을 적시에 찾아내어 교체하지 못함으로 인하여 시스템의 신뢰성이 감소하게된다. 그러므로 적절한 점검주기와 허용정지시간으로 보수되어야 시스템의 효율성과 안전성을 제고시킬 수 있다. 본 논문에서는 이러한 시스템 신뢰성에 영향을 미치는 요소들을 함수로하는 시스템 신뢰성의 해석식을 유도하였고 유도된 수식을 예제시스템인 가스정압기에 적용하였다. (중략)

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.280-283
• /
• 2013

최근 원자력 발전소, 의료 시스템, 항공 시스템 등과 같이 사람의 생명과 밀접하게 관련되어 있는 소프트웨어로 제어하는 시스템들이 점차 늘어나고 있다. 차량에서 또한 차량 제어 소프트웨어의 오작동으로 인한 잦은 사고로 인하여 운전자와 탑승자의 생명을 위협 받고 있다. 이러한 문제로 인하여 차량시스템 제어 소프트웨어도 안전성 확보를 위한 기술로 차량에 통신 기술을 접목한 차량 통신 기술에 대한 관심이 높아지고 있다. 차량 운전자 뿐 아니라 탑승자의 안전과 밀접하기 때문에 많은 연구가 진행되고 있다. 이러한 많은 연구 중 긴급메시지전송 시스템은 차량 간 통신(V2V)을 통한 운전자의 안전성 확보에 대한 연구다. 본 논문에서는 차량 긴급메시지 전송에 필요한 모듈을 구조적으로 나누고 이를 통하여 긴급메시지 전송시스템 구조의 안전성을 평가한다. 긴급메시지 전송시스템의 안정성을 검증하기 위하여 오토마타 모델링을 통한 시스템 구조를 설계하고 검증을 위해 CTL 논리식 정의, SMV(Symbolic Model Verifier)검증도구를 통한 시스템 안전성 모델 검사를 하였다.

• Journal of the Korean Institute of Gas
• /
• v.18 no.6
• /
• pp.32-39
• /
• 2014

To ensure the reliability of the safety system so that handing large quantities of hazardous materials in chemical plant is considered basic information in chemical process design. However, the reliability of the production system may be reduced when the reliability of the safety system emphasized in order to ensure the safety of chemical process. It is necessary to balance the reliability of the production system and reliability of the safety. In this study, a quantitative risk assessment was performed by selecting the furnace process, which is widely used in the chemical plant in order to suggest a way to ensure the safety and productivity of chemical process, based on the quantitative data. Quantitative risk assessment methodology have been used directed graph analysis methodology. It is possible to evaluate the reliability of the safety system and the production system. In this study, the optimum system design requirement to improve the safety and the productivity of the furnace is two-out-of-three logic for TT and PT.