KR20120072130A - 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법 - Google Patents

오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법 Download PDF

Info

Publication number
KR20120072130A
KR20120072130A KR1020100133941A KR20100133941A KR20120072130A KR 20120072130 A KR20120072130 A KR 20120072130A KR 1020100133941 A KR1020100133941 A KR 1020100133941A KR 20100133941 A KR20100133941 A KR 20100133941A KR 20120072130 A KR20120072130 A KR 20120072130A
Authority
KR
South Korea
Prior art keywords
basic software
attribute value
meta file
value
container
Prior art date
Application number
KR1020100133941A
Other languages
English (en)
Inventor
전부선
남현순
성기순
이주철
한태만
Original Assignee
한국전자통신연구원
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 한국전자통신연구원 filed Critical 한국전자통신연구원
Priority to KR1020100133941A priority Critical patent/KR20120072130A/ko
Priority to US13/335,911 priority patent/US20120167045A1/en
Publication of KR20120072130A publication Critical patent/KR20120072130A/ko

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3664—Environments for testing or debugging software

Abstract

오토사(Automobile open system architecture; AUTOSAR) 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법이 개시된다. 본 발명에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치는, 오토사 메타 파일의 메타 파일 속성값을 정의하는 메타 파일 정의부; 기본 소프트웨어(basic software; BSW) 설정 파일의 기본 소프트웨어 속성값을 설정하는 기본 소프트웨어 설정부; 및 상기 메타 파일 속성값을 이용하여 상기 기본 소프트웨어 속성값이 오토사 표준에 맞게 설정되었는지 상기 기본 소프트웨어 속성값을 검사하는 기본 소프트웨어 속성값 검사부를 포함한다.

Description

