• Title/Summary/Keyword: 안전사용

Search Result 12,699, Processing Time 0.041 seconds

A Technique to Generate Information of Safe Interleavings for On-the-fly Atomicity Violation Repairing in Airborne Software (항공기 소프트웨어의 원자성위배 자율수리 도구를 위한 안전한 인터리빙 정보를 생성하는 기법)

  • Baek, Hyoung-Jin;Choi, Eu-Teum;Lee, Keon-Pyo;Jun, Yong-Kee
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2019.01a
    • /
    • pp.11-12
    • /
    • 2019
  • 본 논문은 멀티스레드를 지원하는 항공기 소프트웨어에 적용될 수 있는 자율수리 도구의 문제의 해결방법을 제안하는 논문이다. 기존의 연구는 프로그램의 반복수행을 통해 안전한 인터리빙을 수집하여 프로그램의 동작을 제한한다. 하지만 테스트 단계에서 수집되지 않은 안전한 인터리빙을 잘못된 인터리빙으로 처리하여 수리를 수행함으로써 불필요한 오버헤드가 발생한다. 본 논문은 원자성위배 패턴을 사용하여 안전한 인터리빙을 예측하여 생성시키는 기법을 사용하여 수리기법에서 불필요한 수리로 인한 오버헤드를 감소하기 위한 안전한 인터리빙 정보를 생성하는 기법을 제안한다.

  • PDF

Developing Safety-critical Embedded System using SPARK Ada (SPARK Ada 기반 안전필수 내장형 시스템 개발)

  • Oh, Joon-Seok;Kim, Jin-Hyun;Choi, Jin-Young
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2010.04a
    • /
    • pp.33-36
    • /
    • 2010
  • 소프트웨어가 대형화되고 복잡해짐에 따라 발생하는 오류가 증가되고 있다. 안전성이 특히 중요시되는 안전필수(safety-critical) 내장형 시스템에서 오류가 발생하면 인명상의 피해 또는 재산상의 피해를 야기한다. 개발 후, 테스팅을 통해 이런 오류를 찾는 비용은 매우 크고, 모든 오류를 찾는 것은 불가능하다고 인식되고 있다. 따라서 소프트웨어 개발단계에서 이런 오류를 탐지하고 제거하려는 노력이 증대되고 있다. 본 논문에서는 SPARK Ada를 사용하여 안전필수 내장형 시스템을 개발할 때, 오류를 제거할 수 있는 흐름분석(flow analysis) 기법을 사용하여 특정한 타입의 오류를 제거할 수 있음을 보인다. 또한 이를 적용하여 안전필수 시스템을 개발한다.

A Study on the Function Maintenance of the Protection Guard Interlock System (방호가드 인터록장치 성능 유지관리에 관한 연구)

  • LEE, Ki-Taek
    • Proceedings of the Korean Society of Disaster Information Conference
    • /
    • 2023.11a
    • /
    • pp.139-140
    • /
    • 2023
  • 기계·기구, 설비 등(이하 "기계설비")의 주요 위험장소에는 작업자를 통제, 격리하기 위해 방호가드를 고정·설치하는 등 안전사고에 대비하고 있다. 다만 방호가드가 개폐가 용이한 구조일 경우 기계설비 등의 작동 중 작업자 임의 개방에 의한 사고위험에 그대로 노출될 우려가 있어 개폐가 가능한 구조의 방호가드에는 기계설비 가동조건과 연동회로가 구성된 인터록장치를 설치하여 안전사고에 대비하는 것이 일반적이다. 다만 인터록장치는 대부분 기계설비의 가동조건과 하드와이어드(hard-wired)로 결선된 단순 구조가 아닌 PLC(Programmable Logic Controller), 터치판넬, 통신장치 등과 다양하게 다소 복잡한 구조로 설치되어 있고, 인터록장치에 사용되는 센서도 구조, 기능, 사용처 등에 따라 매우 다양화되어 방호도어에 설치되는 안전센서의 사양 선정이 잘 못되거나 설치 후 관리가 미흡할 경우 오작동, 기능해지 등으로 인해 또 다른 사고위험에 그대로 노출될 우려가 있다. 따라서 방호가드에 설치된 인터록장치의 기능해지, 관리소홀 등으로 인해 발생한 사고사례, 아차사고 등을 통해 인터록장치 성능 유지관리를 위한 기술적 사항에 대한 기준을 마련할 필요가 있다.

  • PDF

