• 대한안전경영과학회지
• /
• 제12권3호
• /
• pp.129-134
• /
• 2010

본 논문에서는 하부 안전 시스템의 개선이 전체 안전 시스템에 미치는 영향을 분석하기 위한 방법론을 개발하였다. 어느 하부 시스템의 안전성을 개선하느냐에 따라 전체 시스템의 안전성 증가는 서로 다르게 나타날 수도 있다. 본 연구에서는 베이지안 기법을 활용하여 사건가지와 상호연관도를 응용한 모형을 활용하였다. 또한 가지 파라메터의 확률 값 향상이 다음 번 사고까지의 시간을 어떻게 변화시키는지 연구하였다. 본 연구를 통해 우리가 관심을 갖고 있는 시스템 전체의 안전성 향상을 위해서는 어느 하부 시스템을 우선적으로 개선해야할지를 판단할 수 있게 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
• /
• pp.110-113
• /
• 2008

시스템의 복잡도를 정의하고 측정하는 일은 보다 신뢰성있고 효율적인 시스템을 만들기 위한 초석이다. 복잡도가 증가함에 따라 복잡도에 영향을 받는 안전필수 시스템의 안전성을 정의하고 측정할 메트릭스가 필요성도 증가하고 있다. 본 논문에서는 임베디드 시스템의 복잡성과 안전성을 고찰하고, 안전성의 성질을 서술하는 복잡도 메트릭을 제안한다.

• 한국산업안전학회:학술대회논문집
• /
• 한국안전학회 2003년도 추계 학술논문발표회 논문집
• /
• pp.409-414
• /
• 2003

우리나라에는 그 동안 적지 않은 횟수의 대형 참사가 있어 왔으며, 그 때 마다 원인을 분석하고 대책을 세웠지만 사고는 계속되고 있다. 이와 같이 계속되는 사고에 대해 공학적 차원에서 찾아볼 수 있는 주요 원인은 시스템을 개발하는 초기 단계부터 시스템의 안전을 고려해서 규격서를 작성하고 설계를 하는 작업이 이루어지지 않았다는데 있다. 즉, 우리나라의 안전관리가 법률주의적 안전 보건법규에 의한 최소한의 안전성 확보라는 측면을 중요시하면서 실질적 최고수준의 안전성 확보 방안인 시스템 안전 프로그램의 가동에는 관심이 부족했기 때문이다.(중략)

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

암호 시스템의 안전성 및 신뢰성은 키의 안전성에 기반을 두기 때문에, 암호 시스템의 설계 및 구현 시 키를 안전하게 생성하는 것은 매우 중요한 일이다. 키 생성은 암호학적인 안전성을 만족하는 키를 생성하는 절차를 의미하며, 키를 생성하기 위해서는 지금까지 알려진 여러 가지 공격 방법들에 대한 안전성을 확보할 수 있는 파라미터를 사용해야 한다. 본 논문에서는 암호 시스템의 설계 및 구현 시 공개키 암호방식의 키 생성 단계에서 이산대수 문제와 소인수분해 문제를 푸는 알고리즘들을 이용한 공격으로부터 안전성을 갖기 위한 요구사항을 분석한다. 또한 이러한 결과를 바탕으로 키 생성 단계의 안전성 확보를 위한 요구사항 명세서를 작성한다.

• 한국산학기술학회논문지
• /
• 제19권10호
• /
• pp.410-417
• /
• 2018