오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법{Apparatus and method for evaluating basic software configuration based on AUTOSAR meta file}
본 발명은 오토사(Automobile open system architecture; AUTOSAR) 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법에 관한 것으로서, 특히 오토사 메타 파일을 이용하여 기본 소프트웨어 속성값을 검사함으로써, 자동차 전장용 소프트웨어 플랫폼 아키텍처(software platform architecture)의 표준인 오토사에서 제시한 표준에 따라 전장용 소프트웨어 플랫폼의 속성값들이 제대로 설정되었는지를 검증할 수 있는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법에 관한 것이다.
자동차의 전기 전자적 구조가 점점 복잡해짐에 따라, 이를 제어하기 위한 소프트웨어의 양과 복잡도 또한 함께 증가하고 있다. 따라서 소프트웨어를 개발하는 데 소요되는 기간 역시 늘어나고 있으며 소프트웨어의 결함이 발생할 확률도 증가하고 있다. 실제로 소프트웨어의 결함 때문에 출하된 자동차들을 리콜하는 사례들이 계속 보고되고 있다. 또한, 반도체와 컴퓨터 기술이 빠른 속도로 발전함에 따라 차량용 전기 전자 제품들을 생산하는 부품 업체들이 매우 짧은 주기로 향상된 성능을 가진 새로운 제품을 생산해 내고 있고, 이에 따라 자동차 업체들 역시 차량용 소프트웨어를 빈번하게 개량해야 하게 되었다.
자동차 산업에서 안전성과 생산성의 이슈가 증가함에 따라 신뢰성과 재사용성을 보장해 주는 표준화된 소프트웨어 플랫폼의 필요성이 증가되고 있다. 오토사(Automobile open system architecture; AUTOSAR)는 이러한 신뢰성과 재사용성을 목적으로 개발된 차량 전장용 소프트웨어 표준 플랫폼으로써 많은 자동차 회사에서 오토사를 기반으로 개발한 플랫폼이 탑재된 상용차 개발에 주력하고 있다. 오토사 플랫폼은 차량 제어의 기본 단위인 ECU(Electronic Control Unit)들로 이루어져 있으며, 각 ECU 들은 기능 수행을 위한 기본 소프트웨어(Basic Software; BSW) 모듈과 이들 위에서 동작하는 소프트웨어 컴포넌트들 그리고 이들의 통신을 지원해주는 오토사 런타임 환경(Runtime Environment; RTE)으로 이루어져 있다. 이 중 BSW 모듈들은 ECU의 환경과 지원 기능에 따라 다양한 설정이 가능하며, 오토사에서는 각 BSW 모듈에 대한 명세 및 설정에 대한 표준을 제공하고 있다.
오토사 플랫폼을 적용한 특정 ECU 응용에 맞는 시스템을 구성하기 위해서는 오토사가 제시한 방법론에 따라서 시스템을 설정(configuration)할 필요가 있다. 따라서 이러한 각 속성값들이 오토사 표준에 따라 올바르게 설정되었는지 자동으로 검사해주는 도구가 요구된다.
본 발명의 목적은 오토사 메타 파일을 이용하여 기본 소프트웨어 속성값을 검사함으로써, 자동차 전장용 소프트웨어 플랫폼 아키텍처(software platform architecture)의 표준인 오토사에서 제시한 표준에 따라 전장용 소프트웨어 플랫폼의 속성값들이 제대로 설정되었는지를 검증할 수 있는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법을 제공하는 것이다.
본 발명의 일 실시예에 따른, 오토사(Automobile open system architecture; AUTOSAR) 메타 파일 기반 기본 소프트웨어 속성값 검사 장치는, 오토사 메타 파일의 메타 파일 속성값을 정의하는 메타 파일 정의부; 기본 소프트웨어(basic software; BSW) 설정 파일의 기본 소프트웨어 속성값을 설정하는 기본 소프트웨어 설정부; 및 상기 메타 파일 속성값을 이용하여 상기 기본 소프트웨어 속성값이 오토사 표준에 맞게 설정되었는지 상기 기본 소프트웨어 속성값을 검사하는 기본 소프트웨어 속성값 검사부를 포함하여 구성된다.
본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 방법은, 오토사 메타 파일의 메타 파일 속성값을 정의하는 단계; 기본 소프트웨어 설정 파일의 기본 소프트웨어 속성값을 설정하는 단계; 및 상기 메타 파일 속성값을 이용하여 상기 기본 소프트웨어 속성값이 오토사 표준에 맞게 설정되었는지 상기 기본 소프트웨어 속성값을 검사하는 단계를 포함하여 구성된다.
본 발명의 일 측면에 따르면, 오토사 메타 파일을 이용하여 기본 소프트웨어 속성값을 검사함으로써, 자동차 전장용 소프트웨어 플랫폼 아키텍처(software platform architecture)의 표준인 오토사에서 제시한 표준에 따라 전장용 소프트웨어 플랫폼의 속성값들이 제대로 설정되었는지를 검증할 수 있는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법을 제공할 수 있다.
도 1은 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치를 개략적으로 도시한 도면이다.
도 2는 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치에서 이용되는 메타 파일의 일 예를 도시한 도면이다.
도 3은 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치에서 설정되는 기본 소프트웨어 설정 파일의 일 예를 도시한 도면이다.
도 4는 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 방법을 설명하기 위한 순서도이다.
도 5는 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법에서 다중성 검사 과정을 설명하기 위한 순서도이다.
도 6은 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법에서 참조 속성 검사 과정을 설명하기 위한 순서도이다.
도 7은 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법에서 계층 속성 검사 과정을 설명하기 위한 순서도이다.
본 발명을 첨부된 도면을 참조하여 상세히 설명하면 다음과 같다. 여기서, 반복되는 설명, 본 발명의 요지를 불필요하게 흐릴 수 있는 공지 기능, 및 구성에 대한 상세한 설명은 생략한다. 본 발명의 실시형태는 당 업계에서 평균적인 지식을 가진 자에게 본 발명을 보다 완전하게 설명하기 위해서 제공되는 것이다. 따라서, 도면에서의 요소들의 형상 및 크기 등은 보다 명확한 설명을 위해 과장될 수 있다.
도 1은 본 발명의 일 실시예에 따른 오토사(Automobile open system architecture; AUTOSAR) 메타 파일 기반 기본 소프트웨어 속성값 검사 장치를 개략적으로 도시한 도면이다.
도 1을 참조하면, 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치는 메타 파일 정의부(101), 기본 소프트웨어 설정부(102) 및 기본 소프트웨어 속성값 검사부(103)를 포함하여 구성될 수 있다. 도 1에 도시된 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치는 일 실시예에 따른 것이고 도 1에 도시된 블록들은 모든 블록이 필수 구성요소는 아니며, 다른 실시예에서 일부 블록이 추가, 변경 또는 삭제될 수 있다.
메타 파일 정의부(101)는 오토사 메타 파일의 메타 파일 속성값을 정의한다. 일 실시예에서, 메타 파일 정의부(101)는 다중성 검사를 위한 다중성 하한 값(LOWER-MULTIPLICITY) 및 다중성 상한 값(UPPER-MULTIPLICITY)을 포함하는 다중성 관련 속성값을 정의할 수 있다. 다른 실시예에서, 메타 파일 정의부(101)는 참조 속성 검사를 위한 참조 파라미터 정의 값(REFERENCE-PARAM-DEF), 외부 참조 파라미터 정의 값(FOREIGN-REFERENCE-PARAM-DEF), 선택 참조 파라미터 정의 값(CHOICE-REFERENCE-PARAM-DEF) 및 명칭 참조 파라미터 정의 값(SYMBOLIC-NAME-REFERENCE-PARAM-DEF) 중 하나 이상을 포함하는 참조 관련 속성값을 정의할 수 있다. 또 다른 실시예에서, 메타 파일 정의부(101)는 계층 속성 검사를 위한 파라미터 설정 컨테이너 정의 값(PARAM-CONF-CONTAINER-DEF) 또는 선택 컨테이너 정의 값(CHOICE-CONTAINER-DEF)을 포함하는 계층 관련 속성값을 정의할 수 있다.
표 1은 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치의 메타 파일 정의부에서 정의되는 속성값을 나타낸 표이다.
검사 항목 메타 파일 속성
다중성 검사 LOWER-MULTIPLICITY
UPPER-MULTIPLICITY
참조 속성 검사 REFERENCE-PARAM-DEF
FOREIGN-REFERENCE-PARAM-DEF
CHOICE-REFERENCE-PARAM-DEF
SYMBOLIC-NAME-REFERENCE-PARAM-DEF
계측 속성 검사 PARAM-CONF-CONTAINER-DEF
CHOICE-CONTAINER-DEF
각 속성값에 대해서는 이후 관련 검사 항목을 설명하는 부분에서 다시 설명하도록 한다.
도 2는 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치에서 이용되는 메타 파일의 일 예를 도시한 도면이다.
도 2는 참고 자료로서, 오토사에서 제공하는 기본 소프트웨어 모듈 설정에 있어 표준이 되는 AUTOSAR EcuParamDef.arxml 이라는 메타 파일의 일부분을 보여주고 있다. 도 2를 참조하면, 이 메타 파일에서는 각 모듈에 대하여 컨테이너(CONTAINER), 다중성 하한 값(LOWER-MULTIPLICITY), 다중성 상한 값(UPPER-MULTIPLICITY) 및 서브-컨테이너(SUB-CONTAINERS) 등의 사항을 정의하고 있다. 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치는 도 2에 도시된 바와 같은 메타 파일을 이용하여 기본 소프트웨어 속성값을 검사하는 것이 가능하다. 도 2에 도시된 메타 파일은 예시적인 것이며, 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치는 도 2에 도시된 메타 파일과 상이한 구성의 메타 파일을 이용하여 기본 소프트웨어 속성값을 검사할 수 있다.
다시 도 1로 돌아와서, 기본 소프트웨어 설정부(102)는 기본 소프트웨어(basic software; BSW) 설정 파일의 기본 소프트웨어 속성값을 설정한다. 일 실시예에서, 기본 소프트웨어 설정부(102)는 사용자의 입력을 받아 기본 소프트웨어 설정 파일의 기본 소프트웨어 속성값을 설정할 수 있다. 또한, 기본 소프트웨어 설정부(102)는 오토사 개발 지원 도구를 이용하여 기본 소프트웨어 속성값을 설정할 수 있다.
도 3은 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치에서 설정되는 기본 소프트웨어 설정 파일의 일 예를 도시한 도면이다.
도 3은 참고 자료로서, 오토사 개발 지원 도구를 통하여 설정된 기본 소프트웨어 속성값을 저장한 기본 소프트웨어 설정 파일(*.arxml)의 일부이다. 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치는 이 기본 소프트웨어 설정 파일이 표준에 맞게 설정되었는지 검증하는 것을 목적으로 한다. 즉, 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치는 오토사 메타 파일의 메타 파일 속성값을 이용하여 기본 소프트웨어 설정 파일이 오토사 표준에 맞게 설정되었는지 검증하게 된다.
다시 도 1로 돌아와서, 기본 소프트웨어 속성값 검사부(103)는 메타 파일 정의부(101)에서 정의된 상기 메타 파일 속성값을 이용하여 상기 기본 소프트웨어 설정부(102)에서 설정된 상기 기본 소프트웨어 속성값이 오토사 표준에 맞게 설정되었는지 상기 기본 소프트웨어 속성값을 검사한다. 기본 소프트웨어 속성값 검사부(103)의 상기 기본 소프트웨어 속성값 검사 과정은 검사 항목에 따라 상이한 검증 과정을 가진다. 즉, 검사하고자 하는 항목이 다중성 검사이냐, 참조 속성 검사이냐, 계측 속성 검사이냐에 따라 검증 과정이 상이하다. 이와 같은 검사 항목에 따른 기본 소프트웨어 속성값 검사부(103)의 검증 과정은 이후에 도면을 참조하여 상세히 설명하도록 한다.
도 4는 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 방법을 설명하기 위한 순서도이다.
도 4를 참조하면, 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 방법이 시작되면 먼저 오토사 메타 파일의 메타 파일 속성값을 정의한다(S401). 일 실시예에서, 단계(S401)에서는 다중성 검사를 위한 다중성 하한 값(LOWER-MULTIPLICITY) 및 다중성 상한 값(UPPER-MULTIPLICITY)을 포함하는 다중성 관련 속성값을 정의할 수 있다. 다른 실시예에서, 단계(S401)에서는 참조 속성 검사를 위한 참조 파라미터 정의 값(REFERENCE-PARAM-DEF), 외부 참조 파라미터 정의 값(FOREIGN-REFERENCE-PARAM-DEF), 선택 참조 파라미터 정의 값(CHOICE-REFERENCE-PARAM-DEF) 및 명칭 참조 파라미터 정의 값(SYMBOLIC-NAME-REFERENCE-PARAM-DEF) 중 하나 이상을 포함하는 참조 관련 속성값을 정의할 수 있다. 또 다른 실시예에서, 단계(S401)에서는 계층 속성 검사를 위한 파라미터 설정 컨테이너 정의 값(PARAM-CONF-CONTAINER-DEF) 또는 선택 컨테이너 정의 값(CHOICE-CONTAINER-DEF)을 포함하는 계층 관련 속성값을 정의할 수 있다.
상기 메타 파일 속성값이 정의되면(S401), 기본 소프트웨어 설정 파일의 기본 소프트웨어 속성값을 설정한다(S402). 일 실시예에서, 단계(S402)에서는 사용자의 입력을 받아 기본 소프트웨어 설정 파일의 기본 소프트웨어 속성값을 설정할 수 있다. 또한, 단계(S402)에서는 오토사 개발 지원 도구를 이용하여 기본 소프트웨어 속성값을 설정할 수 있다.
그리고 나서, 상기 메타 파일 속성값을 이용하여 상기 기본 소프트웨어 속성값이 오토사 표준에 맞게 설정되었는지 상기 기본 소프트웨어 속성값을 검사한다(S403). 단계(S403)의 상기 기본 소프트웨어 속성값 검사 과정은 검사 항목에 따라 상이한 검증 과정을 가진다. 즉, 검사하고자 하는 항목이 다중성 검사이냐, 참조 속성 검사이냐, 계측 속성 검사이냐에 따라 검증 과정이 상이하다. 이와 같은 검사 항목에 따른 단계(S403)의 검증 과정은 이후에 도면을 참조하여 상세히 설명하도록 한다.
도 4에 도시된 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 방법은 도 1에 도시된 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치와 유사하게 속성값 검사 과정이 진행되므로 특별한 언급이 없는 한 도 1에서의 설명이 그대로 준용된다. 도 4에서도 도 1에서와 마찬가지로 도 4에 도시된 순서도의 각 단계들은 모든 단계가 필수 단계는 아니며, 다른 실시예에서 일부 단계가 추가, 변경 또는 삭제될 수 있다. 또한, 순서도의 각 단계는 도시된 순서에 한정되지 않으며, 필요에 따라 순서가 수정 또는 변경될 수 있다.
도 5는 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법에서 다중성 검사 과정을 설명하기 위한 순서도이다.
도 5에 도시된 다중성 검사 과정은 도 1에서의 기본 소프트웨어 속성값 검사부(103) 및 도 4에서의 단계(S403)에서 수행될 수 있는 과정이다.
다중성 검사는 검사 대상인 객체의 개수가 허용된 범위의 개수만큼 존재하는지를 검사하는 것이다. 이를 위해서 먼저, 오토사 메타 파일로부터 다중성 관련 속성값인 다중성 하한 값(LOWER-MULTIPLICITY)을 추출하고(S501), 또 하나의 다중성 관련 속성값인 다중성 상한 값(UPPER-MULTIPLICITY)을 추출한다(S502). 그리고 나서, 기본 소프트웨어 설정 파일로부터 검사 대상인 객체의 개수를 추출한다(S503). 이 때, 단계(S501) 내지 단계(S503)에서 엑스패스(XPath)를 이용하여 다중성 관련 속성값 및 객체의 개수를 추출할 수 있다. 예를 들어 LOWER-MULTIPLICITY를 추출(S501)하는 XPath 구문은 "//MODULE-DEF[SHORT-NAME='aaa']/CONTAINERS/PARAM-CONF-CONTAINER-DEF[SHORT-NAME='bbb']/LOWER-MULTIPLICTY"이며, 객체의 개수를 추출(S503)하는 XPath의 구문은 "count(//CONTAINER/DEFINITION-REF/text()='bbb')"이다. 해당 정보를 구하는 XPath의 구문은 XPath 언어의 룰에 따르며, 본 발명의 목적을 달성하기 위하여 다양한 방식으로 작성될 수 있고, 상기 기술된 구문도 일 실시예로서 기술된 것이다. 이하에서는 여러 가지 정보를 구하기 위한 XPath의 구문은 따로 기술하지 않고 생략하도록 한다.
단계(S501) 내지 단계(S503)에서 다중성 관련 속성값 및 객체의 개수가 추출되면, 추출된 상기 객체의 개수가 상기 다중성 하한 값 이상이고 상기 다중성 상한 값 이하인지를 검사한다(S504), 즉, 수식으로 나타내면, LOWER-MULTIPLICITY ≤ 객체의 개수 ≤ UPPER-MULTIPLICITY인지를 검사한다(S504). 이 때, 단계(S504)에서 상기 수식을 만족하면 오토사 표준에 맞게 설정된 것으로 판단하고(S505), 만족하지 않으면 오류(ERROR)를 출력한다(S506).
도 6은 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법에서 참조 속성 검사 과정을 설명하기 위한 순서도이다.
도 6에 도시된 참조 속성 검사 과정은 도 1에서의 기본 소프트웨어 속성값 검사부(103) 및 도 4에서의 단계(S403)에서 수행될 수 있는 과정이다.
참조 속성 검사는 기본 소프트웨어 모듈이 동작하기 위해서 참조하는 다른 기본 소프트웨어 모듈의 참조가 오토사 메타 파일의 정의대로 올바르게 참조하고 있는지를 검사하는 것이다. 이를 위해서 먼저, 상기 오토사 메타 파일로부터 참조 관련 속성값에서 정의된 파라미터를 추출한다(S601). 즉, 참조 관련 속성 값인 참조 파라미터 정의 값(REFERENCE-PARAM-DEF), 외부 참조 파라미터 정의 값(FOREIGN-REFERENCE-PARAM-DEF), 선택 참조 파라미터 정의 값(CHOICE-REFERENCE-PARAM-DEF) 및 명칭 참조 파라미터 정의 값(SYMBOLIC-NAME-REFERENCE-PARAM-DEF) 중 하나 이상에서 정의된 파라미터를 추출한다(S601). 그리고 나서, 상기 파라미터가 참조하도록 상기 오토사 메타 파일에서 정의된 참조 타입(type)을 추출한다(S602).
상기 참조 타입이 추출되고 나면(S602), 상기 파라미터에 대하여 상기 기본 소프트웨어 설정 파일에서 설정된 참조값을 추출한다(S603). 그리고 단계(S603)에서 추출된 이름의 객체가 존재하는지 검사(S604)하여 존재하면 상기 객체의 경로를 추출하고(S605) 존재하지 않으면, 오류(ERROR)를 출력한다(S608). 상기 객체의 경로 추출 결과(S605), 추출된 상기 경로가 상기 참조 타입과 동일한지를 검사하고(S606), 동일하면 오토사 표준에 맞게 설정된 것으로 판단하고(S607), 동일하지 않으면 오류(ERROR)를 출력한다(S608).
도 7은 본 발명의 일 실시예에 따른 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법에서 계층 속성 검사 과정을 설명하기 위한 순서도이다.
도 7에 도시된 계층 속성 검사 과정은 도 1에서의 기본 소프트웨어 속성값 검사부(103) 및 도 4에서의 단계(S403)에서 수행될 수 있는 과정이다.
계층 속성 검사는 기본 소프트웨어 모듈 내부의 객체들간의 상호 연관 관계(상위-하위)가 올바른지를 검사하는 것이다. 이를 위해서 먼저, 오토사 메타 파일로부터 계층 관련 속성값에서 정의된 컨테이너를 추출한다(S701). 즉, 계층 관련 속성값인 파라미터 설정 컨테이너 정의 값(PARAM-CONF-CONTAINER-DEF) 또는 선택 컨테이너 정의 값(CHOICE-CONTAINER-DEF)에서 정의된 컨테이너를 추출한다(S701). 그리고, 오토사 메타 파일로부터 검사를 수행할 제1 컨테이너의 경로를 추출하고(S702), 상기 제1 컨테이너의 상위 컨테이너인 제2 컨테이너의 경로를 추출한다(S703). 그 다음, 기본 소프트웨어 설정 파일 중 상기 제1 컨테이너의 경로와 동일한 경로를 갖는 객체를 추출하고(S704), 상기 객체의 상위 컨테이너인 제3 컨테이너의 경로를 추출한다(S705). 상기와 같이, 제2 컨테이너의 경로 및 제3 컨테이너의 경로가 추출되면(S701 내지 S705), 상기 제2 컨테이너의 경로와 상기 제3 컨테이너의 경로가 동일한지 검사(S706)하여, 동일하면 오토사 표준에 맞게 설정된 것으로 판단하고(S707), 동일하지 않으면 오류(ERROR)를 출력한다(S708).
전술한 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 방법, 다중성 검사 과정, 참조 속성 검사 과정 및 계층 속성 검사 과정은 도면에 제시된 순서도를 참조로 하여 설명되었다. 간단히 설명하기 위하여 상기 방법은 일련의 블록들로 도시되고 설명되었으나, 본 발명은 상기 블록들의 순서에 한정되지 않고, 몇몇 블록들은 다른 블록들과 본 명세서에서 도시되고 기술된 것과 상이한 순서로 또는 동시에 일어날 수도 있으며, 동일한 또는 유사한 결과를 달성하는 다양한 다른 분기, 흐름 경로, 및 블록의 순서들이 구현될 수 있다. 또한, 본 명세서에서 기술되는 방법의 구현을 위하여 도시된 모든 블록들이 요구되지 않을 수도 있다.
이상 본 발명의 특정 실시예를 도시하고 설명하였으나, 본 발명의 기술사상은 첨부된 도면과 상기한 설명내용에 한정하지 않으며 본 발명의 사상을 벗어나지 않는 범위 내에서 다양한 형태의 변형이 가능함은 이 분야의 통상의 지식을 가진 자에게는 자명한 사실이며, 이러한 형태의 변형은, 본 발명의 정신에 위배되지 않는 범위 내에서 본 발명의 특허청구범위에 속한다고 볼 것이다.

