맞춤기술찾기

홈으로 가기
맞춤기술찾기
이전대상기술
프린트하기

이전대상기술

자동차 제어 소프트웨어의 정형검증을 위한 장치 및 방법, 이를 수행하기 위한 기록 매체

  • 기술번호 : KST2018008208
  • 담당센터 : 대구기술혁신센터
  • 전화번호 : 053-550-1450
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 자동차 제어 소프트웨어의 정형검증을 위한 장치 및 방법, 이를 위한 기록 매체를 개시한다. 본 발명의 일 측면에 따른 자동차 제어 소프트웨어의 정형검증을 위한 장치는, 비정형언어로 작성된 자동차 제어 소프트웨어를 제어 흐름 그래프(CFG)의 형태로 변환하는 제어 흐름 그래프 변환부; 상기 제어 흐름 그래프(CFG)를 코드 슬라이싱을 통해 상태 기계(state machine)로 변환하는 상태 기계 변환부; 및 상기 상태 기계(state machine)를 정형언어로 변환하는 정형언어 변환부;를 포함한다.
Int. CL G06F 11/36 (2006.01.01) G06F 8/40 (2018.01.01)
CPC G06F 11/3668(2013.01) G06F 11/3668(2013.01)
출원번호/일자 1020160169967 (2016.12.13)
출원인 경북대학교 산학협력단
등록번호/일자 10-2004592-0000 (2019.07.22)
공개번호/일자 10-2018-0068243 (2018.06.21) 문서열기
공고번호/일자 (20190726) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 등록
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2016.12.13)
심사청구항수 16

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 경북대학교 산학협력단 대한민국 대구광역시 북구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 최윤자 대한민국 대구시 수성구
2 김동우 대한민국 대구 북구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 윤귀상 대한민국 서울특별시 금천구 디지털로*길 ** ***호 (가산동, 한신IT타워*차)(디앤특허법률사무소)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 경북대학교 산학협력단 대한민국 대구광역시 북구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application		 2016.12.13 수리 (Accepted) 1-1-2016-1223764-51
2 선행기술조사의뢰서
Request for Prior Art Search		 2018.03.12 수리 (Accepted) 9-1-9999-9999999-89
3 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2018.03.26 수리 (Accepted) 4-1-2018-5051994-32
4 선행기술조사보고서
Report of Prior Art Search		 2018.05.09 수리 (Accepted) 9-1-2018-0022114-90
5 의견제출통지서
Notification of reason for refusal		 2018.10.08 발송처리완료 (Completion of Transmission) 9-5-2018-0683748-89
6 [거절이유 등 통지에 따른 의견]의견(답변, 소명)서
[Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation)		 2018.12.05 수리 (Accepted) 1-1-2018-1220133-16
7 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment		 2018.12.05 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2018-1220134-62
8 등록결정서
Decision to grant		 2019.04.25 발송처리완료 (Completion of Transmission) 9-5-2019-0299005-67
9 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2020.06.23 수리 (Accepted) 4-1-2020-5136893-04
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
비정형언어로 작성된 자동차 제어 소프트웨어를 제어 흐름 그래프(CFG)의 형태로 변환하는 제어 흐름 그래프 변환부;상기 제어 흐름 그래프(CFG)를 코드 슬라이싱을 통해 상태 기계(state machine)로 변환하는 상태 기계 변환부; 및상기 상태 기계(state machine)를 정형언어로 변환하는 정형언어 변환부;를 포함하되,상기 정형언어 변환부는, 상기 상태 기계(state machine)를 상기 코드 슬라이싱 된 제어 흐름 그래프(CFG)를 각 API 호출 노드를 API 호출 액션에 의해 천이로 변경하고, 호출 스택을 관리하도록 각각의 사용자 정의된 함수 호출을 순서대로 인라인하며, 각 노드를 상태로 변환하여 상태의 할당을 인코딩함으로써 API 호출 흐름 그래프(AFG) 형태로 표현된 정형언어로 변환하는 자동차 제어 소프트웨어의 정형검증을 위한 장치
2 2
제 1 항에 있어서,상기 제어 흐름 그래프는,API 함수 호출, 사용자 정의된 함수 호출, 분기 구문, 루프 구문 또는 할당 구문일 수 있는 애플리케이션 코드의 구문인 노드, 두 개의 문 간의 제어 천이인 에지 그리고, 인입되는 에지를 갖지 않는 고유한 노드인 초기 노드를 참조하여 이루어지는 튜플인 자동차 제어 소프트웨어의 정형검증을 위한 장치
3 3
제 1 항에 있어서,상기 코드 슬라이싱은,상기 CFG로부터 중복 노드들을 슬라이싱하여 검증 복잡성을 감소시키는 자동차 제어 소프트웨어의 정형검증을 위한 장치
4 4
삭제
5 5
삭제
6 6
제 1 항에 있어서,상기 API 호출 흐름 그래프(AFG)는,상태들의 세트, 천이들의 세트 및 초기 상태로 이루어지는 튜플이고,API 호출 구문들이 상태들 간의 천이를 행하기 위한 액션들로서 사용되는 상태에서 API 호출 구문들과 다른 구문들이 숨겨진 것을 특징으로 하는 자동차 제어 소프트웨어의 정형검증을 위한 장치
7 7
제 1 항에 있어서,상기 비정형언어는 C언어이고, 상기 정형언어는 NuSMV인 자동차 제어 소프트웨어의 정형검증을 위한 장치
8 8
제 1 항에 있어서,상기 정형언어로 변환된 자동차 제어 소프트웨어가 입력되면, 제약 패턴들을 이용하여 제약 위반을 검출하는 검증부;를 더 포함하는 자동차 제어 소프트웨어의 정형검증을 위한 장치
9 9
제 8 항에 있어서,상기 제약 패턴들은 푸시다운-오토머터로 기술된 제약 패턴들인 자동차 제어 소프트웨어의 정형검증을 위한 장치
10 10
제 9 항에 있어서,상기 제약 패턴들은, API 호출 시퀀스 기반 제약 패턴들 및 구성 기반 제약 패턴들인 자동차 제어 소프트웨어의 정형검증을 위한 장치
11 11
자동차 제어 소프트웨어의 정형검증을 위한 장치에서의 자동차 제어 소프트웨어의 정형검증을 위한 방법에 있어서,상기 장치가, 비정형언어로 작성된 자동차 제어 소프트웨어를 제어 흐름 그래프(CFG)의 형태로 변환하는 단계;상기 장치가, 상기 제어 흐름 그래프(CFG)를 코드 슬라이싱을 통해 상태 기계(state machine)로 변환하는 단계; 및상기 장치가, 상기 상태 기계(state machine)를 정형언어로 변환하는 단계;를 포함하되,상기 상태 기계(state machine)를 정형언어로 변환하는 단계는, 상기 상태 기계(state machine)를 상기 코드 슬라이싱 된 제어 흐름 그래프(CFG)를 각 API 호출 노드를 API 호출 액션에 의해 천이로 변경하고, 호출 스택을 관리하도록 각각의 사용자 정의된 함수 호출을 순서대로 인라인하며, 각 노드를 상태로 변환하여 상태의 할당을 인코딩함으로써 API 호출 흐름 그래프(AFG) 형태로 표현된 정형언어로 변환하는 자동차 제어 소프트웨어의 정형검증을 위한 방법
12 12
제 11 항에 있어서,상기 제어 흐름 그래프는,API 함수 호출, 사용자 정의된 함수 호출, 분기 구문, 루프 구문 또는 할당 구문일 수 있는 애플리케이션 코드의 구문인 노드, 두 개의 문 간의 제어 천이인 에지 그리고, 인입되는 에지를 갖지 않는 고유한 노드인 초기 노드를 참조하여 이루어지는 튜플인 자동차 제어 소프트웨어의 정형검증을 위한 방법
13 13
제 11 항에 있어서,상기 코드 슬라이싱은,상기 CFG로부터 중복 노드들을 슬라이싱하여 검증 복잡성을 감소시키는 자동차 제어 소프트웨어의 정형검증을 위한 방법
14 14
삭제
15 15
삭제
16 16
제 11 항에 있어서,상기 API 호출 흐름 그래프(AFG)는,상태들의 세트, 천이들의 세트 및 초기 상태로 이루어지는 튜플이고,API 호출 구문들이 상태들 간의 천이를 행하기 위한 액션들로서 사용되는 상태에서 API 호출 구문들과 다른 구문들이 숨겨진 것을 특징으로 하는 자동차 제어 소프트웨어의 정형검증을 위한 방법
17 17
제 11 항에 있어서,상기 비정형언어는 C언어이고, 상기 정형언어는 NuSMV인 자동차 제어 소프트웨어의 정형검증을 위한 방법
18 18
제 11 항에 있어서,상기 정형언어로 변환된 자동차 제어 소프트웨어가 입력되면, 제약 패턴들을 이용하여 제약 위반을 검출하는 검증하는 단계;를 더 포함하는 자동차 제어 소프트웨어의 정형검증을 위한 방법
19 19
제 18 항에 있어서,상기 제약 패턴들은 푸시다운-오토머터로 기술된 제약 패턴들인 자동차 제어 소프트웨어의 정형검증을 위한 방법
20 20
제 11 항 내지 제 13 항, 제 16 항 내지 제 19 항 중 어느 한 항에 따른 자동차 제어 소프트웨어의 정형검증을 위한 장치에서의 자동차 제어 소프트웨어의 정형검증을 위한 방법을 수행하기 위한, 컴퓨터 프로그램이 기록된 컴퓨터로 판독 가능한 기록 매체
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 미래창조과학부 고려대학교 산학협력단 대학ICT연구센터육성지원사업 고품질융합소프트웨어 개발 지원도구
2 미래창조과학부 경북대학교 대학ICT연구센터육성지원사업 스마트 자동차를 위한 AUTOSAR 기반 차량 내외부 통신 플랫폼 및 응용 기술