IEC 61508 안전 무결성 수준의 정량적 검증

권기현

doi:10.14801/jkiit.2018.16.9.43

추천

검색

질문

자료유형: 학술저널

저자정보: 권기현 (경기대학교)

저널정보: 한국정보기술학회 한국정보기술학회논문지 한국정보기술학회논문지 제16권 제9호(JKIIT, Vol.16, No.9)

발행연도: 2018.9

수록면: 43 - 50 (8page)

DOI: 10.14801/jkiit.2018.16.9.43

이용수

📌

연구주제

📖

연구배경

🔬

연구방법

🏆

연구결과

초록· 키워드

오류제보하기

안전 기능은 사고를 일으킬 수 있는 위험요인으로부터 사람의 목숨이나 재산 또는 환경을 지키는 안전 보호 시스템이다. 이와 같은 안전 기능은 가능한 고장 없이 동작해야 한다. 관련된 국제 표준 IEC 61508 에서는 안전 기능의 고장율을 안전 무결성 수준(SIL)으로 정의하고 있다. 따라서 안전 기능을 개발할 때에는, 고장율이 SIL을 만족하는지를 검증해야 한다. RBD, FTA로 검증하는 기존 연구들과는 다르게, 본 논문에서는 SIL 검증을 확률 모델 검증 문제로 간주한다. 개발할 안전 기능을 연속 시간 마코프 체인으로 모델링하고, 연속 확률 논리로 속성을 명세해서, 정량적인 SIL 검증을 수행한다. 본 논문의 유용성을 확인하기 위해서, 탱크 과류 방지를 수행하는 안전 기능에 적용하였다. 그 결과, IEC 61508 공식을 사용하는 것과 같은 결과를 얻었을 뿐만 아니라, RBD와 FTA에서 사용하는 정적 모델과는 달리, 연속 시간 마코프 체인은 동적 모델이기 때문에 시간의 흐름에 따른 고장율 등도 분석할 수 있었다.

#safety function #safety integrity level #quantitative verification #probabilistic model checking

참고문헌 (10)

참고문헌 신청

[기타자료] - IEC / 2010 / IEC 61508:2010 Functional safety of electrical/electronic/programmable electronic safetyrelated systems / International Electrotechnical Commission

[학위논문] - E. B. Abrahamsen / 2015 / A new approach of uncertainty treatment in the verification of safety integrity level of safety instrumented system / University of Stavanger

[기타자료] - IEC / 2016 / IEC 61078:2016 Reliability block diagrams / International Electrotechnical Commission

[기타자료] - IEC / 2006 / IEC 61025:2006, Fault tree analysis / International Electrotechnical Commission

[학술지(정기간행물)] - T. Grimm / 2018 / A Survey on Formal Verification Techniques for Safety- Critical Systems-on-Chip / Electronics 7 (81) : 1 ~ 27

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

권기현

소속기관 경기대학

주요연구분야 공학 > 전기전자공학 > 정보통신공학 TOP 1% 공학 > 컴퓨터학

논문수 49 이용수 4,537

이 논문과 함께 이용한 논문

한옥의 친환경 특성이 인간에게 미치는 영향요소 분석

안의종 KIEAE Journal 2014 .10

IEC 61508 기반 안전 무결성 레벨 평가 및 관리방안에 관한 연구

정기호 , 최용은 , 오효석 외 1명 한국철도학회 학술발표대회논문집 2021 .11

한옥 마을의 실시간 쾌적성 모니터링 및 지능형 실내환경 조절 시스템 제안

김태룡 , 한승훈 한국통신학회 학술대회논문집 2015 .06

안전소프트웨어를 위한 소프트웨어 테스팅 관점에서의 차량기능안전 표준(ISO26262) 적용 방안 논의

장승연 정보과학회지 2015 .07

대학생의 성별에 따른 음주행위와 학업자기효능감이 학업 성과에 미치는 영향 분석 : 학업태만행위의 매개효과

전재은 , 신윤정 , 김희연 아시아교육연구 2015 .06

최근 본 자료

전체보기

구분	그룹	데이터 항목
AI 학습용 데이터	원문	원문 PDF 파일
AI 학습용 데이터	원문 + 메타 (기본/상세)	원문 PDF 파일 및 서지정보 CSV
대량 구매용 데이터	B2B 구독 방식	특정 자료 한정으로 원문 접근 권한 부여
대량 구매용 데이터	URL 전달 방식	바로 PDF 뷰어를 열람할 수 있는 URL 제공

구분	그룹	데이터 항목
AI 학습용 데이터	기본 메타	발행기관명, 간행물명, 권호명, 권(vol), 호(issue), 통권, 발행연도, 발행월, 논문명, 저자명, 시작페이지, 종료페이지, 전체페이지, 상세페이지URL
상세 메타 데이터	발행기관 메타	발행기관 이명, 영문명, 창립연도, 홈페이지URL, 발행기관 소개
	간행물 메타	부제목, 간행물 유형, ISSN, ISBN, 최초발행연도, 폐간연도, 간행빈도, 발행주기, 등재사항, 이용수, 피인용수, 권호수, 논문수, 표지이미지
	논문 메타	작성 언어, 부제목, 대등제목, 목차, 키워드, 초록, 이미지, 참고문헌, 이용수, 피인용수, 논문활용도, DBpia통합주제분류, KDC분류, DDC분류, 한국연구재단분류, UCI, DOI
	저자 메타	소속기관, 소속부서, 직급, 연구분야, 연구키워드, 이용수, 피인용수, 저자 논문활용도

구분	그룹	데이터 항목
※ 결합형/맞춤형 메타 데이터는 신청 내용에 따라 다양하게 제공 가능
이용순위 정보	주제분야별 많이 이용된 논문	“인문학”에서 많이 이용된 논문 TOP100
	이용기관별 많이 이용된 논문	“중고등학교”에서 많이 이용된 논문 TOP100
	세부기관별 많이 이용된 논문	“서울대학교”에서 많이 이용된 논문 TOP100
	키워드별 많이 이용된 논문	“Chat GPT”에서 많이 이용된 논문 TOP100
키워드 정보	많이 이용된 키워드	특정기간/분야/저널 내 많이 이용된 키워드
	많이 발행된 키워드	특정기간/분야/저널 내 많이 발행된 키워드
	많이 검색된 키워드	특정기간/분야/저널 내 많이 검색된 키워드
	연구 트렌드 키워드	특정 키워드 연관 연구동향 분석 데이터 키워드

논문 기본 정보

초록· 키워드

AI 요약

연구주제

연구배경

연구방법

연구결과

주요내용

목차

참고문헌 (10)

함께 읽어보면 좋을 논문

이 논문의 저자 정보

이 논문과 함께 이용한 논문

최근 본 자료

댓글(0)