• Proceedings of the Korean Reliability Society Conference
• /
• 2000.11a
• /
• pp.429-434
• /
• 2000

정부에서는 선진국의 기술경쟁력과 중국의 가격경쟁력 사이에서 어려움을 겪고 있는 국내 부품 제조업체들의 경쟁력을 향상시키기 위하여 부품의 신뢰성을 제고하기 위한 신뢰성인증 사업을 시작하였다. 본 논문에서는 이와 같은 정부의 신뢰성인증 사업의 일환으로 산업기술시험원에서 시범사업으로 진행되고 있는 계전기(relay)에 대한 신뢰성인증 체계를 제시하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.556-558
• /
• 2004

현재 제안된 MANET에서의 유니캐스트 라우팅[3][4]들은 신뢰성 있는 데이터 전송을 위한 응용에는 적합하지 않다. 신뢰성 있는 데이터 전송을 위하여 제안된 다중 경로 라우팅 메커니즘[5][6]은 추가적인 오버헤드와 비효율적인 자원의 이용이라는 문제점을 발생시킨다. 본 논문에서는 노드의 링크 단절 빈도와 데이터 전송시의 배터리 소모를 기반으로 하는 신뢰성 있는 단일 경로 설정 메커니즘을 제안한다. 제안된 메커니즘의 경우 단절될 확률이 적은 노드들로 구성된 경로를 선택함으로써 기존의 라우팅 알고리즘보다 신뢰성 높은 경로를 설정할 수 있는 동시에 높은 동적 환경에서는 다중 경로를 설정하여 신뢰성을 향상시킬 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.579-581
• /
• 1998

소프트웨어 개발에서 나타나는 많은 오류는 요구 사항에 대한 정확한 이해의 부족에서 기인된다. 따라서 분석 단계에서 요구사항을 정확하게 나타내는 활동은 전체 소프트웨어의 신뢰성에 큰 영향을 미치게 된다. 요구 검증은 요구 분석 활동에서 산출되는 정보가 요구 문서의 정보를 바르게 나타내는가를 검증하는 활동이다. 본 연구에서는 객체 지향 소프트웨어의 개발에서 요구 검증을 수행하기 위해 OFL(Object-oriented Formal Language)과 질의 추출을 적용하였다. OFL은 객체 지향 형식 상태변이사항(Formal state transition specification)으로 형식 언어가 기자고 있는 명확성을 유지하며 분석 활동의 결과를 체계적으로 제시한다. 이러한 결과와 요구 문서와의 비교를 위하여 질의 추출이 수행된다. 이는 질의를 통하여 요구 문서에서는 나타나는 정보를 체계적으로 정리하여 개발 의뢰자가 제시한 요구 사항과 개발자가 제시하는 요구 사양간에 일치성과 완전성이 존재함을 검증한다. 이러한 요구 검증은 요구 사양의 신뢰성뿐만 아니라 개발되는 소프트웨어의 신뢰성을 향상시킨다.

• Proceedings of the Korean Reliability Society Conference
• /
• 2001.06a
• /
• pp.67-87
• /
• 2001

• Proceedings of the Korean Reliability Society Conference
• /
• 2000.11a
• /
• pp.135-145
• /
• 2000

• Proceedings of the Korean Reliability Society Conference
• /
• 2005.06a
• /
• pp.175-198
• /
• 2005

• Proceedings of the Korean Reliability Society Conference
• /
• 2005.06a
• /
• pp.157-163
• /
• 2005

신뢰성성장시험관리는 제품개발프로그램의 초기단계에서 고장모드를 확인하고, 이를 개선 또는 제거하기 위해 설계를 변경하고, 그 결과 진행되는 신뢰성이 향상되는 변화를 추적할 수 있는 실용적인 방법이다. 본 연구의 목적은 AMSAA(Army Materiel Systems Analysis Activity)모델을 이용하여 신뢰성 성장을 계획하고 평가할 수 있는 실용적인 방법을 제시하는데 있다. 시험-개선 과정을 통하여 성장하는 신뢰성 수준의 변화에 대한 추적과 예측 가이드라인을 제시함으로써 현장에서 활용할 수 있는 방법을 보여준다.

• Proceedings of the Korean Reliability Society Conference
• /
• 2006.05a
• /
• pp.371-379
• /
• 2006

자동차용 필라멘트 전구는 모든 차량의 전조등, 안개등, 후진등에 사용 되며, 특히 H1, H3, H4 제품은 가장 대중적이고 차량의 적용율이 높은 제품으로 적은 체적에서 높은 광속 효과를 얻을 수 있어 차량용 조명등에 적용되고 있다 본 글에서는 안정성 및 신뢰성이 확보되지 않은 국내 자동차용 전구 및 저가의 중국산 제품에 대해 품질이 우수한 선진제품과의 신뢰성 수명 비교 평가를 통하여 현재 국산제품의 신뢰수준을 확인하고 평가결과를 제조업체에 Feed Back 하여 자동차용 필라멘트 전구의 신뢰성향상에 기여하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.280-282
• /
• 2010

위기대응 매뉴얼은 지진, 태풍 등 상황에 적절하게 적용되며 신뢰성 있게 작동한다는 것이 보장되어야 한다. 따라서 위기대응 매뉴얼의 검증은 필수적이며, 이를 위해 본 논문에서는 정형기법 도구인 Statemate를 이용한 명세, 검증 및 신뢰성 개선방안을 제시한다. 모델체킹을 통해서 매뉴얼 사용자들의 임의적인 판단을 일의킬 수 있는 Non-Determinism과 대응 매뉴얼이 달성하고자 하는 목표의 도달여부에 대해 검증을 수행할 수 있으며, 이외에도 사용자가 원하는 검증 속성을 Temporal Logic으로 작성해서 검증할 수 있다. 또한 도구에서 지원하는 시뮬레이션을 통해 제한적이지만 조치내용의 적절성 여부와 추가적으로 발생 가능한 트리거를 찾음으로써 위기대응 매뉴얼의 신뢰성을 향상시킬 수 있다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.12
• /
• pp.2635-2642
• /
• 2012

MOST(Media Oriented Systems Transport) is a network protocol for vehicle multimedia, where it guarantees large bandwidth and reliability. However, previous MOST device utilized I2C or I2S communication method to data manage or transfer, Bandwidth of MOST have increased and additional equipments are added to one device, requiring a larger form of bandwidth communication method. Therefore, this research suggests of the methods in improving the efficiency of asynchronous data transfer, and suggest an algorithm, which will improve the reliability.