• 안전기술
• /
• 제199호
• /
• pp.55-55
• /
• 2014

• 안전기술
• /
• 제203호
• /
• pp.58-58
• /
• 2014

• 안전기술
• /
• 제170호
• /
• pp.54-57
• /
• 2012

• 안전기술
• /
• 제139호
• /
• pp.6-10
• /
• 2009

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

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

• 한국재난정보학회:학술대회논문집
• /
• 한국재난정보학회 2022년 정기학술대회 논문집
• /
• pp.185-186
• /
• 2022

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

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2013년 추계학술대회
• /
• pp.539-546
• /
• 2013

본 연구는 승마용 안전모의 신뢰성 확보를 위해 안전기준을 정립하기 위한 연구이다. 국내 외 레저 스포츠 안전모 관련 안전기준을 비교 분석하여 도출한 주요 시험평가방법을 현재 국내에 유통 중인 중저가 승마용 안전모를 대상으로 성능시험을 하였다. 충격흡수성 시험 시 1축과 3축 가속도 센서를 이용한 시험방법에 대해서 성능평가 데이터를 통해 1축 가속도 센서를 이용한 충격흡수성 시험으로 선정하였다. 유지시스템의 강도시험에서 헤드 폼 서포트 방식과 후크 서포트 방식으로 구분되던 것을 시료에 손상 없이 시험 가능한 헤드 폼 서포트 방식으로 결정하였다. 이와 같이 승마용 안전모의 안전기준을 정립하여 제품의 안전성 및 신뢰성을 확보하고 나아가 "품질경영 및 공산품 안전 관리법"에 규정함으로써 자국민의 안전을 확보하고 중국산 저가 제품에 대한 시장진입장벽을 구축하여 경쟁력 있는 안전모 시장을 구축하기를 기대한다.

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

소프트웨어 시스템의 안전성을 보장하기 위해 여러 안전성 분석 기법들이 사용되고 있으며, 안전성 분석의 결과인 안전성 요구사항을 시스템이 만족하고 있는지 확인하는지 확인하는 안전성 평가과정이 수행되고 있다. 안전성 평가는 많은 시간과 비용이 드는 문제점을 가지고 있다. 본 논문은 안전성 평가에 드는 시간과 비용을 줄이기 위해 테스트 케이스를 이용하여 안전성 요구사항을 소프트웨어 개발의 가장 기본적인 검증기법인 테스팅을 이용하여 시스템이 만족하는지 확인하는 방법을 제안하고 핸드폰의 카메라 컨트롤러 예제를 이용한 사례 연구를 진행하였으며 이를 지원 위한 도구인 TC2SMV를 개발하였다. TC2SMV는 UML의 state chart diagram에서 생성된 test case들을 SMV 입력 프로그램으로 자동으로 변환하여 사용자가 SMV 모델체킹을 수행할 수 있는 환경을 제공한다.

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

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

• 조명전기설비학회논문지
• /
• 제24권4호
• /
• pp.123-128
• /
• 2010

재래시장의 전기재해로 인한 재산 및 인명 피해를 줄이기 위하여 재래시장 특성을 고려한 상가 분전반에서 재래시장에 사용되는 전기설비의 상태(과부하, 누전, 아크발생, 전력량, 화재발생 지수 등)를 원격으로 모니터링할 수 있는 전기안전감시시스템을 개발하였다. 개발된 전기안전감시시스템의 신뢰성과 안전성을 확인하기 위해 분전반 실험 및 전기안전감시시스템의 운영 방향을 토대로 재래시장 전기안전감시시스템 Test-Bed를 구성하였다. 본 논문은 추후에 재래시장 실증 부하들의 운영에 따른 안전성과 신뢰성을 검증하기 위한 자료로 사용될 것이다.