• Proceedings of the Safety Management and Science Conference
• /
• 2011.04a
• /
• pp.381-395
• /
• 2011

항공 산업은 다양한 요소가 유기적으로 결합된 복합시스템으로 고장 또는 사고가 발생하면 큰 희생과 비용을 초래한다. 또한 복구와 신뢰회복에 많은 자원과 노력이 소모되므로 높은 안전과 신뢰성이 요구된다. 따라서 항공 산업에서 제품 또는 시스템을 개발, 생산 및 운용함에 있어 안전성과 신뢰성의 입증을 위해 엄격한 인증 제도를 규정하고 있다. 현재 항공품질경영시스템은 모든 산업에 걸쳐 공통으로 사용할 수 있는 ISO9000을 기반으로 항공 산업의 자본집약적, 기술집약적인 특징요소를 추가시켜 AS9100으로 제정하였고, 2009년 AS9100C로 제정되었다. ISO9000의 기반으로 성장한 AS9100은 품질경영에 있어서 강력한 관리 규격이지만 신뢰성경영(Dependability Management)에 있어서는 미흡하다. 때문에 항공품질경영시스템의 신뢰성 향상을 위해 신뢰성경영시스템의 통합으로 효과적 실행을 모색하고자 한다. 본 연구에서는 먼저 항공품질경영시스템과 신뢰성경영시스템의 구성을 살펴보고, 항공품질경영시스템과 신뢰성경영시스템에서 다루고 있는 핵심 개념인 품질과 신뢰성의 차이점을 비교할 것이다. 또한 각 규격의 요구사항을 비교하여 항공품질경영시스템의 신뢰성과 안전성, 보전성에 향상을 위한 신뢰성경영시스템의 통합을 제시하고자 한다.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2000.03c
• /
• pp.105-117
• /
• 2000

본 연구에서는 터널구조물의 안전상태를 평가하기 위하여 터널라이닝에 광변위센서 계측시스템을 적용하였다. 먼저 터널 라이닝 모델실험을 실시하여 광변위 계측시스템의 신뢰성을 검증하였고, 터널 현장적용을 통하여 계측시스템의 적용성을 검토하였다. 본 계측시스템은 터널구조물의 상시적인 안전관리측면에서 효과적이라 할 수 있으며, 계측결과의 평가와 정밀안전진단에의 활용에 대한 연구가 필요하다.

• Proceedings of the Safety Management and Science Conference
• /
• 1999.11a
• /
• pp.109-121
• /
• 1999

플랜트 및 설비가 대규모, 정교화, 복잡화 될수록 이로 인한 고장 및 오류에 의한 피해가 막대하기 때문에, 시스템의 신뢰성, 보전성 및 안전성 향상과 제품 품질 향상을 추구 및 안전성 유지에 대한 관심이 고조되고 있다. 고장진단은 잠재적으로 노이즈를 가지고 있다고 생각되는 데이터의 해석에 근거하여 시스템의 고장을 찾는 일련의 체계적이고 통합된 방법이다. 그러나 대부분의 방법들이 이진 논리에 기초를 둔 추론으로 불확실성을 제대로 결과에 반영하지 못하고 있다. 본 논문에서는 예방정비의 관점에서 시스템에 내재된 다양한 불확실성을 효율적으로 처리하기 위해 전문가의 직관과 경험등을 기초로 하여 언어학적 변량을 취하고, 이를 퍼지 기법을 이용하여 정량화 함으로써 불확실성을 고려한 판단이 가능하게 하는 퍼지 전문가 시스템을 제안한다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.38 no.8
• /
• pp.813-822
• /
• 2010

Integrated data processing for display of flight critical data and mission critical data was conducted without additional display instruments using glass cockpit design. Based on a pre-designed flight critical system and a mission critical system, this paper shows an optimal design of subsystem integration. The design satisfies safety requirements of flight control systems(FCS) and requires minimized modification of pre-designed systems. By conducting integration test using System Integration laboratory(SIL), it is confirmed that the introduced design approach meets the safety requirements of the MEP system.

