• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2002.11a
• /
• pp.305-310
• /
• 2002

최근 첨단 반도체 패키지 공정에서는 전극형성 공정에 BGA package 시스템이 도입되고 있으며 BGA package은 잔존 flux 및 이물질의 제거공정이 필수적이다. 잔존하는 flux는 세척이 제대로 이루어지지 않을 경우 solder ball들이 고온 또는 습도에 노출되었을 때 lead, circuit board 등의 부식과 conductor Insulation 수축의 원인이 된다.(중략)

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.257-260
• /
• 2008

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

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2011.06a
• /
• pp.104-108
• /
• 2011

선박 운항안전 지원을 위한 해양특성정보 활용 방안을 연구하였다. 국외에서 구축 운영중인 운항안전 지원을 위한 해양특성 정보시스템의 개발 사례 검토를 통하여 운항안전 지원을 위한 해양정보의 필요성 및 주요 구성 요소를 검토하였으며, 국내에서 구축 운영 중인 해양정보시스템을 사례 검토를 통하여 국내 시스템의 한계 및 문제점을 제시하였다. 또한 사례검토의 시사점 분석을 통하여 향후 국내 운항안전 지원을 위한 해양특성정보 제공 시스템의 개발 방안을 제시하였다. 본 연구의 주요 결과로 국내 해양특성 정보 제공 시스템의 현황을 파악하고, 운항 안전 지원을 위한 시스템의 활용 및 보완 방안을 제시하였으며, 운항안정을 위한 필수 정보 요소들에 대한 구현방안을 제시하였다. 본 연구의 결과는 향후 운항 안전 시스템의 일부 개발에 활용될 예정이다.

• Journal of KIISE
• /
• v.44 no.9
• /
• pp.893-907
• /
• 2017

In safety-critical systems, software defects may have serious consequences. Therefore, defects should be considered during the requirements specification process, which is the first step of a software development lifecycle. Stakeholder requirements that are usually written in natural language are difficult to derived, and there may also be defects due to ambiguity and inaccuracy. To address these issues, we propose a requirement specification method using a standardized Boilerplate and a GSN Model. The Boilerplate is a semi-standard language that follows a predefined format. Due to its ability to provide a consistent representation of the requirements, boilerplate helps stakeholders avoid ambiguities about what they mean and to define the exact meaning of the requirement. Meanwhile, GSN is recognized notation to prepare a Safety Case to prove to authorities that a system is safe. It can be expressed as a functional goal, e.g., Safety Evidence, etc. The proposed study allows an analyst to easily identify a fault from the early stage of the software development lifecycle. The Boilerplate and GSN Model are designed to specify the requirements of safety critical systems and to prove safety conformity through a connection with Safety Evidence. In addition, the proposed approach is also useful to develop secure software by correcting deficiencies in the requirements found during this process.

• Proceedings of the KOR-KST Conference
• /
• 1998.10a
• /
• pp.352-360
• /
• 1998

교통소통과 안전을 위해서는 체계적이고도 획일적인 교통안전시설물의 설치 및 관리가 요구된다. 앞으로 교통안전시설물에 많은 투자가 절실히 요구되며, 계속 늘어나고 있는 자동차등 여러 가지 교통여건을 감안하면, 교통안전시설물에 대한 수요는 더욱 증갛살 것으로 예상된다. 지리정보시스템 (GIS)을 활용하게되면 급증하는 교통안전시설물의 조사 및 유지·관리업무를 제한된 인력과 예산으로 수행할 수 있게된다. 그러므로 교통안전시설물의 체계적인 유지·관리를 위해선 GIS의 활용은 필수적이라 하겠다. 또한 신설 및 교체수량의 정확한 예측 등과 같은 효과를 거둘 수 있어 효율적인 예산을 집행할 수 있게된다. 본 연구는 지리정보시스템 (GIS)을 이용하여 교통안전시설물 유지·관리 시스템 개발에 목적이 있으며, 특히 개발된 시스템은 실무담당자 활용에 편의를 도모하는데 주안점을 두었다.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2000.11a
• /
• pp.27-34
• /
• 2000

산업 안전과 관련된 시스템에서 요구되는 것 중에서 필수적인 것은 내진 발생에 대비하는 검증이 있다. 이 논문은 내진 검증을 증명하고 장차 사용을 위한 증명된 유한요소 해석모델을 개발하는 방법이 제시되었다. 여기서 사용된 모델은 사우디아라비아의 RASCO사에서 사용되기 위해 현대중공업(주)에서 제작되었다.(중략)

• Information and Communications Magazine
• /
• v.32 no.3
• /
• pp.105-107
• /
• 2015

2014년 7월 미래부에서 국가재난안전통신망에 대한 기술방식을 최종 선정한 이후로, 국가재난안전통신망에 대한 관심이 높아지고 있다. 본고에서는 먼저 본 과제의 필요성 및 주요 성과물을 다루고 현재의 R&D 시장 동향을 통해 어떤 전망을 내다볼 수 있는지 구체적으로 다룬다. 궁극적으로 재난통신 시스템 및 단말 개발은 미래부에서 요구하는 재난망의 필수/선택 기준을 만족시키는 원천 기술 확보 및 이에 대한 표준화 그리고 상용 수준의 시스템 및 단말이라는 요소들을 모두 균형적으로 고려하여 이루어져야 한다.

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

화재감지시스템은 화재로부터 발생하는 열과 연기 등을 감지하여 화재발생을 조기에 관계자에게 경보하여 주는 시스템이다. 현재 이러한 화재감지시스템은 일정 규모 이상의 건축물에 필수적으로 설치되어 있으며 이 시스템으로 많은 인명과 재산이 보호되고 있다. 그러나 현재 설비되고 있는 화재감지시스템은 화재 시에 발생되는 열, 연기 등에 대하여 감지기회로에서의 미리 지정한 고정값과의 비교를 통하여 정해진 기준을 넘을 경우 화재로 판정한다. 그러나 고정값을 기준으로 신호를 발신하게 되어있는 화재감지기의 동작은 상황에 따라 불확실한 경우가 발생한다.(중략)

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.242-244
• /
• 2003

이동적응망에서의 안전하고 신뢰성있는 통신을 위하여 안전한 라우팅 프로토콜은 필수적이다. 본 논문에서는 안전한 라우팅 프로토콜을 제안한다. 제안 프로토콜은 기존의 프로토콜과는 달리 ID 기반 암호시스템을 사용하여 전체 경로길이에 관계없이 상수개의 암호학적 인자로서 경로상의 모든 단말의 인증이 가능하며, 이에 따라 경로 발견 과정시 소모되는 네트워크 자원의 양이 이전보다 감소하게 되는 장점이 있다.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 1998.11a
• /
• pp.253-260
• /
• 1998

원자력 안전과 관련된 시스템에서 요구되는 것 중에서 필수적인 것은 내진 발생에 대비하는 검증이 있다. 이 논문은 내진 검증을 증명하고 장차 사용을 위한 증명된 유한요소 해석모델을 개발하는 방법이 제시되었다. 여기서 사용된 모델은 한국원자력연구소의 KMRR에서 사용되기 위해 이화전기산업(주)에서 제작되었다. (중략)