레거시 자동차 ECU 소프트웨어로부터 이전된 AUTOSAR모델에 대한 검증 방법 연구
A Study on Verification of Migrated AUTOSAR models from Legacy Automotive ECU Software
- 주제(키워드) AUTOSAR , 모델 검증 , ECU 소프트웨어
- 발행기관 아주대학교
- 지도교수 이정태
- 발행년도 2016
- 학위수여년월 2016. 8
- 학위명 석사
- 학과 및 전공 일반대학원 소프트웨어특성화학과
- 실제URI http://www.dcollection.net/handler/ajou/000000023356
- 본문언어 한국어
- 저작권 아주대학교 논문은 저작권에 의해 보호받습니다.
초록/요약
최근, 차량용 임베디드 시스템은 점차 복잡해지고 중요성이 증가하고 있다. 이에 완성차 제조업체 및 부품업체, 전자 제품 및 소프트웨어 공급업체, 툴 제공업체가 공동으로 준비, 개발한 차량용 ECU 소프트웨어 플랫폼인 AUTOSAR(AUTomotive Open System Architecture) 가 제정되었다. 이를 통해 ECU 소프트웨어의 이식성, 신뢰성 및 재 사용성의 향상을 도모하고 있다. 현재 자동차 관련 업계에서는 AUTOSAR 표준 명세에 맞춰 처음부터 새로 개발하기 보다는 요구 사항이나 안정성 등 여러 측면을 만족하고 있는 기존 레거시 시스템을 AUTOSAR 아키텍처에 맞도록 변환하는 방법, 즉 이전(Migration) 방법을 연구하는 데에 주력하고 있다. 이를 통해 업체로서는 새로 AUTOSAR의 개발 방법론에 따라 개발하는 것보다 시간과 비용을 절약할 수 있다. 그러나, 이러한 장점에도 불구하고 신뢰할 수 있는 검증 방법은 아직까지 뚜렷하게 나타나지 않고 있다. 따라서 이러한 이전 과정의 결과에 대한 시험 방법을 정립하여 AUTOSAR 응용 소프트웨어의 신뢰성 및 검증 프로세스의 효율을 향상시킬 필요성이 있다. 본 연구에서는 기존의 ECU에 사용되는 레거시 소프트웨어의 AUTOSAR 아키텍처 이전 결과물인 AUTOSAR의 Internal Behaivor모델의 검증 방법을 제시한다. 결과적으로 AUTOSAR에서 제시하는 개발 방법론 전체를 모두 수행하기 전, 개발 중간 단계에서, 이전 과정에 대한 검증이 가능하도록 한다. 이를 통해 이전 과정에 관한 신뢰성을 높일 수 있을 뿐만 아니라, 만약에 있을 이전과정에서의 오류를 찾아냄으로써 개발 과정 전체에서의 시간적, 비용적 소모를 줄일 수 있을 것으로 기대한다.
more초록/요약
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.
more목차
제１장 서 론
제２장 관 련 연 구
제１절 AUTOSAR란
제１항 AUTOSAR 콘셉트
제２항 AUTOSAR 계층(Layer) 및 러너블(Runnables)
제３항 소프트웨어 컴포넌트 개발 절차
제２절 AUTOSAR 이전(MIGRATION)
제１항 레거시 소프트웨어와 AUTOSAR 소프트웨어의 차이
제２항 AUTOSAR 이전 관련 솔루션 및 선행 연구
제３절 AUTOSAR 이전 결과 검증 과정
제１항 모델 기반 검증
제２항 레거시 소프트웨어에서 이전된 AUTOSAR 모델 검증
제３항 문제 분석
제３장 레거시 소프트웨어에서 이전된 AUTOSAR 모델의 검증 방법
제１절 레거시 소프트웨어의 행위 시퀀스 모델
제１항 행위의 형태 분류
제２항 레거시 소프트웨어의 함수의 구조
제３항 레거시 소프트웨어의 행위 모델
제４항 레거시 소프트웨어의 메인함수와 인터럽트 핸들러의 행위 시퀀스 모델
제２절 레거시 소프트웨어로부터 이전된 AUTOSAR INTERNAL BEHAVIOR 모델의 행위 시퀀스 모델
제１항 일반적인 AUTOSAR Internal Behavior 모델
제２항 이전된 AUTOSAR Internal Behavior 모델
제３항 이전된 AUTOSAR Internal Behavior 모델의 행위 모델
제３절 검증 과정
제４장 사례 연구
제１절 대상 레거시 소프트웨어의 함수의 구조
제２절 대상 레거시 소프트웨어의 코드 분석 및 행위 모델, 행위 시퀀스 모델 생성
제３절 이전 및 AUTOSAR INTERNAL BEHAVIOR 모델의 시퀀스 모델
제４절 레거시 소프트웨어의 행위 시퀀스 모델과 AUTOSAR INTERNAL BEHAVIOR 모델의 시퀀스 모델의 비교
제５장 CONCLUSION
참 고 문 헌
ABSTRACT