Claims (14)

  1. 오토사(Automobile open system architecture; AUTOSAR) 메타 파일의 메타 파일 속성값을 정의하는 메타 파일 정의부;
    기본 소프트웨어(basic software; BSW) 설정 파일의 기본 소프트웨어 속성값을 설정하는 기본 소프트웨어 설정부; 및
    상기 메타 파일 속성값을 이용하여 상기 기본 소프트웨어 속성값이 오토사 표준에 맞게 설정되었는지 상기 기본 소프트웨어 속성값을 검사하는 기본 소프트웨어 속성값 검사부를 포함하는 것을 특징으로 하는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치.
  2. 청구항 1에 있어서,
    상기 메타 파일 정의부는,
    다중성 검사를 위한 다중성 하한 값 및 다중성 상한 값을 포함하는 다중성 관련 속성값을 정의하는 것을 특징으로 하는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치.
  3. 청구항 2에 있어서,
    상기 기본 소프트웨어 속성값 검사부는,
    상기 오토사 메타 파일로부터 상기 다중성 관련 속성값을 추출하고 상기 기본 소프트웨어 설정 파일로부터 검사 대상인 객체의 개수를 추출하여, 상기 객체의 개수가 상기 다중성 하한 값 이상이고 상기 다중성 상한 값 이하이면 상기 오토사 표준에 맞게 설정된 것으로 판단하는 것을 특징으로 하는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치.
  4. 청구항 1에 있어서,
    상기 메타 파일 정의부는,
    참조 속성 검사를 위한 참조 파라미터 정의 값, 외부 참조 파라미터 정의 값, 선택 참조 파라미터 정의 값 및 명칭 참조 파라미터 정의 값 중 하나 이상을 포함하는 참조 관련 속성값을 정의하는 것을 특징으로 하는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치.
  5. 청구항 4에 있어서,
    상기 기본 소프트웨어 속성값 검사부는,
    상기 오토사 메타 파일로부터 상기 참조 관련 속성값에서 정의된 파라미터를 추출하여 상기 파라미터가 참조하도록 상기 오토사 메타 파일에서 정의된 참조 타입을 추출하고, 상기 파라미터에 대하여 상기 기본 소프트웨어 설정 파일에서 설정된 참조값을 추출하여 추출된 이름의 객체가 존재하면 상기 객체의 경로를 추출하며, 추출된 상기 경로가 상기 참조 타입과 동일하면 상기 오토사 표준에 맞게 설정된 것으로 판단하는 것을 특징으로 하는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치.
  6. 청구항 1에 있어서,
    상기 메타 파일 정의부는,
    계층 속성 검사를 위한 파라미터 설정 컨테이너 정의 값 또는 선택 컨테이너 정의 값을 포함하는 계층 관련 속성값을 정의하는 것을 특징으로 하는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치.
  7. 청구항 6에 있어서,
    상기 기본 소프트웨어 속성값 검사부는,
    상기 오토사 메타 파일로부터 상기 참조 관련 속성값에서 정의된 컨테이너를 추출하여 상기 오토사 메타 파일로부터 검사를 수행할 제1 컨테이너의 경로를 추출하고 상기 제1 컨테이너의 상위 컨테이너인 제2 컨테이너의 경로를 추출한 다음, 상기 기본 소프트웨어 설정 파일 중 상기 제1 컨테이너의 경로와 동일한 경로를 갖는 객체를 추출하고 상기 객체의 상위 컨테이너인 제3 컨테이너의 경로를 추출하여 상기 제2 컨테이너의 경로와 상기 제3 컨테이너의 경로가 동일하면 상기 오토사 표준에 맞게 설정된 것으로 판단하는 것을 특징으로 하는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치.
  8. 오토사(Automobile open system architecture; AUTOSAR) 메타 파일의 메타 파일 속성값을 정의하는 단계;
    기본 소프트웨어(basic software; BSW) 설정 파일의 기본 소프트웨어 속성값을 설정하는 단계; 및
    상기 메타 파일 속성값을 이용하여 상기 기본 소프트웨어 속성값이 오토사 표준에 맞게 설정되었는지 상기 기본 소프트웨어 속성값을 검사하는 단계를 포함하는 것을 특징으로 하는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 방법.
  9. 청구항 8에 있어서,
    상기 메타 파일 속성값을 정의하는 단계는,
    다중성 검사를 위한 다중성 하한 값 및 다중성 상한 값을 포함하는 다중성 관련 속성값을 정의하는 단계를 포함하는 것을 특징으로 하는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 방법.
  10. 청구항 9에 있어서,
    상기 기본 소프트웨어 속성값을 검사하는 단계는,
    상기 오토사 메타 파일로부터 상기 다중성 관련 속성값을 추출하는 단계;
    상기 기본 소프트웨어 설정 파일로부터 검사 대상인 객체의 개수를 추출하는 단계; 및
    상기 객체의 개수가 상기 다중성 하한 값 이상이고 상기 다중성 상한 값 이하이면 상기 오토사 표준에 맞게 설정된 것으로 판단하는 단계를 포함하는 것을 특징으로 하는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 방법.
  11. 청구항 8에 있어서,
    상기 메타 파일 속성값을 정의하는 단계는,
    참조 속성 검사를 위한 참조 파라미터 정의 값, 외부 참조 파라미터 정의 값, 선택 참조 파라미터 정의 값 및 명칭 참조 파라미터 정의 값 중 하나 이상을 포함하는 참조 관련 속성값을 정의하는 단계를 포함하는 것을 특징으로 하는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 방법.
  12. 청구항 11에 있어서,
    상기 기본 소프트웨어 속성값을 검사하는 단계는,
    상기 오토사 메타 파일로부터 상기 참조 관련 속성값에서 정의된 파라미터를 추출하는 단계;
    상기 파라미터가 참조하도록 상기 오토사 메타 파일에서 정의된 참조 타입을 추출하는 단계;
    상기 파라미터에 대하여 상기 기본 소프트웨어 설정 파일에서 설정된 참조값을 추출하여 추출된 이름의 객체가 존재하면 상기 객체의 경로를 추출하는 단계; 및
    추출된 상기 경로가 상기 참조 타입과 동일하면 상기 오토사 표준에 맞게 설정된 것으로 판단하는 단계를 포함하는 것을 특징으로 하는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 방법.
  13. 청구항 8에 있어서,
    상기 메타 파일 속성값을 정의하는 단계는,
    계층 속성 검사를 위한 파라미터 설정 컨테이너 정의 값 또는 선택 컨테이너 정의 값을 포함하는 계층 관련 속성값을 정의하는 단계를 포함하는 것을 특징으로 하는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 방법.
  14. 청구항 13에 있어서,
    상기 기본 소프트웨어 속성값을 검사하는 단계는,
    상기 오토사 메타 파일로부터 상기 참조 관련 속성값에서 정의된 컨테이너를 추출하는 단계;
    상기 오토사 메타 파일로부터 검사를 수행할 제1 컨테이너의 경로를 추출하는 단계;
    상기 제1 컨테이너의 상위 컨테이너인 제2 컨테이너의 경로를 추출하는 단계;
    상기 기본 소프트웨어 설정 파일 중 상기 제1 컨테이너의 경로와 동일한 경로를 갖는 객체를 추출하는 단계;
    상기 객체의 상위 컨테이너인 제3 컨테이너의 경로를 추출하는 단계; 및
    상기 제2 컨테이너의 경로와 상기 제3 컨테이너의 경로가 동일하면 상기 오토사 표준에 맞게 설정된 것으로 판단하는 단계를 포함하는 것을 특징으로 하는 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 방법.
