학술논문
IEC 62279 규격의 소프트웨어 정적분석에 관한 연구
이용수 5
- 영문명
- A Study on Software Static Analysis Method on IEC 62279
- 발행기관
- 한국전자통신학회
- 저자명
- 김철환(Zhe-Huan Jin) 이창룡(Chang-Long Li) 이재호(Jae-Ho Lee) 김재식(Jae-Sik Kim) 이기서(Key-Seo Lee)
- 간행물 정보
- 『한국전자통신학회 논문지』제10권 제4호, 513~519쪽, 전체 7쪽
- 주제분류
- 공학 > 전자/정보통신공학
- 파일형태
- 발행일자
- 2015.04.30
4,000원
구매일시로부터 72시간 이내에 다운로드 가능합니다.
이 학술논문 정보는 (주)교보문고와 각 발행기관 사이에 저작물 이용 계약이 체결된 것으로, 교보문고를 통해 제공되고 있습니다.
국문 초록
정적분석방식은 소프트웨어 코드분석방식중의 하나이다. 국제철도신호시스템 소프트웨어 관련규격 IEC 62279에서는 소프트웨어 안전성 레벨에 따라 총 9가지 분석방법을 조합하여 사용할 것을 권고하고 있다. 본 논문에서는 도시철도 차·지상간 열차운행 정보 통신장치 연구개발에서 소프트웨어 품질을 향상하기 위하여 세 가지 정적분석방식에 대하여 연구하고, LDRA 툴을 이용하여 사례 연구를 진행하였다. 따라서 철도신호시스템 소프트웨어개발주기에 필요한 시간을 단축하여 안전성 관련 소프트웨어의 효율적인 개발에 도움을 주고자 한다.
영문 초록
Static analysis is one of the software source code analysis tools. 9 static analysis methods of three groups are recommended by international electro-technical commission about software safety related standard in IEC 62279. In this paper we choose the proper static analysis method from IEC 62279 about the train wayside communication system, Shorten the time of railway signalling software development using LDRA tools. And it wil be useful to improve the effective development of the safety-related software.
목차
Ⅰ. 서 론
Ⅱ. TWC 사례 연구
Ⅲ. 정적분석
Ⅳ. TWC 소스코드 분석
Ⅴ. 결 론
키워드
해당간행물 수록 논문
- 반도체 센서의 확장칼만필터를 이용한 자세추정
- ANFIS 접근방식에 의한 미래 트랜드 충격 분석
- 집단지성과 프로세스 코치 연구
- ECG 특징추출 기반 개인 바이오 인식
- 위급상황 시 효율적인 대처를 위한 ICT기반의 엘리베이터 비상통화장치 시스템 및 성능 비교 연구
- WLAN 적용을 위한 두 개의 분기 선로를 갖는 CPW 급전 모노폴 안테나의 설계와 제작
- IoT 비콘기반의 3차원 위치표출 위한 유니티 런처의 플랫폼 설계
- 그린에너지 자립섬을 위한 계통 독립형 마이크로그리드 모니터링 시스템 설계 및 구현
- IEC 62279 규격의 소프트웨어 정적분석에 관한 연구
- 저 전력 능동형 RFID 기반 대기 전력 제어 모듈 설계 및 구현
- UTIS 통신망을 활용한 보험상품 개발에 관한 연구(II)
- CCTV통신용 함체내의 항온항습 자동제어 장치 개발
- 119 긴급구조시스템 교육훈련 시뮬레이터 개발
- 퍼지기반 융합 무선위치추정기법
참고문헌
교보eBook 첫 방문을 환영 합니다!
신규가입 혜택 지급이 완료 되었습니다.
바로 사용 가능한 교보e캐시 1,000원 (유효기간 7일)
지금 바로 교보eBook의 다양한 콘텐츠를 이용해 보세요!