현대의 시스템은 지속적으로 대형화, 복잡화되어 왔기 때문에 시스템의 오류 발생 가능성이 커졌다. 시스템의 고장은 안전 사고를 발생시키고, 인명과 재산상의 막대한 피해를 줄 수 있다. 이러한 이유로 미 국방성과 IEC 등의 국제표준기구에서는 시스템의 안전성을 확보하기 위한 안전 관련 국제표준을 제정하였고, 시스템 설계와 안전 활동이 통합적으로 수행되어야 함을 권고하였다. 이에 따라 최근의 연구들은 모델기반 시스템 설계를 진행함과 동시에 모델을 활용하여 시스템의 안전성 검증을 수행하였다. 하지만 시스템 설계를 위한 모델과 안전성 분석 및 검증을 위한 고장모델을 서로 다른 모델링 언어를 기반으로 생성하였기 때문에 시스템 설계와 안전 활동이 통합적으로 수행되지 못하였다. 또한, UML 또는 SysML 기반으로 고장모델을 활용하여 안전 요구사항을 도출한 연구들은 안전 분석 및 검증에 고장모델이 제한적으로 활용되었다. 이와 같은 문제점을 해결하기 위해서 기존의 고장모델 활용법을 확장 시킬 필요가 있다. 우선 시스템 설계와 안전성 검증 활동을 통합적으로 수행할 수 있는 개선된 SysML 기반의 고장모델을 생성해야 한다. 다음으로 이 고장모델을 활용하여 도출된 안전요구사항이 시스템 설계에 제대로 반영되었는지 검증할 수 있어야 한다. 따라서 본 논문에서는 개선된 SysML 기반 고장모델의 개념과 생성 절차를 제시하였고, 자동차 시스템에 대한 고장모델을 생성하였다. 또한, 자동차 시스템의 안전성을 검증하기 위해서 고장모델의 시뮬레이션을 수행하였다. 이를 통해서 개선된 SysML 기반 고장모델을 활용하여 시스템 설계와 안전성 검증 활동을 수행할 수 있음을 보였다.

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2011년도 추계학술대회 초록집
• /
• pp.82.1-82.1
• /
• 2011

최근 국내에서 발생된 대규모 정전사태로 인해 안정적인 전력공급에 대한 국민들의 요구가 커져, 지난 3월 일본 후쿠시마 원전사고 이후 다시 한번 분산전원에 대한 필요성이 대두되어지고 있다. 여러 분산전원 중 연료전지는 다른 에너지원에 비해 에너지의 지속성이 우수하여 가장 안정적인 분산전원 형태의 하나이다. 이에 따라 국내의 경우 우수한 도시가스 인프라로 인해 건물용 연료전지라는 신기술에 대한 국민의 수용성은 점점 높아질 것으로 기대된다. 현재 건물용 연료전지의 경우, 주로 1kW급 연료전지가 시범보급되어 각 가정에 설치되어지고 있으나, 상가, 주유소 및 편의점 등의 상업시설과 생활관 및 소형빌라 등의 집단 주거시설 같은 1kW급 보다 용량을 더 필요로 하는 응용처에 국내에서 개발된 5kW급 연료전지시스템이 적용되어지기를 기대한다. 본 연구에서는 국내 제작된 5kW급 고분자전해질 연료전지시스템의 보급이전에 안전성능 평가를 통해 시스템의 성능 및 안전성 평가결과를 제조사에 피드백 하여 5kW급 건물용 연료전지시스템의 조기 상업화에 앞장서고자 한다. 5kW급 연료전지시스템의 기술개발은 핵심부품인 연료변환기, 스택 및 BOP 기술의 경우 1kW급 연료전지시스템에 적용된 것과는 다른 기술이 필요하고, 단순한 scale-up 과정이 아닌 새로운 기술개발로 제품에 적용시켜야 하는 난점을 가지고 있다. 특히, 연료변환기의 경우 연료 유량의 증가로 인하여 reformer, CO shift 및 Prox 반응기의 유체역학, 열교환 흐름 및 촉매반응 공학적으로 이론을 응용한 새로운 반응기 설계와 제작기술 확립이 선행되어 전체적인 시스템 제작 설계에 반영되어져야 한다. 그러므로 본 연구에서는 연료전지시스템 안전성능 평가를 위해 용량증대에 따른 안전성평가 항목을 검토하고, 5kW급 연료전지시스템평가를 수행하여 시스템의 제품성능, 작동성능 및 계통연계성능에서의 안전성을 확인하였고, 정전 유풍과 같은 이상조건 및 실외 환경에 대한 시스템의 안전성도 확인하였다. 또한 부하운전 조건을 75% 및 50%로 변화시켰을 때 빠른 응답시간과 안정적인 부하변동운전을 확인하였다.