• Proceedings of the Korea Society for Energy Engineering kosee Conference
• /
• 2001.11a
• /
• pp.331-336
• /
• 2001

한국원자력연구소에서는 고준위 방사성폐기물 처분 시스템의 안전성을 투명하게평가하기 위한 방안의 하나로 처분 안전성 관련 시나리오와 구성 요소들인 FEP, 그리고 각 시나리오 별 안전성 평가 방안들을 종합한 프로그램인 FEAS를 개발하고 있다. 고준위 방사성 폐기물 처분 연구는 관련 전문가 뿐 아니라 일반 국민들도 안전성에 관해 많은 관심을 표명하고 있는 바 현재 국내에서 고려하고 있는 처분 개념은 무엇이며 처분장 안전성 평가를 위해서 고려하고 있는 제 사건들은 무엇이며 이들 시나리오를 구성하는 세부 사건들은 무엇인가에 관한 합의를 도출하고 이와 관련된 기록들을 보존하고 각각 세부 사건들에 관해 현재의 평가 방안과 데이터 수집 현황 그리고 해외 사례 등을 체계적으로 정리하는 일은 중요하다. 현재 개발되고 있는 FEAS는 이와 같은 역할을 수행할 뿐 아니라 이 프로그램과 동시에 개발되고 있는 입력 자료 데이터 시스템, 웹을 기반으로 한 품질 보증 체제 및 안전성 평가 방안 등과 향후 연계되어 모든 국민들이 방사성 폐기물 처분장의 안전성을 쉽게 이해할 수 있는 수단으로 확장될 예정이다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.4
• /
• pp.457-466
• /
• 1999

원자력 발전소 계측 제어 시스템, 의료 관련 시스템, 항공 관련 시스템 등 실생활과 밀접한 시스템에 소프트웨어의 사용이 점차 증가하고 있다. 이러한 시스템에서 소프트웨어의 오류는 예기치 않는 사고를 유발하여 인명, 재산상의 심각한 타격을 줄 수 있다. 그러므로 고신뢰도 소프트웨어의 개발 시에는 반드시 시스템의 안전성을 보장해 주어야 한다. 역방향 안전성 분석 방법은 시스템의 안전성을 분석하는 한가지 방법으로서 시스템의 위험 상태를 정의하고 그 위험의 원인들을 추적, 분석함으로써 안전성에 대한 효율적인 분석을 수행할 수 있는 장점을 갖는다. 이 논문에서는 소프트웨어 개발 초기 단계에서 안전성을 분석할 수 있는 방법으로 Colored Petri Nets(CPN)에 기반을 둔 역방향 안전성 분석 방법을 제시한다. 또한 CPN 역방향 안전성 분석 도구인 SAC(Safety Analyzer for CPN)의 설계 및 구현에 대해 언급한다. SAC은 기존의 상용 CPN 모델링 도구인 Design/CPN과 연계하여 사용될 수 있으므로 CPN으로 모델링된 시스템의 안전성을 분석할 수 있다는 장점이 있다. 이 논문에서는 예제로 자동 교통 제어 시스템의 일부를 CPN으로 모델링하고 SAC을 이용한 분석 과정을 기술한다.Abstract In safety-critical systems such as nuclear power plants, medical machines, and avionic systems which are closely related with our livings, the usage of software in the controlling part is growing rapidly. Since software errors in safety-critical systems may cause serious accidents leading to financial or human damages, system safety should be ensured during and after development of a system. A backward safety analysis technique defines system hazards and tries to trace their causes by analyzing system states backward. In this paper, we provide a backward safety analysis technique based on Colored Petri Nets(CPN), which is applicable to the early software development phase. Also Safety Analyzer for CPN(SAC), the supporting tool, is designed and implemented. Since SAC is compatible with Design/CPN, a commercial tool for supporting CPN, it can be applicable to analyze safety in practical problems. As an example, we model a part of the traffic light control system using CPN and analyze safety properties of the model using the SAC tool.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2003.05a
• /
• pp.241-246
• /
• 2003

