맞춤기술찾기

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

이전대상기술

스마트 기기 자율 협업 검증 프레임워크(A VERIFICATION FRAMEWORK FOR AUTONOMOUS COLLABORATION OF SMART DEVICES)

  • 기술번호 : KST2016015975
  • 담당센터 : 대전기술혁신센터
  • 전화번호 : 042-610-2279
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 지능을 가진 스마트 기기들이 자율 협업을 통하여 임무를 수행하는 과정에서 변화하는 상황에 적절하게 대응하지 못할 경우, 성공적인 임무 수행에 문제가 발생하거나, 안전 필수 시스템의 경우 생명에 위협을 주는 행위로 이어질 수 있다. 따라서 자율 협업에 대한 검증을 통해 협업이 무결하고 안전하게 수행되고 있는지 지속적으로 확인하는 것이 필요하다. 본 논문은 모델 체킹을 이용하여 스마트 기기 자율 협업을 검증할 수 있는 프레임워크를 제안하고 관련된 이슈를 정리한다.
Int. CL G06F 11/30 (2006.01.01) G06F 15/16 (2018.01.01)
CPC G06F 11/3013(2013.01) G06F 11/3013(2013.01)
출원번호/일자 1020150025838 (2015.02.24)
출원인 한국과학기술원
등록번호/일자
공개번호/일자 10-2016-0103395 (2016.09.01) 문서열기
공고번호/일자
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 취하
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 N
심사청구항수 1

출원인

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

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 백종문 대한민국 대전광역시 유성구
2 배두환 대한민국 대전광역시 유성구
3 지은경 대한민국 대전광역시 유성구
4 홍광의 대한민국 대전광역시 유성구
5 임유진 대한민국 대전광역시 유성구
6 신동환 대한민국 대전광역시 유성구
7 채철우 대한민국 대전광역시 유성구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 특허법인 무한 대한민국 서울특별시 강남구 언주로 ***, *층(역삼동,화물재단빌딩)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
최종권리자 정보가 없습니다
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application		 2015.02.24 수리 (Accepted) 1-1-2015-0182417-69
2 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2019.04.24 수리 (Accepted) 4-1-2019-5081392-49
3 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2020.05.15 수리 (Accepted) 4-1-2020-5108396-12
4 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2020.06.12 수리 (Accepted) 4-1-2020-5131486-63
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
스마트 기기 자율 협업 상황을 모니터링하고 변화를 감지하는 상황 모니터링부;변화되는 상황을 분석하여 변화를 반영할 반영부를 식별하고 모델 및 검증 속성을 업데이트 하는 상황 분석부;검증 속성들 간의 관련성에 따른 검증 계획을 수립하는 검증 계획부; 및모델 검증을 수행하고 결과를 분석 및 출력하는 검증 수행부를 포함하는 스마트 기기 자율 협업 검증 프레임워크 장치
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 미래창조과학부 한국전자통신연구원 정보통신방송연구개발사업 자율지능형 지식/기기 협업 프레임워크 기술 개발