| 1 |
1
분산 컴포넌트 시스템의 위협 요소를 식별하는 단계;
상기 분산 컴포넌트 시스템을 계층형 프로파일 페트리넷(Hierarchically Profiled Petri Nets)을 이용하여 모델링하는 단계;
모델링된 상기 분산 컴포넌트 시스템의 계층형 프로파일 페트리넷 모델에 식별된 상기 위협 요소를 추가하여 상기 분산 컴포넌트 시스템의 분석 모델을 완성하는 단계;
완성된 상기 분석 모델을 마코프 리워드 모델로 변환하는 단계; 및
변환된 상기 마코프 리워드 모델에 기초하여 상기 분산 컴포넌트 시스템의 생존성을 분석하는 단계를 포함하는 분산 컴포넌트 시스템의 생존성 검증 방법
|
| 2 |
2
제1항에 있어서, 상기 분산 컴포넌트 시스템의 위협 요소를 식별하는 단계는,
상기 분산 컴포넌트 시스템의 위협 요소를 종류에 따라 분류하는 단계;
식별된 위협 요소를 계층형 프로파일 페트리넷을 이용하여 모델링하는 단계; 및
위협 발생 정도에 따라 상기 분산 컴포넌트 시스템이 제공하는 서비스 목록을 생성하는 단계를 포함하는 것을 특징으로 하는 분산 컴포넌트 시스템의 생존성 검증 방법
|
| 3 |
3
제1항에 있어서, 상기 분산 컴포넌트 시스템을 계층형 프로파일 페트리넷을 이용하여 모델링하는 단계는,
상기 분산 컴포넌트 시스템의 위협 요소의 분류에 따라 모델링하되,
트랜잭션(transaction)을 처리하는 능동 리소스(active resource)는 플래이스(place)로 지정하고, 상기 분산 컴포넌트 시스템이 제공하는 서비스를 만족시키는 각 기능은 트랜지션(transition)으로 지정하며, 서비스를 제공하기 위한 트랜잭션은 토큰(token)으로 지정하는 것을 특징으로 하는 분산 컴포넌트 시스템의 생존성 검증 방법
|
| 4 |
4
제3항에 있어서, 상기 분산 컴포넌트 시스템을 계층형 프로파일 페트리넷을 이용하여 모델링하는 단계는,
상기 토큰의 내부에 트랜잭션 처리 상태를 의미하는 속성값을 부여하는 것을 특징으로 하는 분산 컴포넌트 시스템의 생존성 검증 방법
|
| 5 |
5
제1항에 있어서, 상기 계층형 프로파일 페트리넷은,
서브넷 플레이스의 유한집합, 플래이스의 유한집합, 토큰의 속성, 트랜지션의 유한집합, 토큰 컬러의 유한집합, 아크, 모델의 초기 상태 및 트랜지션 중 적어도 하나를 포함하는 것을 특징으로 하는 분산 컴포넌트 시스템의 생존성 검증 방법
|
| 6 |
6
제1항에 있어서, 상기 모델링된 상기 분산 컴포넌트 시스템의 계층형 프로파일 페트리넷 모델에 식별된 상기 위협 요소를 추가하여 상기 분산 컴포넌트 시스템의 분석 모델을 완성하는 단계는,
상기 분산 컴포넌트 시스템의 분석 모델의 위협 요소 발생 가능성을 검증하는 단계를 포함하는 것을 특징으로 하는 분산 컴포넌트 시스템의 생존성 검증 방법
|
| 7 |
7
제1항에 있어서, 상기 완성된 상기 분석 모델을 마코프 리워드 모델로 변환하는 단계는,
상기 분석 모델은 마코프 체인으로 변환하는 단계; 및
상기 마코프 체인의 각 상태에 리워드 값을 할당하여 상기 마코프 체인을 마코프 리워드 모델로 변환하는 단계를 포함하는 것을 특징으로 하는 분산 컴포넌트 시스템의 생존성 검증 방법
|
| 8 |
8
제7항에 있어서, 상기 마코프 체인의 각 상태에 리워드 값을 할당하여 상기 마코프 체인을 마코프 리워드 모델로 변환하는 단계는,
상기 마코프 체인의 각 상태에 대해 생존성에 위협을 주는 상태와 생존성에 위협을 주지 않는 상태를 구분하여 리워드 값을 할당하되,
식별된 상기 위협 요소에 리워드 값으로 0을 할당하는 것을 특징으로 하는 분산 컴포넌트 시스템의 생존성 검증 방법
|
| 9 |
9
제1항에 있어서, 상기 변환된 상기 마코프 리워드 모델에 기초하여 상기 분산 컴포넌트 시스템의 생존성을 분석하는 단계는,
수학식 (여기서, i는 분산 컴포넌트 시스템이 도달할 상태를 의미하고, Uj는 분산 컴포넌트 시스템의 업 상태를 의미하며, Pi(t)는 분산 컴포넌트 시스템이 시간 t에 상태 i에 있을 확률을 의미한다)를 통해 산출되는 것을 특징으로 하는 분산 컴포넌트 시스템의 생존성 검증 방법
|
| 10 |
10
분산 컴포넌트 시스템의 생존성 검증을 수행하는 디지털 처리 장치에 의해 실행될 수 있는 명령어의 프로그램이 유형적으로 구현되어 있으며, 상기 디지털 처리 장치에 의해 판독될 수 있는 프로그램을 기록한 기록매체에 있어서,
분산 컴포넌트 시스템의 위협 요소를 식별하는 단계;
상기 분산 컴포넌트 시스템을 계층형 프로파일 페트리넷을 이용하여 모델링하는 단계;
모델링된 상기 분산 컴포넌트 시스템의 계층형 프로파일 페트리넷 모델에 식별된 상기 위협 요소를 추가하여 상기 분산 컴포넌트 시스템의 분석 모델을 완성하는 단계;
완성된 상기 분석 모델을 마코프 리워드 모델로 변환하는 단계; 및
변환된 상기 마코프 리워드 모델에 기초하여 상기 분산 컴포넌트 시스템의 생존성을 분석하는 단계를 수행하는 프로그램을 기록한 기록매체
|
