지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2008.6
- 수록면
- 653 - 658 (6page)
이용수
초록· 키워드
오류제보하기
The Railroad Safety Act's regulation reads as follows. “The Minister of Construction and Transportation may qualify and authorize the product to guarantee performance and safety of parts, machine, and device used in Railway fields.” Another regulation reads as follows. “The guidelines about targets, standards, and procedures of Quality and Authority in first provision are decided as Ministry of Construction and Transportation Decree.” The software used in rail cars and facilities is considered as a railway product. Therefore, it is qualified and authorized for acquiring the safety of rail cars and facilities. The software businesses shall again a Quality and Authority for applying a software to the rail cars and facilities.
This paper regulates some guidelines that are needed to develop a software. The procedures that a software developer performs are divided by plan, requirement, design, implementation, and maintenance. The procedures that a software verification person performs are classified by verification plan, requirement verification, design verification, implementation verification, testing verification, maintenance verification, and safety activity. The entire processes and detailed activities to develope and verify a software are described as new guidelines.
This paper regulates some guidelines that are needed to develop a software. The procedures that a software developer performs are divided by plan, requirement, design, implementation, and maintenance. The procedures that a software verification person performs are classified by verification plan, requirement verification, design verification, implementation verification, testing verification, maintenance verification, and safety activity. The entire processes and detailed activities to develope and verify a software are described as new guidelines.
목차
ABSTRACT
1. 서론
2. 철도 소프트웨어의 지침 구조
3. 철도 소프트웨어 개발 지침
4. 철도 소프트웨어 검증 지침
5. 결론
6. 참고문헌
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
“소프트웨어 검증” 특집을 내면서
정보과학회지
2019 .04
-
Verification of results
한국소음진동공학회 세미나자료집
2009 .11
-
철도내장형제어기의 안전확보를 위한 소프트웨어 코딩규약 확보방안
대한전기학회 학술대회 논문집
2008 .04
-
철도소프트웨어 개발 및 평가프로세스 제안
한국철도학회 학술발표대회논문집
2008 .06
-
국가연구개발프로젝트의 성과물 검증 프로세스 개발
한국철도학회 학술발표대회논문집
2008 .06
-
A Study on Quality Improvement of Railway Software
제어로봇시스템학회 국제학술대회 논문집
2010 .10
-
A Framework for Integrated Hardware-Software Co-verification of Multiprocessor SoC
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2005 .07
-
철도소프트웨어 안전성 관리체계 제시방안 연구
대한전기학회 학술대회 논문집
2006 .10
-
열차제어시스템 소프트웨어 정적 테스팅 적용시험 결과 분석
전기학회논문지 P
2013 .03
-
Suggestions of Development Methodology for Railway Software
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2008 .07
-
철도 안전 소프트웨어를 위한 개발 기준 연구
한국철도학회 학술발표대회논문집
2007 .05
-
철도시스템 소프트웨어 변경영향 분석을 위한 자동화 도구 개발
전기학회논문지 P
2009 .06
-
소프트웨어의 안전성 검증을 위한 모델 검증 도구
정보과학회지
2014 .04
-
철도종합안전기술개발사업의 성과물 검증 프로세스 구축
한국철도학회 학술발표대회논문집
2007 .05
-
철도소프트웨어 안전기준 및 안전관리체계 연구
한국철도학회 학술발표대회논문집
2007 .05
-
임베디드 소프트웨어의 검증에 관한 연구
대한산업공학회 추계학술대회 논문집
2004 .11
-
철도소프트웨어 안전기준의 현장 적용방안 도출
대한전기학회 학술대회 논문집
2007 .10
-
FINGERPRINT VERIFICATION SYSTEM - VERIFICATION ALGORITHM -
IEEE Region 10 Conference
1987 .01
-
열차제어시스템 소프트웨어 안전성 평가기법
한국철도학회 학술발표대회논문집
2007 .05
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-326-014779651