대형 시스템의 안전에 미치는 인적요인의 영향이 매우 크기 때문에, 시스템의 안전성을 정확히 평가하기 위해서는 인적요인에 대한 체계적인 평가가 선행되어야 한다. 원자력 분야에서는 발전소 안전성에 미치는 인적오류를 평가하기 위하여 인간신뢰도분석(Human Reliability Analysis : HRA)을 수행해 왔다. 그러나 데이터의 부족과 인적행위 메카니즘에 대한 이해 부족으로 인하여 아직까지 HRA 수행에는 많은 불확실성이 존재한다. 최근 HRA를 포함한 안전성 평가 결과가 원자력발전소 설계 및 운전에 관련된 의사결정에 주요 정보로 활용되면서 HRA의 신뢰성을 높이기 위한 연구 개발 노력이 활발히 진행 중에 있다.(중략)

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.982-985
• /
• 2011

스마트폰 시장의 규모가 급속하게 확장됨에 따라 모바일에서 다양한 서비스가 제공되면서 기업의 측면에서는 스마트워크 환경에서의 모바일 오피스 시스템 도입 요구가 커지고 있다. 그러나 스마트폰의 이동적 개방성의 특성은 기업 정보의 접근 및 유출의 위험성을 갖고 있어 이에 대한 시스템 구성에서의 보안 및 안전성 확보가 필요하다. 본 논문에서는 USIM을 이용하여 모바일 오피스 사용의 정당한 권한이 있는 사용자임을 등록 및 인증 후 안전한 서비스 사용이 가능하도록 모바일 오피스 시스템을 설계하고 분석한다. 제안 시스템은 모바일 오피스의 시스템 구성 요소 간의 안전한 통신 상태를 보장함으로써 기업 정보의 사용에 있어 보안성을 효과적으로 제공한다.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.289-294
• /
• 2007

새로운 시스템이나 제품이 철도운영환경에서 이용할 수 있을 만큼 안전하다는 것은 체계적인 문서화를 통해 입증해야 한다. 이러한 적정성을 제공하기 위해서는 안전성 관련 사항들은 논의에 대한 유효성을 판단하기에 앞서 독립적인 검증기관이나 자체적인 전문 평가를 수행하는 기관(또는 관리기관)에 제시되어져야 한다. 이러한 유효성은 종합안전대책기술서 형태로 제공되어지며 이는 사실에 대한 단순한 열거가 아니라 해당 시스템이나 제품의 실제 사용시 안전하다는 확신을 해당 기관에게 줄 수 있도록 고안되어 있는 일련의 논의들이다. 종합안전대책기술서는 관계자가 시스템 및 제품의 신규도입으로부터 발생되는 모든 리스크에 대한 분석 및 평가 수행여부와 이러한 리스크를 어떻게 관리하고 개선시켜 왔는지를 나타내주는 문서이다. 또한 관리가 효과적이고 지속적으로 적용되었음을 확인하기 위한 관리시스템을 제시해 주기도 한다. 본 연구는 유럽의 철도산업 범주내에서 종합안전대책기술서 그 자체의 특성과 시스템의 형태 및 적용 가능한 제품에 대해 정의를 내리는데 그 목적이 있으며 기술서의 취지와 구조, 보조문서 및 관련법규에 관한 사항에 초점을 맞출 것이다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.11b
• /
• pp.990-993
• /
• 2003

본 논문은 다중 사용자가 컴퓨터 시스템을 이용하려는 사용자의 신원을 확인하는 방법으로서 타인의 관찰로부터 노출되기 쉬운 패스워드의 약점들을 일소하고, 시스템의 안전성을 높이기 위한SPS(Secure Password System)라는 패스워드 시스템을 제안하고자 한다. SPS는 쉬운 실행과 낮은 가격을 포함한 전통적 패스워드 시스템의 대부분의 이점들을 받아들였고, 또한 안정성을 가지고 있으면서 전통적인 패스워드 시스템에 쉽게 이식될 수 있다. 제안한 SPS는 실험 결과 침입자의 온라인 사전적 공격과, 클라이언트에서의 패스워드 노출에 대해서 아주 높은 안전성을 보여 주었다.