맞춤기술찾기

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

이전대상기술

소프트웨어 신뢰성 분석 방법 및 장치

  • 기술번호 : KST2014027871
  • 담당센터 : 경기기술혁신센터
  • 전화번호 : 031-8006-1570
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 소프트웨어 신뢰성 분석 방법 및 장치가 개시된다. 본 발명의 일 실시 예에 따르는 HQPN(계층형 큐잉 페트리 네트, Hierarchically Combined Queueing Petri Net) 형태의 제1 소프트웨어 모델을 이용하는 소프트웨어 신뢰성 분석 방법은, 상기 HQPN 형태의 제1 소프트웨어 모델을 MRM(마르코프 보상 모형, Markov Reward Model) 형태의 제2 소프트웨어 모델로 변환하는 단계 및 상기 제2 소프트웨어 모델을 이용하여 정량적 신뢰성을 추출하는 단계를 포함할 수 있다. 본 발명의 일 실시 예에 따르면, 소프트웨어의 설계 시점에 그 소프트웨어의 신뢰성을 정량적으로 측정할 수 있다. 소프트웨어 신뢰성, 마르코프 보상 모형, 마르코프 보상 모델, MRM, 마르코프 체인, MC, Markov, 고장간 평균 시간, 페트리 네트
Int. CL G06F 17/00 (2006.01) G06F 11/00 (2006.01) G06F 9/06 (2006.01) G06F 9/44 (2006.01)
CPC G06F 11/3696(2013.01) G06F 11/3696(2013.01) G06F 11/3696(2013.01) G06F 11/3696(2013.01) G06F 11/3696(2013.01)
출원번호/일자 1020090016423 (2009.02.26)
출원인 성균관대학교산학협력단
등록번호/일자 10-1034607-0000 (2011.05.04)
공개번호/일자 10-2010-0097472 (2010.09.03) 문서열기
공고번호/일자 (20110512) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 소멸
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2009.02.26)
심사청구항수 7

출원인

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

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 이은석 대한민국 경기 성남시 분당구
2 윤현상 대한민국 서울시 구로구
3 이준훈 대한민국 경기 수원시 장안구
4 조병일 대한민국 경기 수원시 장안구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 특허법인이지 대한민국 서울특별시 금천구 가산디지털*로 ***(가산동, KCC웰츠밸리) ***-***

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 성균관대학교산학협력단 대한민국 경기도 수원시 장안구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application		 2009.02.26 수리 (Accepted) 1-1-2009-0120479-40
2 선행기술조사의뢰서
Request for Prior Art Search		 2009.12.02 수리 (Accepted) 9-1-9999-9999999-89
3 선행기술조사보고서
Report of Prior Art Search		 2010.01.15 수리 (Accepted) 9-1-2010-0004885-53
4 의견제출통지서
Notification of reason for refusal		 2010.09.24 발송처리완료 (Completion of Transmission) 9-5-2010-0421210-74
5 [거절이유 등 통지에 따른 의견]의견(답변, 소명)서
[Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation)		 2010.11.23 수리 (Accepted) 1-1-2010-0765897-30
6 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment		 2010.11.23 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2010-0765906-64
7 등록결정서
Decision to grant		 2011.05.03 발송처리완료 (Completion of Transmission) 9-5-2011-0240634-18
8 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2012.04.26 수리 (Accepted) 4-1-2012-5090770-53
9 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2012.06.20 수리 (Accepted) 4-1-2012-5131828-19
10 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2012.06.27 수리 (Accepted) 4-1-2012-5137236-29
11 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2017.02.23 수리 (Accepted) 4-1-2017-5028829-43
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
HQPN(계층형 큐잉 페트리 네트, Hierarchically Combined Queueing Petri Net) 형태의 제1 소프트웨어 모델을 이용하는 소프트웨어 신뢰성 분석 방법에 있어서, 상기 HQPN 형태의 제1 소프트웨어 모델을 MRM(마르코프 보상 모형, Markov Reward Model) 형태의 제2 소프트웨어 모델로 변환하는 단계; 및 상기 제2 소프트웨어 모델을 이용하여 정량적 신뢰성을 추출하는 단계를 포함하는 소프트웨어 신뢰성 분석 방법
2 2
제1항에 있어서, 상기 HQPN 형태의 제1 소프트웨어 모델을 MRM 형태의 제2 소프트웨어 모델로 변환하는 단계는, 상기 제1 소프트웨어 모델을 MC(마르코프 연쇄, Markov Chain) 형태의 제3 소프트웨어 모델로 변환하는 단계; 및 상기 제3 소프트웨어 모델을 상기 MRM 형태의 제2 소프트웨어 모델로 변환하는 단계를 포함하는 소프트웨어 신뢰성 분석 방법
3 3
제2항에 있어서, 상기 제1 소프트웨어 모델을 MC형태의 제3 소프트웨어 모델로 변환하는 단계는, 상기 제1 소프트웨어 모델에 포함되는 토큰(token)의 마킹(marking)에 따라 식별되는 스테이트(state)를 생성하는 단계; 상기 제1 소프트웨어 모델에 포함되는 트랜지션(transition)의 파이어(fire)에 따르는 스테이트 변화에 상응하는 에지(edge)를 생성하는 단계; 및 상기 트랜지션의 파이어(fire) 확률에 상응하여 스테이트 변화 확률을 추출하는 단계를 포함하는 소프트웨어 신뢰성 분석 방법
4 4
제2항에 있어서, 상기 제3 소프트웨어 모델을 상기 MRM 형태의 제2 소프트웨어 모델로 변환하는 단계는, 상기 제3 소프트웨어 모델에 포함되는 흡수 스테이트(absorbing state)에 제1 보상율(reward rate)을 할당하고, 상기 제3 소프트웨어 모델에 포함되는 비흡수 스테이트(non-absorbing state)에 제2 보상율(reward rate)을 할당하는 단계를 포함하는 소프트웨어 신뢰성 분석 방법
5 5
제1항에 있어서, 상기 제2 소프트웨어 모델을 이용하여 정량적 신뢰성을 추출하는 단계는, 는 비흡수 스테이트(non-absorbing state)의 집합이고, 는 스테이트(state), 는 시점에 상기 제2 소프트웨어 모델의 스테이트가 스테이트일 확률일 때, 아래 수식을 이용하여 시점에서의 순간신뢰성를 추출하는 단계를 포함하는 소프트웨어 신뢰성 분석 방법
6 6
제1항에 있어서, 상기 제2 소프트웨어 모델을 이용하여 정량적 신뢰성을 추출하는 단계는, 는 비흡수 스테이트(non-absorbing state)의 집합이고, 는 스테이트(state), 는 시점에 상기 제2 소프트웨어 모델의 스테이트가 스테이트일 확률일 때, 아래 수식을 이용하여 고장간 평균 시간(Mean Time to Failure)를 추출하는 단계를 포함하는 소프트웨어 신뢰성 분석 방법
7 7
제1항 내지 제6항 중 어느 한 항에 기재된 소프트웨어 신뢰성 분석 방법을 수행하기 위해 디지털 처리 장치에 의해 실행될 수 있는 명령어들의 프로그램이 유형적으로 구현되어 있으며, 상기 디지털 처리 장치에 의해 판독될 수 있는 프로그램이 기록된 기록매체
8 8
삭제
9 9
삭제
10 10
삭제
11 11
삭제
12 12
삭제
13 13
삭제
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 교육과학기술부 성균관대학교 산학협력단 특정기초연구사업 상황 인식 기반 자율형 컴퓨팅 기술을 이용한 유비쿼터스 러닝 시스템 개발