View : 235 Download: 0

Full metadata record

DC Field Value Language
dc.description.abstract최근 산업 전반에 걸쳐 산업간 융합이 확산되면서 소프트웨어에 대한 요구가 다양해지고 빠르게 증대되고 있다. 특히 자동차의 많은 기능들을 기계적 장치가 아닌 소프트웨어가 탑재된 전지전자제어시스템이 대신하면서 설계의 복잡도가 급격하게 높아졌고, 이에 따른 품질 문제가 제기되고 있다. 자동차의 전자화가 가속화되면서 기능안전성의 중요성이 증대되었지만 일반적인 전기전자장치의 포괄적인 기능 안전 규격인 IEC 61508은 자동차의 특수성을 반영하지 못했다. 이를 자동차 제품 특성에 맞게 개선하고 전자제어장치(ECU)의 오작동으로 인한 사고를 최소화하기 위한 기능 안전 규격으로 ISO 26262가 제정되었다. 유럽이나 일본은 현존하는 자동차 개발 및 생산 프로세스에 ISO 26262를 적용하기 위해 외부기관으로부터 컨설팅을 받는 등의 활동이 활발하게 이루어져 표준 이행 가이드라인을 책정하고 있지만, 국내의 경우 기능 안전성에 대한 연구 부족으로 인해 ISO 26262 도입을 준비하고 있는 실정이다. ISO 26262 의 도입에 관한 필요성이 대두 되고 있는 국내의 경우 효율적인 기능 안전성 국제 표준을 적용하기 위해 도구를 활용하는 것은 매우 중요하다. 따라서 본 논문에서는 ISO 26262 기반의 소프트웨어를 검증하기 위한 도구 활용 방안을 제안하였다. 산업계에서 사용되고 있는 도구를 선정하고, 이를 자동차 분야의 산업에서 표준으로 사용되고 있는 항목을 사용하여 비교하였으며 결과를 분석하였다.;In recent years, the convergence between industries has spread throughout the industry, and the demand for software has been diversified and rapidly increasing. In particular, many functions of automobiles have been replaced by electronic control systems equipped with software rather than mechanical devices, and the complexity of the design has rapidly increased, resulting in quality problems. IEC 61508, which is a comprehensive functional safety standard for general electric and electronic devices, does not reflect the specificity of automobiles. However, it improves the characteristics of automobiles and improves the performance of electronic control unit (ECU) ISO 26262 has been established as a functional safety standard to minimize accidents caused by malfunctions. Europe and Japan have been actively engaged in activities such as consulting from external agencies to apply ISO 26262 to existing automobile development and production processes, and have established standard implementation guidelines. However, due to lack of research on functional safety in Korea ISO 26262 is being introduced. In countries where there is a need for the introduction of ISO 26262, it is very important to use tools to apply international standards for effective functional safety. In this paper, we propose a tool for verifying software based on ISO 26262. The tools used in the industry were selected, and the items were compared using metrics and guidelines that are used as standards in the automotive industry.-
dc.description.tableofcontentsⅠ. 서 론 1 1.1 연구 배경 1 1.2 연구 목적 및 내용 2 Ⅱ. 관 련 연 구 3 2.1 ISO 26262 3 2.1.1 ISO 26262 개요 3 2.1.2 소프트웨어 레벨에서의 검증 방법 5 2.2 MISRA Software Metrics & HIS Source Code Metrics 8 2.3 MITRE CWE 9 2.4 MISRA C 10 Ⅲ. 소프트웨어 레벨에서의 검증 도구 11 3.1 Design phase verification 도구 11 3.1.1 코드 기반 도구 11 3.2 Test phase verification 도구 15 Ⅳ. 도구 비교 분석 22 4.1 Design phase verification 도구 22 4.1.1 메트릭 22 4.1.2 실행시간 오류 검출 25 4.1.3 가이드 라인 27 4.2 Test phase verification 도구 28 4.2.1 테스트 케이스 도출 방법 28 4.2.2 구조적 커버리지 30 Ⅴ. 결론 및 향후 계획 31 참 고 문 헌 33 부록1. MISRA Software Metrics와 HIS Source Code Metrics 비교 34 부록2. 도구별 지원 메트릭 36 부록3. 도구별 지원 가이드라인 38 ABSTRACT 39-
dc.format.extent1965247 bytes-
dc.publisher이화여자대학교 대학원-
dc.titleISO 26262 기반의 소프트웨어 검증을 위한 도구 활용 방안-
dc.typeMaster's Thesis-
dc.title.translatedA study on comparison of tools for software verification based on ISO 26262-
dc.format.pageiv, 40 p.-
dc.identifier.major대학원 컴퓨터공학과- 2-
Appears in Collections:
일반대학원 > 컴퓨터공학과 > Theses_Master
Files in This Item:
There are no files associated with this item.
RIS (EndNote)
XLS (Excel)


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.