• 한국재난정보학회 논문집
• /
• 제19권2호
• /
• pp.421-431
• /
• 2023

연구목적: 건설기계의 안전사고를 예방하기 위해 사용하는 스마트 안전 시스템의 안전성과 재해 예방효과를 분석하여 그 안전성을 실증하고자 한다. 연구방법:건설기계 중 재해다발 및 위험성이 높은 굴삭기를 대상으로 스마트 안전 시스템의 유무에 따른 근로자의 행동 패턴을 분석하였다. 연구결과: 건설기계에 스마트 안전 시스템을 설치하였을 때 건설기계와 협착 및 충돌 등에 의한 재해로부터 근로자의 안전성이 확보되었다. 결론:건설기계에 설치된 스마트 안전 시스템은 건설기계 관련 재해 감소와 중대 재해예방에 실효성을 증대시킬 수 있을 것으로 판단된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.135-137
• /
• 2012

Safety Critical 시스템은 예상치 못한 오류가 발생했을 시 인명, 재산 및 심각한 환경 피해 등이 발생 할 수 있는 임베디드 시스템이다. Safety Critical 시스템에는 많은 위험성들이 잠재적으로 존재하기 때문에 치명적인 사고가 발생할 수 있다. 이러한 문제를 방지하기 위해 시스템에 존재하는 위험성을 분석하는 활동이 중요시 되고 있다. 본 연구에서는 Safety Critical 시스템의 잠재적인 위험성들을 분석하고 이를 아키텍처 설계에 반영함으로써 시스템의 안전성을 향상시키기 위한 Hazard Perspective를 제안한다. 제안하는 Hazard Perspective는 위험성 분석으로 산출된 정보들과 SSR(System Safety Requirement)을 시스템의 안전을 보장하기 위해 제시된 여러 Safety Architectural Tactics와 매핑하여 아키텍처 설계에 반영시킴으로써 시스템의 안전성을 향상시키도록 한다.

• 정보보호학회지
• /
• 제15권5호
• /
• pp.23-31
• /
• 2005

전자 선거는 세계 각국에서 이미 성공적으로 실시되고 있으며 많은 나라에서 이의 도입을 긍정적으로 검토하고 있다. 우리나라에서도 선거관리위원회를 중심으로 2005년 초 전자 선거 도입 일정을 발표하고 본격적으로 전자투표 시스템 개발에 박차를 가하고 있다. 대규모의 전자 선거 실시 경험이 전무한 우리나라에서는 외국의 실시 사례를 면밀히 분석하는 것이 무엇보다 중요한데, 미국에서 많이 사용되고 있는 AccuVote-TS 전자투표 시스템에 대한 안전성 분석 결과는 우리나라에 시사하는 바가 매우 크다고 할 수 있으며 우리나라의 전자투표 시스템 개발에 반드시 참고해야 할 내용이다. 또한, 전자투표에 대한 두 가지 큰 이슈인 오픈 소스 정책에 대한 장단점과 안전한 영수증 발급 방안에 대한 연구도 함께 진행해야 할 것으로 생각된다. 이를 위해 본 고에서는 AccuVote-TS 전자투표 시스템에 대한 안전성 분석 결과를 소개하고, 전자투표 시스템의 안전성과 신뢰성을 높이기 위한 방안으로 오픈 소스 정책과 영수증발급 방안에 대해 설명하여 향후 전자투표 시스템 개발 및 관련 연구 진행에 도움이 되고자 한다.

• 농약정보
• /
• 제25권8호통권201호
• /
• pp.14-17
• /
• 2004