지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2009.5
- 수록면
- 483 - 493 (11page)
이용수
초록· 키워드
오류제보하기
Since the embedded system is more intelligent, the importance of the reliability in the embedded system is a lot more visible. Especially the reliability of the embedded system in the train control system is even better important. As the special quality of the embedded system, the hardware of the system is directly controlled by the software in the embedded system. As the expansion of complexity , the expense amd the time for verification is required more and more. This paper is presented the verification of the reliability as the method with background of failure
Embedded system is gradually, the importance of 'A built-in on the system embedded system's reliability is focused . In particular, in the train control system built-in of the embedded system, reliability is even more important. The embedded system of the system controls over hardware, software with built-in directly. The more complex system is , the more increasable of depending on the reliability of the time verification and expensive is . This paper is about he characteristics of the reliability and verification of embedded system under the failure mechanisms, based on the verification methodology suggested by in the train control system.
Embedded system is gradually, the importance of 'A built-in on the system embedded system's reliability is focused . In particular, in the train control system built-in of the embedded system, reliability is even more important. The embedded system of the system controls over hardware, software with built-in directly. The more complex system is , the more increasable of depending on the reliability of the time verification and expensive is . This paper is about he characteristics of the reliability and verification of embedded system under the failure mechanisms, based on the verification methodology suggested by in the train control system.
목차
Abstract
1. 서론
2. 철도제어 임베디드 시스템의 소프트웨어 모델링
3. 열차제어 임베디드 시스템의 고장 메카니즘
4. 고장 메카니즘 기반 테스트 절차 및 생성전략
5. 결론
참고문헌
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
비-동질 안정 프로세스 기반 임베디드 시스템 소프트웨어의 신뢰성 특성에 관한 연구
한국철도학회 학술발표대회논문집
2001 .05
-
임베디드 소프트웨어 신뢰성 평가 모델 분석 툴 개발
산업공학 (IE interfaces)
2008 .03
-
A Development Environment for Embedded Software
한국정보기술응용학회 학술대회
2005 .01
-
CONFIGURATION OF THE EMBEDDED COMPUTER DEVELOPMENT SYSTEM
대한전자공학회 기타 간행물
1992 .01
-
Implementing the Component-based Software Engineering in Embedded Systems
대한전자공학회 ISOCC
2008 .11
-
체감형 운동 기기를 위한 개인화된 임베디드 시스템의 개발
대한임베디드공학회논문지
2011 .01
-
차량용 임베디드 소프트웨어 신뢰성평가 연구
한국자동차공학회논문집
2011 .07
-
저상 굴절차량 조향 시스템 전자제어장치 테스트 플랫폼 구축
한국철도학회 학술발표대회논문집
2007 .11
-
Model Based Design of Inverter Power Supply
제어로봇시스템학회 국제학술대회 논문집
2009 .08
-
임베디드 OS에서의 역할기반 접근제어 적용
대한전기학회 학술대회 논문집
2007 .04
-
Model Based Design Process에 따른 embedded System의 개발
시스템엔지니어링학술지
2009 .01
-
임베디드 매트랩 기반 임베디드 이동 객체 추적 시스템 프로토타입핑 개발
대한전자공학회 학술대회
2009 .11
-
임베디드 피드백 컨트롤 시스템에 대한 시뮬레이션 기반의 FMEA 와 통계 적 Fault Tree 분석
한국CDE학회 학술발표회 논문집
2015 .02
-
A Study of Reliability of Service Control Point
대한전자공학회 심포지엄 논문집
1998 .01
-
임베디드 시스템의 가상 ARM 머신의 개발
대한임베디드공학회논문지
2008 .01
-
열차제어시스템 소프트웨어 안전성 평가기법
한국철도학회 학술발표대회논문집
2007 .05
-
ESUML - An Environment for the Analysis of UML-based Embedded Software Model
소프트웨어공학 소사이어티 논문지
2007 .12
-
생물학 기반의 선택적 얼굴 주의 집중 임베디드 시스템
대한전자공학회 학술대회
2012 .11
이 논문의 저자 정보
이 논문과 함께 이용한 논문
철도차량시스템의 정량적 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-2009-326-018270973