KR1020100133941A 2010-12-23 2010-12-23 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법 KR20120072130A (ko)

Priority Applications (2)

Application Number Priority Date Filing Date Title
KR1020100133941A KR20120072130A (ko) 2010-12-23 2010-12-23 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법
US13/335,911 US20120167045A1 (en) 2010-12-23 2011-12-22 Apparatus and method for evaluating autosar meta file-based basic software properties

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1020100133941A KR20120072130A (ko) 2010-12-23 2010-12-23 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법

Publications (1)

Publication Number Publication Date
KR20120072130A true KR20120072130A (ko) 2012-07-03

Family

ID=46318620

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020100133941A KR20120072130A (ko) 2010-12-23 2010-12-23 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법

Country Status (2)

Country Link
US (1) US20120167045A1 (ko)
KR (1) KR20120072130A (ko)

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20140028986A (ko) * 2012-08-31 2014-03-10 한국전자통신연구원 Ａｕｔｏｓａｒ 기반 소프트웨어의 파라미터 설정 장치 및 방법
KR20140087557A (ko) * 2012-12-31 2014-07-09 인포뱅크 주식회사 디스플레이 장치 및 그 화면 처리 방법
KR101487192B1 (ko) * 2013-08-19 2015-01-29 인포뱅크 주식회사 서버 장치 및 그의 오토사 관련 서비스 제공 방법
KR20160047147A (ko) * 2014-10-22 2016-05-02 현대자동차주식회사 오토사 기반의 소프트웨어 플랫폼 검증 장치 및 그 방법