Flow Safety Assessment by CFD Analysis in One-touch Insertion Type Pipe Joint for Refrigerant (CFD 해석을 이용한 냉매용 원터치 삽입식 파이프 조인트의 안전성 평가)

  • Kim Eun-Yonung;Park Dong-sam;Kim, Hong-Yong
    • Proceedings of the Korean Society of Disaster Information Conference
    • /
    • 2022.10a
    • /
    • pp.303-304
    • /
    • 2022
  • 파이프는 기계, 전자, 전기, 플랜트 등 많은 산업 분야에서 응용기기로 널리 사용되고 있으며, 소방, 화학 등 안전 관련 분야에서도 널리 사용되고 있다. 제품의 다양화에 따라 배관 분야에서도 기술의 중요성이 높아지고 있다. 특히 기존 동관을 스테인리스강으로 변경하는 경우 구조해석이나 유동 해석을 통해 안전성과 유동특성을 평가할 필요가 있다. 자체 개발한 일체형 인서트형 커넥터인 6.35 소켓 모델의 유동 안전성은 CFD 해석을 이용하여 유동유발진동(FIV)평가 과정의 4단계를 통해 진행하였다. 배관계 벽면에 작용하는 압력변동의 진폭은 3,780Pa이하의 수준으로 형성되며, 이는 냉매 배관의 운전압력이나 설계응력과 비교했을 때 매우 작은 수준의 압력으로, 난류에 의한 진동이 배관의 구조안전성에 미치는 영향은 미미한 수준인 것으로 나타났다.

  • PDF

A Study on Quantification of Safety-Critical Software Failure Mode (안전-필수 소프트웨어의 실패모드 정량화에 관한 연구)

  • Kim, Young-Mi;Jeong, Choong-Heui;Kim, Hyeon-Soo
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2008.05a
    • /
    • pp.257-260
    • /
    • 2008
  • 디지털 컴퓨터와 정보처리기술의 급속한 발전과 함께 산업계 전반적으로 아날로그 기술은 쇠퇴하고 디지털 기술로 전환되고 있다. 심지어 안전-필수 기능을 담당하는 원자력발전소의 계측제어시스템에서도 제한적으로 디지털 기술을 채택하여 사용하기 시작했다. 지금까지 소프트웨어의 신뢰도의 정량화에 대한 연구는 많이 이루어져 왔으나 소프트웨어가 가지는 특수성 때문에 연구결과에 대해 전문가들의 동의를 얻지 못하고 있는 상태이다. 원자력발전소에서는 확률적 안전성 평가(PSA)를 수행할 때 소프트웨어의 실패에 기인한 위험은 무시하고 있다. 하지만, 소프트웨어를 기반으로 한 디지털 시스템의 사용이 점점 늘어남에 따라 소프트웨어 신뢰도에 대한 정량화가 점점 더 요구되고 있다. 본 연구에서는 소프트웨어의 실패모드를 정의하고 해당 실패모드에 의해 사고가 발생할 확률을 베이지안 통계이론을 이용하여 정량화하였다.

전기기계.기구의 설치 및 사용상의 안전 대책

  • 유보혁
    • 전기의세계
    • /
    • v.42 no.2
    • /
    • pp.12-22
    • /
    • 1993
  • 사고는 잠재적 사고원인에 대한 인식 부족이나 그 위험성을 등한히 함으로써 발생되는 것으로, 절대로 우발적으로 발생되지 않는다. 이 재해 발생 원인인 불안전한 상태 또는 행동은 사전에 발견할 수 있으며, 사고의 가능서은 제거가 가능하다. 그러므로, 전기로 인한 재해를 방지하기 위해서는 전기기기 설치시에는 관련규정에 적합하게 시설함은 물론 만약 기기 사고시에도 인체를 보호할 수 있는 각종 안전장치의 시설을 완비하는 것이 필요하며, 또한, 이와같은 기기가 정상적으로 작동될 수 있도록 평상시 안전점검을 철저히 하고 근로자의 불안전한 행동을 없애기 위하여 안전지식 및 안전의식 고취를 위한 안전교육 실시 등의 재해예방 활동에 만전을 기해야 할 것이다.

  • PDF

