메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
박소희 (경기대학교) 권령구 (경기대학교) 권기현 (경기대학교)
저널정보
한국정보기술학회 한국정보기술학회논문지 한국정보기술학회논문지 제21권 제8호(JKIIT, Vol.21, No.8)
발행연도
2023.8
수록면
39 - 49 (11page)
DOI
10.14801/jkiit.2023.21.8.39

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
시스템 이론 기반으로 안전성을 분석하는 STPA(System-Theoretic Process Analysis)에서 액츄에이터는 컨트롤러가 하위 프로세스로 전달하는 제어 명령을 관리한다. 액츄에이터는 환경 조건, 외부 간섭 등에 의해 하위 프로세스에 잘못된 명령을 전달해 사고를 유발할 수 있다. 이러한 가능성을 고려하지 않으면 실제와 다른 위험 평가결과를 도출할 수 있다. 따라서 본 논문에서는 PTA(Priced Timed Automata)와 SMC(Statistical Model Checking)를 이용하여 액츄에이터의 불확실성에 따른 STPA 위험 평가 방법을 제안한다. SMC는 기존 모델 검증과 달리 통계 기법을 이용해 추정치를 계산해 검증한다. 이러한 특징으로 상태 폭발 문제가 발생하는 PTA에도 적용할 수 있다. 제안한 방법을 철도 건널목 시스템에 적용하여 액츄에이터의 영향을 확인한 결과, 모든 시나리오에서 높은 위험도를 보였다. 이를 통해, 액츄에이터에 대한 손실 시나리오의 위험도 평가가 필요함을 확인하였다.

목차

요약
Abstract
Ⅰ. 서론
Ⅱ. 배경 지식
Ⅲ. 불확실성을 반영한 시스템 모델링
Ⅳ. 철도 건널목 시스템의 위험 평가
Ⅴ. 결론 및 향후 연구
References

참고문헌 (0)

참고문헌 신청

이 논문의 저자 정보

이 논문과 함께 이용한 논문

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0102-2023-004-001995013