Families Citing this family (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN104750612B (zh) * 2015-03-31 2018-03-27 腾讯科技（深圳）有限公司 对文件操作进行测试方法及装置
CN105138457A (zh) * 2015-09-01 2015-12-09 华东师范大学 汽车开放系统架构操作系统的分析和验证装置及其方法
US9875175B2 (en) 2015-09-25 2018-01-23 International Business Machines Corporation Unit-level formal verification for vehicular software systems
US11755294B2 (en) * 2020-06-09 2023-09-12 The Mathworks, Inc. Systems and methods for generating service access points for RTE services in code or other RTE service information for use with the code

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20100058276A1 (en) * 2007-09-11 2010-03-04 Andreas Felder Method for the integration of an integrated circuit into a standardized software architecture for embedded systems
DE102007062114A1 (de) * 2007-12-21 2009-07-23 Opensynergy Gmbh Kraftfahrzeug-Steuervorrichtung
US8869103B2 (en) * 2008-10-06 2014-10-21 The Mathworks, Inc. Using intermediate representations to verify computer-executable code generated from a model
KR101185093B1 (ko) * 2008-12-19 2012-09-21 한국전자통신연구원 Ａｕｔｏｓａｒ 응용 소프트웨어의 소프트웨어 구조 모델링 도구를 위한 프로젝트 관리 장치 및 방법
KR101276200B1 (ko) * 2009-09-22 2013-06-18 한국전자통신연구원 Ｅｍｆ 모델의 동기화 방법 및 시스템
US8606375B2 (en) * 2010-06-04 2013-12-10 The Mathworks, Inc. Interactive control of multiple input multiple output control structures

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20140028986A (ko) * 2012-08-31 2014-03-10 한국전자통신연구원 Ａｕｔｏｓａｒ 기반 소프트웨어의 파라미터 설정 장치 및 방법
KR20140087557A (ko) * 2012-12-31 2014-07-09 인포뱅크 주식회사 디스플레이 장치 및 그 화면 처리 방법
KR101487192B1 (ko) * 2013-08-19 2015-01-29 인포뱅크 주식회사 서버 장치 및 그의 오토사 관련 서비스 제공 방법
KR20160047147A (ko) * 2014-10-22 2016-05-02 현대자동차주식회사 오토사 기반의 소프트웨어 플랫폼 검증 장치 및 그 방법

Also Published As

Publication number Publication date
US20120167045A1 (en) 2012-06-28

Similar Documents

Publication Publication Date Title
KR20120072130A (ko) 오토사 메타 파일 기반 기본 소프트웨어 속성값 검사 장치 및 방법
US10643011B1 (en) Automatic design and verification of safety critical electronic systems
CN104268699A (zh) 自动检查物料清单的方法
CN106934121B (zh) 一种测试器件模型仿真结果正确性的方法
KR100873885B1 (ko) 설계 검증 장치, 설계 검증 방법 및 ｃａｄ 시스템
CN105278966B (zh) 基于失效模式分析的卫星星载制导与导航软件的设计与测试方法
CN105740561A (zh) 物料清单的查验方法及系统
CN111400992A (zh) 一种自动化验证装箱布局布线的测试方法及系统
CN105574029A (zh) 掩膜板设计中划片槽结构设计的检查方法
CN110069414A (zh) 回归测试方法及系统
CN101673200B (zh) 用户输入模型的检测方法及装置
CN108267968B (zh) 一种协同半实物仿真光纤数据交互安全性校验方法
US20120310849A1 (en) System and method for validating design of an electronic product
US8132133B2 (en) Automated isolation of logic and macro blocks in chip design testing
JP2023519139A (ja) 電気回路設計検査システムおよび方法
US10460060B2 (en) Checking equivalence between changes made in a circuit definition language and changes in post-synthesis nets
CN112631852B (zh) 宏检查方法、装置、电子设备和计算机可读存储介质
CN107169294A (zh) 一种环境试验自动测试系统中Excel报表二次判断处理方法
Salamah et al. Using pairwise testing to verify automatically-generated formal specifications
US10769332B2 (en) Automatic simulation failures analysis flow for functional verification
US10268786B2 (en) System and method for capturing transaction specific stage-wise log data
CN111475928A (zh) 基于三维模型的卫星结构设计检查方法及系统
CN114895987B (zh) 消息处理方法、装置、设备及计算机存储介质
CN113127324B (zh) 测试报告自动化生成方法、装置、计算机设备及存储介质
US11443092B2 (en) Defect weight formulas for analog defect simulation

Legal Events

Date Code Title Description
WITN Application deemed withdrawn, e.g. because no request for examination was filed or no examination fee was paid