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

시스템의 안전에 대한 인적오류(Human Error)의 영향은 심각하지만 구체적인 평가는 매우 어렵다. 주로 사용되는 인간신뢰도분석(HRA : Human Reliability Analysis)은 전체 시스템의 위험도에 대한 정량적 평가를 지원하는 데 집중되고 있고, 세부적인 평가는 개별적인 실험이나 사례에 의존하고 있다. 세부적인 평가나 설계 의사결정 과정을 지원하기가 어렵기 때문에, 종합적인 차원에서 인간공학적 확인 및 검증의 실무가 원활하지 않았다. 이러한 문제의 원인은 인적오류 평가에 활용된 HRA기법의 낙후성과 인적오류 평가가 MMI 설계과정과 잘 연결되지 않은 것이 주된 원인으로 보인다.(중략)

• 한국경영정보학회:학술대회논문집
• /
• 2007.11a
• /
• pp.617-622
• /
• 2007

국외에서는 대형시스템을 사용하는 항공, 해양, 원자력, 철도 등에서 발생하는 사고 중 인적오류가 포함된 사고에 대한 분석 및 연구가 활발히 진행되고 있다. 그러나, 국내의 경우 인적오류 연구에 대한 필요성도 미비한 상황이다. 특히, 철도산업의 경우 사고 분석을 위한 방법이나 절차, 인적오류와 관련된 원인요소에 대한 항목이 제한적이여서 사고 분석이 어려운 실정이다. 이에 본 연구에서는 인적오류가 내재된 사고 분석 및 분석 지원, 사고 사례 관리 등이 가능한 지원시스템의 프레임워크를 제안한다.

• Journal of the Korean School Mathematics Society
• /
• v.15 no.3
• /
• pp.429-451
• /
• 2012

This paper examined eight novice elementary teachers' knowledge in terms of the types and sources of students' errors and teaching strategies on plane figures through a questionnaire and teachers' discussion. The teachers tended to predict students' diverse error types, but they attributed the sources of such errors mainly to their characteristics. The analysis of teachers' responses of teaching strategies revealed that they recognized the importance of the teacher's clear explanation and students' own problem-solving, while they were somewhat negative in presenting diverse examples and classifying, drawing, or constructing figures. Building on these results, this paper provides the implications for novice teachers' professional development programs.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.2021-2028
• /
• 2010

Rail human factors research has grown rapidly in both quantity and quality of output over the past few years. Human factors, also, still plays a significant part in many railway accidents. In this paper we review categorized performance shaping factors of human errors associated with railway accidents within and out of the country. This paper deals with the selection of the important performance shaping factors under accident management situations in railway for use in the assessment of human errors. The purpose of this study is to classify which human error would be selected for accident analysis. Therefore, the classification of human errors suggested in this study may be useful to enhance the Korean railway system safety.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.39-44
• /
• 2003

오류분석 공격은 암호시스템에 오류를 주입한 후 그 출력 결과를 분석하여 비밀키를 찾아내는 물리적 공격 방법으로서 RSA, ECC를 포함한 공개 키 시스템을 비롯하여 DES, AES와 같은 대칭 키 암호시스템에도 공격이 시도되고 있다. 본 논문에서는 기존 DES 공격에 사용된 오류 주입의 가정만 있으면 국내 표준 블록 암호 알고리듬인 SEED 역시 오류 주입 공격이 가능함을 증명한다. 또한, 오류 주입 공격에 의해 SEED의 라운드 키 두개만 공격되면 원 암호 키가 모두 노출될 수 있음을 검증한다.

• Journal of the Korea Institute of Building Construction
• /
• v.17 no.6
• /
• pp.535-544
• /
• 2017

This paper analyzes the relations between design errors, prevented by building information modeling (BIM)-based design validation, and their impacts in order to identify critical consideration factors for implementing BIM-based design validation in architecture, engineering, and construction (AEC) projects. More than 800 design errors detected by BIM-based design validation in two BIM-based projects in South Korea are categorized according to their causes (illogical error, discrepancy, and missing item) and work types (structure, architecture, and mechanical, electrical, and plumbing (MEP)). The probabilistic relations among the independent variables, including the causes and work types of design errors, and the dependent variables, including the project delays, cost overruns, low quality, and rework generation that can be caused by these errors, are analyzed using logistic regression. The characteristics of each design error are analyzed by means of face-to-face interviews with practitioners. According to the results, the impacts of design error causes in predicting the probability values of project delays, cost overruns, low quality, and rework generation were statistically meaningful.

• Proceedings of the ESK Conference
• /
• 1993.10a
• /
• pp.89-99
• /
• 1993

