지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2012.10
- 수록면
- 836 - 841 (6page)
이용수
초록· 키워드
오류제보하기
열차제어시스템은 승객의 안전을 보장하는 시스템이어야 한다. 그러나, 열차제어 시스템 장치를 제어하는 소프트웨어는 개발자의 실수에 의해 심각한 오류를 가질 수 있다. 이러한 불확실성이 존재하는 소프트웨어를 철도신호와 같이 안전성이 중요한 시스템에 적용하기 위해서는 철저한 안전성 검증이 필요하다. 본 논문에서는 SCADE Suit를 사용하여 개발자의 오류를 차단하는 모델기반 설계 및 검증에 대한 시스템 개발 및 연구내용을 기술한다. 개발된 모델링 기반 RF-CBTC 열차제어시스템을 통해 모델링 안전 소프트웨어 개발 절차, 구조설계 및 실시간 운영체제 기반 인터페이스 방법, 모델링 데이터 입출력 동기화 방법을 제시한다.
목차
Abstract
초록
1. 서론
2. 모델링 기반 ATP 시스템 구축절차
3. SCADE Modeling
4. 모델링 기반 제어설계 ATP 구성도
5. 모델링 데이터 동기화 방법
6. 결론
참고문헌
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
이 논문과 함께 이용한 논문
철도차량시스템의 정량적 RAM 성능 결정에 관한 연구
박문규
,
김나윤
,
김은강
외 1명
한국신뢰성학회 학술대회논문집
2015
.11
RF방식 PSD 미개방 통과 사고 방지를 위한 회로 개선
김상윤
,
조희
,
김형렬
외 3명
한국철도학회 학술발표대회논문집
2015
.10
철도 승강장 추락사고 방지를 위한 Virtual 3D Curtain 시스템 개발
염병수
,
김완기
,
박민규
한국철도학회 학술발표대회논문집
2015
.10
승강장안전문(PSD) 구동부 입력전원 개선에 관한 연구
김성필
,
강봉완
,
유근규
외 5명
한국철도학회 학술발표대회논문집
2015
.10
철도차량 소프트웨어의 안전 검증을 위한 규격 검토
정의진
대한전기학회 학술대회 논문집
2014
.07
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2014-326-000598292