지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회 컴퓨팅의 실제 논문지 정보과학회 컴퓨팅의 실제 논문지 제26권 제1호
- 발행연도
- 2020.1
- 수록면
- 1 - 11 (11page)
- DOI
- 10.5626/KTCP.2020.26.1.1
이용수
초록· 키워드
오류제보하기
차량용 ECU 개발 시에는 잠재된 오류 없이 동작이 가능하도록 기능 안전성 표준인 ISO 26262에 따라 안전 메커니즘의 설계를 비롯한 기능 안전 관리를 수행한다. ISO 26262에서는 이와 같이 안전 메커니즘이 설계된 차량용 시스템의 견고성을 검증하기 위하여 개발 단계에 따라 결함 주입 테스트를 제시하고 있지만 구체적인 적용 방법에 대해서는 설명하고 있지 않다. 본 논문에서는 차량용 소프트웨어의 안전 메커니즘의 동작 확인을 목적으로 하는 소프트웨어 결함 주입 테스트의 테스트케이스를 정의하고, 생성 방안을 제안하고자 한다. 또한 본 논문에서 제안하는 방안을 차량용 표준 소프트웨어 플랫폼인 AUTOSAR를 기반으로 하는 ECU에 적용해 해당 테스트셋이 소프트웨어 안전 요구사항을 바탕으로 설계된 안전 메커니즘을 검증하기에 충분한지를 보이고자 한다.
목차
요약
Abstract
1. 서론
2. 관련 연구
3. SWIFIT 테스트케이스 생성
4. 사례 적용 및 실험
5. 결론
References
참고문헌 (14)
참고문헌 신청
ISO (2018), ISO 26262 Road Vehicles- Functional Safety (2nd ed.) [Online], Available: http://iso.org/standard/68383.html
A. Gario, A. Andrews, and S. Hagerman, Testing of Safety-Critical Systems: An Aerospace Launch Application, Proc. of IEEE Aerospace Conference, pp. 1-17, Mar. 2014.
M. A. S´anchez, J. C. Augusto, and M. Felder, Fault-based Testing of E-Commerce Applications, Proc. of 2nd Workshop on Verification and Validation of Enterprise Information Systems, pp. 66-71, 2004.
S. Kansomkeat, and W. Rivepiboon, Automatedgenerating test case using UML statechart diagrams, Proc. of the SAICSIT 2003, pp. 296-300, 2003.
A. Brillout, N. He, M. Mazzucchi, D. Kroening, M. Purandare, P. Rummer, and G. Weissenbacher, Mutation-based test case generation for Simulink models, Proc. of Formal Methods for Components and Objects 2010, pp. 208-227, 2010.
M. A. S´anchez, J. C. Augusto, and M. Felder, Fault-based Testing of E-Commerce Applications, Proc. of 2nd Workshop on Verification and Validation of Enterprise Information Systems, pp. 66-71, 2004.
S. Kansomkeat, and W. Rivepiboon, Automatedgenerating test case using UML statechart diagrams, Proc. of the SAICSIT 2003, pp. 296-300, 2003.
A. Brillout, N. He, M. Mazzucchi, D. Kroening, M. Purandare, P. Rummer, and G. Weissenbacher, Mutation-based test case generation for Simulink models, Proc. of Formal Methods for Components and Objects 2010, pp. 208-227, 2010.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
안전소프트웨어를 위한 소프트웨어 테스팅 관점에서의 차량기능안전 표준(ISO26262) 적용 방안 논의
정보과학회지
2015 .07
-
ISO-26262 표준 기반의 하드웨어 결함 주입 시험 수행에 대한 연구
한국자동차공학회 추계학술대회 및 전시회
2015 .11
-
“소프트웨어 안전” 특집을 내면서
정보과학회지
2015 .07
-
AUTOSAR 소프트웨어 기능안전 메커니즘 설계 사례연구: Shift-by-Wire 시스템
대한임베디드공학회논문지
2021 .12
-
차량 기능안전 표준 ISO 26262 기반의 안전 분석에 따른 시스템 안전 설계 방안 연구
한국기계가공학회 춘추계학술대회 논문집
2021 .06
-
ISO 26262표준 대응을 위해 FTA를 이용한 소프트웨어 안전 분석 적용 방안
한국자동차공학회 춘계학술대회
2023 .05
-
차량 내 ECU간 통신의 기능안전 보장을 위한 하드웨어 기본 설계
한국자동차공학회 추계학술대회 및 전시회
2016 .11
-
전력시스템 소프트웨어의 안전표준에 대한 연구
대한전기학회 학술대회 논문집
2022 .10
-
AUTOSAR 플랫폼기반 ECU 소프트웨어 아키텍처 설계
한국자동차공학회 추계학술대회 및 전시회
2016 .11
-
“소프트웨어 안전과 보안” 특집을 내면서
정보과학회지
2017 .02
-
안전필수 항공 산업용 소프트웨어 평가 방법 연구
한국항행학회논문지
2015 .01
-
“산업현장에서의 소프트웨어 테스트 기술”특집을 내면서
정보과학회지
2016 .05
-
건설장비 제어시스템 기능안전
유공압건설기계학회 학술대회논문집
2015 .06
-
자율주행 제어소프트웨어의 안전성을 위한 지능 기반 테스트 기법
정보과학회지
2020 .04
-
ISO 26262을 위한 저가 MCU기반 소프트웨어 플랫폼 설계
한국자동차공학회 춘계학술대회
2015 .05
-
차량용 반도체의 ISO 26262 기능안전 기술
오토저널
2020 .02
-
소프트웨어 기반의 안전 필수 시스템을 위한 안전성 분석 기법
정보과학회지
2015 .07
-
지능형 소프트웨어의 안전성 확보를 위한 정책적 개선 방안
디지털콘텐츠학회논문지
2020 .05
-
원전 디지털 원자로보호계통 소프트웨어 안전보증 패러다임 적용 및 분석
정보과학회 컴퓨팅의 실제 논문지
2017 .06
-
신뢰성과 ISO 26262 기능 안전
한국신뢰성학회 학술대회논문집
2022 .11
이 논문의 저자 정보
이 논문과 함께 이용한 논문
Recommending Similar Users Through Interaction Analysis in Social IoT Environments
김연동
,
최도진
,
임종태
외 2명
Journal of KIISE
2020
.01
STAMP 기반의 STPA를 활용한 ISO 26262 개발 단계 별 안전 분석 수행에 관한 연구
도성룡
한국자동차공학회논문집
2019
.12
원전 제어시스템 위해도분석 시 STPA 적용방안
임희택
,
류호선
정보 및 제어 논문집
2017
.10
차세대 전기차 개발을 위한 파워트레인 도메인 전기전자 아키텍처 연구
김도곤
한국자동차공학회논문집
2023
.03
시뮬레이션을 통해 안전성 검증을 위한 개선된 SysML 기반 고장 모델
김창원
,
이재천
한국산학기술학회 논문지
2018
.10
최근 본 자료
댓글(0)
0