과전류에 의해 용단된 연동선의 단면조직 분석

  • 송길목;김동우;최충석
    • Proceedings of the Korean Institute of Industrial Safety Conference
    • /
    • 2003.10a
    • /
    • pp.311-316
    • /
    • 2003
  • 산업현장이나 일반 가정에서 없어서는 안 될 전기는 무분별한 이용과 안전을 고려하지 않은 무리한 조건에 의한 사용으로 예상하지 못한 중대한 재해로 이어질 수 있다. 국내의 경우 전기화재 및 감전으로 인한 피해가 매년 발생하고 있으며 재해 규모가 대형화되고 있는 추세에 있다 이미 선진외국에서는 국가 중대재해 대책을 위한 안전 전문 연구기관에 대한 투자와 개발이 이루어지고 있어서 연구성과가 교육, 홍보, 개발 등 적극적으로 활용될 수 있도록 제도적 장치가 마련되어 있다. 그러나, 국내에서는 안전의 중요성 보다 생산성 향상에 우선하는 취약한 기반 구조를 가지고 있어, 국가 전반에 걸친 관심과 지원이 필요한 실정이다. 향후, 국가가 경제적으로 안정될수록 전기안전에 대한 중요성은 증대될 것으로 판단된다.(중략)

  • PDF

Safety Activities on The Software Life-cycle (소프트웨어 라이프사이클 동안의 안전성 활동)

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

  • PDF

중국 식품안전업무 강화결정

  • 한국식품공업협회
    • Food Industry
    • /
    • s.182
    • /
    • pp.117-122
    • /
    • 2004
  • 중국은 최근 발생한 바 있는 일련의 식품안전 사건(식품첨가물 과다 사용, 저질분유로 인한 유아 사망, 공업용 메틸알코올로 제조된 술로 인한 사망 등)으로 인한 사회문제가 야기되자 원자바오(溫家寶)총리의 지시로 식품약품감독관리국의 주관 하에 위생부, 농업부, 공상관리총국 등 관계부서 공동으로 식품의 안전성 확보를 위해 다각적인 노력을 기울이고 있습니다. 이러한 식품안전의 국가 정책상의 중요성을 반영하여 국무원은 지난 9.1(수) 구체적인 목표와 단기적으로 수행할 중점업무 및 향후 추진대책을 골자로 하는 ''식품안전업무 강화 결정''이란 식품안전 종합대책을 발표하고 각 성$\cdot$$\cdot$자치구에 유효한 조치를 취하도록 지시한 바, 관심있는 분들은 참고하시기 바랍니다.

  • PDF

국내 공연장 안전관리 실태 및 개선 대책에 관한 연구

  • Gal, Won-Mo
    • Proceedings of the Safety Management and Science Conference
    • /
    • 2008.04a
    • /
    • pp.101-111
    • /
    • 2008
  • 공연예술의 급속한 발전이 이루어지고 있으나 공연의 질, 연출 기법이나 공연에 필요한 시설에만 초점을 맞추고 있고 정작 공연장을 사용하는 배우와 관객들의 안전은 등한 시 되어 최근 수년간 공연장의 물리적 환경의 미비와 무대시설의 운영 미숙 등에 따른 각종 사고가 연이어 발생하고 있는 것이 국내 실정이다. 본 연구는 공연장 안전에 대한 국내 외 공연장 관련법규와 무대사고의 사례를 살펴보고 공연장의 무대 공간에 잠재해 있는 각종 위험 요소를 분석함으로서 공연장 사고예방을 위한 체계적 안전대책을 제시하는데 그 목적이 있다.

  • PDF