원자력발전소 고장 및 불시정지 사례의 상당수가 시스템과 연계되어 인간에 의해 수행되는 운전, 유지보수, 관리와 관련된 인적오류에 기인하는 것으로 알려져 있다. 이러한 인적오류는 원자력발전소의 안전성과 효율성의 유지에 중요한 변수로 작용하며 불시정지에 의한 경제적 손실과 사회적 충격을 초래 하게 된다. 특히, 국내 원자력발전소가 외국설계라는 점과 인적요인에 대한 체계적인 평가가 이루어 지 지 않은 상태에서 운영중인 것을 감안하면, 인적요인의 국가별 차이에서 발생가능한 인적오류 유발요인 이 상존하고 있다고 할 수 있다. 이러한 인적오류의 중요성에 비해 국내 원자력 발전소의 인적오류에 대 한 연구는 지금까지 활발히 이루어지지 않고 있다. 본 연구에서는, 국내 원자력발전소에서 발생하는 인적 오류의 분석과 그 분석결과를 응용하기 위한 기술개발의 첫단계로, 기존 국외의 인적오류연구방법론 비교 분석, 국내 원전의 인적오류 발생현황 및 관련보고체계 분석, 등을 수행하여 국내 원자력발전소의 인적오류 분석 및 응용기술개발을 위한 연구개발 방향을 정립하였다. 기존 국외의 인적오류연구방법론 비교분석에서는, 인적오류에 대한 연구를 그 접근 방식에 따라 관리적 접근방식, 정량적 접근방식, 정성적 접근방식의 세가지로 분류하여, 각 접근방식에 대한 분석대상, 분석방식, 수행목적 등, 각 접근방식의 특징과 이에따른 실효성을 분석하였다. 그리고, 국내 원전의 인적오류 발생현황 및 관련보고체계분석에서는, 국내 원자력발전소에서 발생한 고장/정지 사건이 내포하고 있는 인적오류의 주요 형태를 파악하였으며, 또한, 인적오류연구 수행에 필수적인 인적오류사례원으로서 국내 원전에서의 인적오류 관련 보고체계에 대한 운용현황을 파악하고 그 유용성을 조사하였다. 이러한 연구를 통하여, 국내에 적용가능한 인적오류 분석기술개발 추진을 위한 제약 조건과 이러한 제약조건을 극복하고 인적오류 분석기술 수준을 향상시키기 위한 필요충분조건을 파악하였으며, 이 필요충분조건을 고려하여 인적오류 분석기법개발, 인적 오류 사례전파 및 자료관리 기술개발, 인적오류 사례수집 기술개발, 등을 주요 골자로 하는 인적오류 분석기술개발의 기본 방향을 설정하였다. 이와 아울러, 오류사례의 수집, 상세분석, 자료의 저장 및 응용을 위한 hardware 및 software 환경을 체계화하였다.

• Proceedings of the ESK Conference
• /
• 1996.04a
• /
• pp.63-75
• /
• 1996

국내 원자력발전소의 발전정지사례에 대해 원전 종사원이 분석한 자료를 수록하여 발간하는 원자력발전소 발전정지사례집을 이용하여 인적오류가 개입된 것으로 판단된 총77건의 불시정지 사례를 추출하여, 인적오류 저감의 우선순위가 높은 원자력발전소 작업분야를 도출하기 위한 분 석을 수행하였다. 이를 이하여, 먼저 인적오류가 개입된 발전소 계통, 인적오유 발생시의 작업상 황 및 작업유형, 그리고인적오류의 유형에 대한 분류체계를 작성하였다. 발전소 근무 경험을 바 탕으로 사례별로 발전정지에 가장 직접적인 영향을 미친 작업행위를 구분하고, 이 행위에 대해 작성된 분류체계의 해당항목을 판정하였다. 이 사례별 분석결과를 이용하여 발전소 계통, 작업상 황, 작업유형, 오류유형 등, 4가지 항목에 대하여 오류발생의 추이를 분석하였으며, 또한 발전소 계통과 작업상황, 계통과 작업유형, 작업상황과 작업유형, 작업유형과 오류유형 등, 항목간 오류 발생 연관성을 조사하였다. 이 결과로 인적오류의 발생률이 높은 발전소 계통, 작업상황, 작업유형 및 오류유형이 구분되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.142-144
• /
• 2006

모델 체킹(model checking)은 자동으로 소프트웨어의 속성을 검증하는 기법으로 그 필요성이 꾸준히 증가하고 있다. 시스템이 특정 속성(property)을 만족하지 않는 경우 모델 체커는 반례(Counterexample)를 생성하게 된다. 반례는 오류가 발생한 원인을 담고 있는 정보로서 오류를 이해하고 수정하는 작업에 많은 도움을 준다. 하지만 반례가 너무 길거나 이해하기 어려운 경우에는 분석에 많은 시간과 자원이 소요되기도 한다. 따라서 자동적으로 반례 안의 오류를 찾아내고 설명을 제공하는 기법의 필요성이 대두되고 있다. 본 논문에서는 추상모델(abstract model)에서 생성된 반례의 오류의 원인을 밝히는 자동화 기법을 제시한다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.3
• /
• pp.380-392
• /
• 1999

객체지향 분석과정중에 오류를 검출하고 일관성을 점검하여 무결성을 유지하는 것은 중요한 일이다. 그러나, 현재의 객체지향 개발 방법론은 객체지향 분석모델들에 대하여 오류 검출과 일관성 점검을 위한 정형화된 방법을 제시하지 못하고 있다. 본 논문은 지식베이스를 이용하여 , 객체지향 분석모델들에 대한 오류와 일관성 검증방법을 제안한다. 제안한 방법은 모형화 단계, 정형화 단계, 검증 단계의 세단계로 이루어져 있다. 모형화 단계에서는 시스템을 분석하여 OMT(Object Modeling Technique)방법론의 세 가지 모델인 객체모델, 동적 모델, 기능모델을 생성한다. 이 단계는 OMT의 분석단계에 해당한다. 정형화 단계에서는 이 세가지 모델들을 Atomic Formula 형태로 정형 명세하여 응용 지식베이스에 저장한다. 검증 단계에서는 오류 검출 규칙과 일관성 점검 규칙을 이용하여 오류를 점검하고 일관성을 유지한다. 그리고 본 논문에서 제안한 점검 방법을 적용하여 ATM(Automated Teller Machine)예제의 분석결과를 검증했다. 제안한 방법을 이용하면 보다 더 신뢰할 수 있는 분석모델을 얻을 수 있을 것으로 기대된다.