$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

[국내논문] 차량 전장용 제어 소프트웨어 응용프로그램의 검증을 위한 모델 기반 Task Simulation 도구
Task Simulation Model-based Tool For The Verification Of Software Application On Automotive Control Software 원문보기

한국정보처리학회 2015년도 추계학술발표대회, 2015 Oct. 28, 2015년, pp.962 - 965  

이수경 (경북대학교 컴퓨터학부) ,  김동우 (경북대학교 컴퓨터학부) ,  최윤자 (경북대학교 컴퓨터학부)

초록
AI-Helper 아이콘AI-Helper

차량 전장용 소프트웨어는 자동차 전자 장비들을 제어하는 만큼 그 정확성과 안전성이 검증되어야 한다. 본 연구에서는 차량 전장용 제어 소프트웨어의 제어논리가 프로그래머가 의도한 데로 구성되어 있는지를 코딩단계에서 실험하고 가시화하는 도구를 개발하였다. 이를 위해 제어 소프트웨어와 함께 컴파일될 전장용 운영체제의 정형 모델을 구축하고 운영체제 구현과는 독립적으로 제어 프로그램에서 정의된 Task들의 수행 순서를 모의 실험하여 차량 전장용 운영체제의 Task 상태 변화를 확인할 수 있도록 하였다. 임의 생성된 제어프로그램 코드와 실제 차량 전장용 제어프로그램 코드에 개발된 도구를 적용하여 그 효용성을 확인하였다.

AI 본문요약
AI-Helper 아이콘 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

문제 정의

  • 본 연구에서는 제어소프트웨어의 개발과정에서 운영체제의 구현방식과는 독립적으로 코드의 행위양식을 검증해볼 수 있는 도구를 개발하였다. 도구는 국제표준에 따른 전장용 운영체제 표준 요구사항의 정형 모델을 활용하여, 응용프로그램에서 정의한 Task들이 운영체제와 결합하였을 때의 수행 순서를 모의실험하고 Task의 상태 변화가 프로그래머의 의도대로 진행되는지 확인할 수 있도록 가시화해준다.
  • 본 연구에서는 차량 전장용 소프트웨어의 제어논리가 의도대로 구성되었는지를 실험하고 가시화하는 도구를 개발하여 차량 전장용 소프트웨어의 응용프로그램 설계를 검증해볼 수 있다. 이 도구는 응용프로그램에서 정의한 Task들의 수행 순서를 모의 실험함으로써 차량 전장용 운영체제의 Task 상태 변화를 확인할 수 있다.
본문요약 정보가 도움이 되었나요?

질의응답

핵심어 질문 논문에서 추출한 답변
차량 전장용 소프트웨어의 응용프로그램의 검증 과정에서 비용 감소 및 효과를 높일 수 있는 방안은 무엇인가? 주로 ARM, AVR 등 편리한 테스트 환경을 제공하지 않는 하드웨어플랫폼을 사용하므로 설치 후 테스트는 많은 노력과 비용이 들고, 엄밀한 검증이 어렵다는 단점이 있다. 하지만 응용프로그램 제어논리의 많은 부분이 특정 하드웨어나 운영체제 구현방식에 독립적일 수 있으며, 시스템 테스트 이전에 논리적 검증을 통하여 잠재적 문제점을 사전에 식별하는 것이 검증의 비용을 절감하고 효과를 높일 수 있다.
차량 전장용 소프트웨어의 응용프로그램 검증 과정에서 단점은 무엇인가? 차량 전장용 소프트웨어의 응용프로그램을 검증하기 위해서는 구현된 차량 운영체제와 함께 컴파일하여 실제 하드웨어 플랫폼에 설치하고 테스트해야 하는 번거로움이 있다. 주로 ARM, AVR 등 편리한 테스트 환경을 제공하지 않는 하드웨어플랫폼을 사용하므로 설치 후 테스트는 많은 노력과 비용이 들고, 엄밀한 검증이 어렵다는 단점이 있다. 하지만 응용프로그램 제어논리의 많은 부분이 특정 하드웨어나 운영체제 구현방식에 독립적일 수 있으며, 시스템 테스트 이전에 논리적 검증을 통하여 잠재적 문제점을 사전에 식별하는 것이 검증의 비용을 절감하고 효과를 높일 수 있다.
차량 전장용 운영체제가 제공하는 서비스는 무엇인가? 차량 전장용 제어 소프트웨어의 개발은 그림 1과 같이OSEK/VDX[1] 표준에 따르는 차량 전장용 운영체제와 사용자 정의 프로그램, 환경설정 파일을 함께 컴파일하여 생성된다. 차량 전장용 운영체제는 사용자 정의 프로그램이 원활하게 작동하기 위한 환경을 구축하며, 작업 스케줄링,자원관리, 이벤트 관리 등의 서비스를 제공한다. OSEK/VDX는 차량 계산기기(ECU)에 탑재되는 소프트웨어에 대한 산업 표준을 정의하고 있다.
질의응답 정보가 도움이 되었나요?

관련 콘텐츠

저작권 관리 안내
섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트

맨위로