• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 1997년도 추계학술대회논문집 기업경쟁력 향상을 위한 정보통신 기술의 활용
• /
• pp.369-377
• /
• 1997

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

• 정보처리학회논문지D
• /
• 제14D권6호
• /
• pp.633-640
• /
• 2007

실생활과 밀접한 임베디드 시스템들이 인터넷에 연결되어 점차 복잡해지고 시스템 사용 패턴 또한 다양해짐에 따라 임베디드 시스템의 안전성 문제가 대두되고 있다. 임베디드 시스템의 상호작용에 대한 안전성을 분석하기 위서는 시스템 모델을 정형적으로 기술하고 이를 이용하는 체계적인 안전성 분석 방법이 필요하다. 이 연구에서는 Labeled Transition Systems (LTS)를 이용하여 시스템 모델과 속성 모델을 기술하고 안전성 속성이 만족되는지 검사하는 방법을 제공한다. 이 연구에서는 기존 합성적 안전성 분석 방법의 문제점을 해결하기 위해 시스템 모델을 속성모델 관점에서 축약하여 생성한 후에 두 모델 간의 행위 일치 관계를 이용하여 안전성 분석을 수행한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2023년도 제68차 하계학술대회논문집 31권2호
• /
• pp.617-618
• /
• 2023

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

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2003년도 동계학술대회
• /
• pp.533-537
• /
• 2003

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

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 1997년도 추계학술대회논문집 기업경쟁력 향상을 위한 정보통신 기술의 활용
• /
• pp.389-402
• /
• 1997

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

• 정보보호학회지
• /
• 제24권2호
• /
• pp.50-55
• /
• 2014

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

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 1998년도 춘계학술발표논문집
• /
• pp.432-437
• /
• 1998

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

• 한국산업안전학회:학술대회논문집
• /
• 한국안전학회 1997년도 춘계 학술논문발표회
• /
• pp.85-90
• /
• 1997

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 추계학술발표대회
• /
• pp.280-283
• /
• 2013

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

• 한국가스학회지
• /
• 제18권6호
• /
• pp.32-39
• /
• 2014

화학공장은 위험물질을 다량으로 취급하고 있어 안전시스템의 신뢰성을 확보할 수 있도록 시스템을 구축하는 것은 화학공정 설계 시 고려할 기본적 사항이다. 그러나 화학공정의 안전성을 확보하기 위해 안전시스템의 신뢰성을 지나치게 강조할 경우 상대적으로 생산시스템의 신뢰성은 떨어질 수 있다. 화학공정은 일정한 수준 이상의 안전성을 확보한 상태에서 안전시스템의 신뢰성과 생산시스템의 신뢰성을 균형 있게 유지하는 필요하다. 따라서 본 연구에서는 정량적 데이터를 근거로 화학공정의 안전성과 생산성을 동시에 확보할 수 있는 방안을 제시하고자 화학공장에 널리 사용되고 있는 가열로공정을 선정하여 정량적 위험성평가를 실시하였다. 정량적 위험성평가기법으로는 안전시스템과 생산시스템을 구분하여 각각의 시스템에 대해 신뢰도평가가 가능한 유향그래프 분석기법을 사용하였다. 정량적 위험성평가 결과 가열로공정은 온도감지기(TT)와 압력감지기(PT)를 각각 3개 설치하여 2개가 일정한 값 이상을 나타낼 때 안전시스템이 작동하도록 가열로공정을 구축하는 것이 안전성과 생산성을 동시에 확보할 수 있는 최적의 화학공정 시스템 설계 조건임을 확인하였다.