선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
문제 정의
- MISRA AC 및 MAAB 가이드라인을 적용하는 경우 3장에서 설명되었기 때문에 본 장에서는 코드의품질을 높이기 위한 가이드라인에 대해 설명한다.
- 모델 정적 검증의 경우 기존의 코드 정적 검증에 비해 자동화 비율이 낮은데, 이것은 자동화가 가능하지 않은 부분이 모델링 가이드라인의 많은 부분을 차지하고 있기 때문이다. 그림 5 와 같이 모델 정적 검증은 높은 품질의 모델을 만드는 것을 주요 목적으로 한다.
- 본 논문에서는 자동차 산업에서의 모델 기반 개발에 대한 검증 사례를 제시하고, 검증 기준 및 그 방법에 대한 발전 방향을 모색하고자 한다.
- 자동차 산업 분야의 최근 추세로서 모델 기반 개발은 차량 제어기의 기능 사양을 모델로 설계하고, 그설계 과정에서 기능의 모의 및 시험 수행을 통해 문제점을 미리 검출하는 것을 목적으로 한다. 설계된 모델로부터 자동으로 코드를 생성하는 기능은 기존에수작업으로 소스 코드를 개발하는 노력을 감소시킬수 있다.
- 지금까지 모델 기반 개발에 대한 국제표준의 동향과 실제 자동차 제어기에 적용한 사례를 살펴 보았다. 앞으로 모델 기반 개발이 활발해질 것으로 예상되는가운데 아직 검증 기 법과 도구, 그를 이용한 사례는 성숙되지 않았지만, 본 논문에서 제시하는 사례를 통해향후 모델 기반 개발과 그 검증에 대한 방향성을 볼수 있었다.
가설 설정
- . Code generation에 적합할 것 : 코드 생성 시모델과 동일하게 작동되는 코드가 생성될 수 있을 것
- . 개발자의 독립적인 스타일을 준수할 것 : 모델의유지보수성을 유지할 것
- . 정확할 것 : 요구사항과 모델이 일치할 것
※ AI-Helper는 부적절한 답변을 할 수 있습니다.