레거시 자동차 ECU 소프트웨어로부터 이전된 AUTOSAR모델에 대한 검증 방법 연구
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 이정태 | - |
dc.contributor.author | 이상주 | - |
dc.date.accessioned | 2018-11-08T08:22:29Z | - |
dc.date.available | 2018-11-08T08:22:29Z | - |
dc.date.issued | 2016-08 | - |
dc.identifier.other | 23356 | - |
dc.identifier.uri | https://dspace.ajou.ac.kr/handle/2018.oak/13290 | - |
dc.description | 학위논문(석사)--아주대학교 일반대학원 :소프트웨어특성화학과,2016. 8 | - |
dc.description.abstract | 최근, 차량용 임베디드 시스템은 점차 복잡해지고 중요성이 증가하고 있다. 이에 완성차 제조업체 및 부품업체, 전자 제품 및 소프트웨어 공급업체, 툴 제공업체가 공동으로 준비, 개발한 차량용 ECU 소프트웨어 플랫폼인 AUTOSAR(AUTomotive Open System Architecture) 가 제정되었다. 이를 통해 ECU 소프트웨어의 이식성, 신뢰성 및 재 사용성의 향상을 도모하고 있다. 현재 자동차 관련 업계에서는 AUTOSAR 표준 명세에 맞춰 처음부터 새로 개발하기 보다는 요구 사항이나 안정성 등 여러 측면을 만족하고 있는 기존 레거시 시스템을 AUTOSAR 아키텍처에 맞도록 변환하는 방법, 즉 이전(Migration) 방법을 연구하는 데에 주력하고 있다. 이를 통해 업체로서는 새로 AUTOSAR의 개발 방법론에 따라 개발하는 것보다 시간과 비용을 절약할 수 있다. 그러나, 이러한 장점에도 불구하고 신뢰할 수 있는 검증 방법은 아직까지 뚜렷하게 나타나지 않고 있다. 따라서 이러한 이전 과정의 결과에 대한 시험 방법을 정립하여 AUTOSAR 응용 소프트웨어의 신뢰성 및 검증 프로세스의 효율을 향상시킬 필요성이 있다. 본 연구에서는 기존의 ECU에 사용되는 레거시 소프트웨어의 AUTOSAR 아키텍처 이전 결과물인 AUTOSAR의 Internal Behaivor모델의 검증 방법을 제시한다. 결과적으로 AUTOSAR에서 제시하는 개발 방법론 전체를 모두 수행하기 전, 개발 중간 단계에서, 이전 과정에 대한 검증이 가능하도록 한다. 이를 통해 이전 과정에 관한 신뢰성을 높일 수 있을 뿐만 아니라, 만약에 있을 이전과정에서의 오류를 찾아냄으로써 개발 과정 전체에서의 시간적, 비용적 소모를 줄일 수 있을 것으로 기대한다. | - |
dc.description.tableofcontents | 제1장 서 론 제2장 관 련 연 구 제1절 AUTOSAR란 제1항 AUTOSAR 콘셉트 제2항 AUTOSAR 계층(Layer) 및 러너블(Runnables) 제3항 소프트웨어 컴포넌트 개발 절차 제2절 AUTOSAR 이전(MIGRATION) 제1항 레거시 소프트웨어와 AUTOSAR 소프트웨어의 차이 제2항 AUTOSAR 이전 관련 솔루션 및 선행 연구 제3절 AUTOSAR 이전 결과 검증 과정 제1항 모델 기반 검증 제2항 레거시 소프트웨어에서 이전된 AUTOSAR 모델 검증 제3항 문제 분석 제3장 레거시 소프트웨어에서 이전된 AUTOSAR 모델의 검증 방법 제1절 레거시 소프트웨어의 행위 시퀀스 모델 제1항 행위의 형태 분류 제2항 레거시 소프트웨어의 함수의 구조 제3항 레거시 소프트웨어의 행위 모델 제4항 레거시 소프트웨어의 메인함수와 인터럽트 핸들러의 행위 시퀀스 모델 제2절 레거시 소프트웨어로부터 이전된 AUTOSAR INTERNAL BEHAVIOR 모델의 행위 시퀀스 모델 제1항 일반적인 AUTOSAR Internal Behavior 모델 제2항 이전된 AUTOSAR Internal Behavior 모델 제3항 이전된 AUTOSAR Internal Behavior 모델의 행위 모델 제3절 검증 과정 제4장 사례 연구 제1절 대상 레거시 소프트웨어의 함수의 구조 제2절 대상 레거시 소프트웨어의 코드 분석 및 행위 모델, 행위 시퀀스 모델 생성 제3절 이전 및 AUTOSAR INTERNAL BEHAVIOR 모델의 시퀀스 모델 제4절 레거시 소프트웨어의 행위 시퀀스 모델과 AUTOSAR INTERNAL BEHAVIOR 모델의 시퀀스 모델의 비교 제5장 CONCLUSION 참 고 문 헌 ABSTRACT | - |
dc.language.iso | kor | - |
dc.publisher | The Graduate School, Ajou University | - |
dc.rights | 아주대학교 논문은 저작권에 의해 보호받습니다. | - |
dc.title | 레거시 자동차 ECU 소프트웨어로부터 이전된 AUTOSAR모델에 대한 검증 방법 연구 | - |
dc.title.alternative | A Study on Verification of Migrated AUTOSAR models from Legacy Automotive ECU Software | - |
dc.type | Thesis | - |
dc.contributor.affiliation | 아주대학교 일반대학원 | - |
dc.contributor.alternativeName | Sangju Lee | - |
dc.contributor.department | 일반대학원 소프트웨어특성화학과 | - |
dc.date.awarded | 2016. 8 | - |
dc.description.degree | Master | - |
dc.identifier.localId | 758714 | - |
dc.identifier.url | http://dcoll.ajou.ac.kr:9080/dcollection/jsp/common/DcLoOrgPer.jsp?sItemId=000000023356 | - |
dc.subject.keyword | AUTOSAR | - |
dc.subject.keyword | 모델 검증 | - |
dc.subject.keyword | ECU 소프트웨어 | - |
dc.description.alternativeAbstract | In recent years, the importance and complexity of automotive ECU software has been increased, since the requirements and expectations of safety functions and other driver assistant systems. Therefore, some automobile manufacturers, OEM parts suppliers, and even some companies from electronics industry and software suppliers have established an ECU software platform which is called AUTOSAR(AUTomotive Open System Architecture), to improve the portability, reliability and reusability. Following the methodologies recommended by AUTOSAR will be mandatory on this account. However, to comply with the methodologies and start from the very beginning cannot be the best option for some of the automotive ECU software developers, since it costs considerable time and expense. Also, it does not retain the stability of legacy software which has been increased in all years. Thus, it is efficient to use the techniques to migrate from the legacy ECU software to the AUTOSAR architecture. It is usually called ‘AUTOSAR migration’ and it brings some advantages such as saving the time consuming and developing costs, compare to staring from the beginning of AUTOSAR development methodology. Also, this is one of the way to retain the stability and legacy software’s satisfaction of its requirements. Yet, for all of its advantages, there is not a certain way to verify the AUTOSAR migration process. In this paper, a method is suggested to verify an AUTOSAR Internal Behavior model migrated from a legacy software. Thanks to this, AUTOSAR software developers who use the AUTOSAR migration can have a verification method of the migration process during the middle of the AUTOSAR developing phases. As a result, it increases the reliability of AUTOSAR migration process, and gives some clues if there is some errors while the developing is on progress. | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.